Pierluigi San Pietro

Proceedings of the 6th International Symposium on Parallel and Distributed Computing (ISPDC 2007), 2007

Trio2Promela: A Model Checker for Temporal Metric Specifications.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Model Checking Temporal Metric Specifications with Trio2Promela.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

2006

Picture languages: Tiling systems versus tile rewriting grammars.

[BibT_eX]

[DOI]

Matteo Pradella

Theor. Comput. Sci., 2006

2005

A scalable formal method for design and automatic checking of user interfaces.

[BibT_eX]

[DOI]

Jean Berstel

Gilles Roussel

ACM Trans. Softw. Eng. Methodol., 2005

2004

Experiences with a Formal Method for Design and Automatic Checking of User Interfaces.

[BibT_eX]

[DOI]

Alessandro Campi

Eliseo Martinez

Proceedings of the MBUI 2004, 2004

Model checking-aided design of secure distributed systems.

[BibT_eX]

Mario Verdicchio

Proceedings of the IASTED International Conference on Software Engineering, 2004

Real-Counter Automata and Their Decision Problems.

[BibT_eX]

[DOI]

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

2003

Verification in loosely synchronous queue-connected discrete timed automata.

[BibT_eX]

[DOI]

Oscar H. Ibarra

Theor. Comput. Sci., 2003

Presburger liveness verification of discrete timed automata.

[BibT_eX]

[DOI]

Richard A. Kemmerer

Theor. Comput. Sci., 2003

Model-Checking TRIO Specifications in SPIN.

[BibT_eX]

[DOI]

Proceedings of the FME 2003: Formal Methods, 2003

Automatic Verification of Multi-queue Discrete Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Computing and Combinatorics, 9th Annual International Conference, 2003

Dense Counter Machines and Verification Problems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Associative language descriptions.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Software procurement and methods for specification and validation in the railway transportation industry.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics: Bridging the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002

2001

On Presburger Liveness of Discrete Timed Automata.

[BibT_eX]

[DOI]

Richard A. Kemmerer

Proceedings of the STACS 2001, 2001

Some Structural Properties of Associative Language Descriptions.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter.

[BibT_eX]

[DOI]

Oscar H. Ibarra

Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 2001

Alias Analysis by Means of a Model Checker.

[BibT_eX]

[DOI]

Vincenzo Martena

Proceedings of the Compiler Construction, 10th International Conference, 2001

2000

Generation of Execution Sequences for Modular Time Critical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2000

Tree Adjoining Languages and Multipushdown Languages.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2000

Associative definition of programming languages.

[BibT_eX]

[DOI]

Matteo Pradella

Comput. Lang., 2000

A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2000

1998

A Tool for Automated System Analysis based on Modular Specifications.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

A Finite-Domain Semantics for Testing Temporal Logic Specifications.

[BibT_eX]

[DOI]

Alberto Coen-Porisini

Matteo Pradella

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

1996

A Polynomial-Time Parsing Algorithm for K-Depth Languages.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1996

Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications.

[BibT_eX]

[DOI]

Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

1994

Object-Oriented Logical Specification of Time-Critical Systems.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1994

1993

Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1993

Reuse of Object-Oriented Requirements Specifications.

[BibT_eX]

[DOI]

Silvana Castano

Valeria De Antonellis

Proceedings of the Entity-Relationship Approach, 1993

1992

Finite Time Semantics for Executable Logic Specifications.

[BibT_eX]

[DOI]

Miguel Felder

Proceedings of the Real Time Computing, 1992

Testing by Executing Logic Specifications.

[BibT_eX]

[DOI]

Miguel Felder

Proceedings of the Real Time Computing, 1992

1991

Dealing with different time scales in formal specifications.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Software Specification and Design, 1991

An Object-Oriented Logic Language for Modular System Specification.

[BibT_eX]

[DOI]