Angelo Morzenti

Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006

2004

A Dual Language Approach to the Development of Time-Critical Systems.

[BibT_eX]

[DOI]

Luigi Lavazza

Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004

2003

A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems.

[BibT_eX]

[DOI]

Luigi Lavazza

Proceedings of the International Workshop on Test and Analysis of Component-Based Systems, 2003

Model-Checking TRIO Specifications in SPIN.

[BibT_eX]

[DOI]

Proceedings of the FME 2003: Formal Methods, 2003

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

Automated deductive requirements analysis of critical systems.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2001

Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications.

[BibT_eX]

[DOI]

Fernando Marotta

Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

2000

Generation of Execution Sequences for Modular Time Critical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2000

A framework architecture for supervision and control systems.

[BibT_eX]

[DOI]

Riccardo Capobianchi

Alberto Coen-Porisini

ACM Comput. Surv., 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

1999

From Formal Models to Formally Based Methods: An Industrial Experience.

[BibT_eX]

[DOI]

Emanuele Ciapessoni

Piergiorgio Mirandola

Alberto Coen-Porisini

ACM Trans. Softw. Eng. Methodol., 1999

Dealing with Zero-Time Transitions in Axiom Systems.

[BibT_eX]

[DOI]

Inf. Comput., 1999

A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999

1998

A Theory of Implementation and Refinement in Timed Petri Nets.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 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

1997

On the Approximability of Some Maximum Spanning Tree Problems.

[BibT_eX]

[DOI]

Giulia Galbiati

Francesco Maffioli

Theor. Comput. Sci., 1997

Analysis of techniques in the assessment of ultra-reliable computerized systems.

[BibT_eX]

[DOI]

Fabio Alberto Schreiber

ACM SIGSOFT Softw. Eng. Notes, 1997

Providing Automated Support to Deductive Analysis of Time Critical Systems.

[BibT_eX]

[DOI]

Andrea Alborghetti

Proceedings of the Software Engineering, 1997

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

On the Logical Definability of Some Maximum Leaves Problems.

[BibT_eX]

Giulia Galbiati

Francesco Maffioli

Proceedings of the First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, 1996

1995

Generating Test Cases for Real-Time Systems from Logic Specifications.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 1995

TRIO Specification of a Steam Boiler Controller.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Applications, 1995

1994

Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1994

Object-Oriented Logical Specification of Time-Critical Systems.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1994

Validating Real-Time Systems by History-Checking TRIO Specifications.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1994

A Short Note on the Approximability of the Maximum Leaves Spanning Tree Problem.

[BibT_eX]

[DOI]

Giulia Galbiati

Francesco Maffioli

Inf. Process. Lett., 1994

A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Temporal Logic, First International Conference, 1994

Relating specified time tolerances to implementation performances.

[BibT_eX]

[DOI]

Lorenzo Mezzalira

Proceedings of the Sixth Euromicro Workshop on Real-Time Systems, 1994

1993

Executable Specifications with Data-flow Diagrams.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1993

A Survey and Assessment of Software Process Representation Formalisms.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1993

1992

A Model Parametric Real-Time Logic.

[BibT_eX]

[DOI]

Carlo Ghezzi

ACM Trans. Program. Lang. Syst., 1992

Software Processes Representation Languages: Survey and Assessment.

[BibT_eX]

[DOI]

Proceedings of the SEKE'92, 1992

1991

Validating Real-Time Systems by Executing Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Real-Time: Theory in Practice, 1991

Dealing with different time scales in formal specifications.

[BibT_eX]

[DOI]

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

A multi-paradigm Petri net based approach to process description.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Software Process Workshop (ISPW '91), 1991

Embedding time granularity in logical specifications of real-time systems.

[BibT_eX]

[DOI]

Proceedings of the Euromicro '91 Workshop on Real Time Systems, 1991

Real-time system validation by model checking in TRIO.

[BibT_eX]

[DOI]

Proceedings of the Euromicro '91 Workshop on Real Time Systems, 1991

An Object-Oriented Logic Language for Modular System Specification.

[BibT_eX]

[DOI]

Proceedings of the ECOOP'91 European Conference on Object-Oriented Programming, 1991

1990

TRIO: A logic language for executable specifications of real-time systems.

[BibT_eX]

[DOI]

Carlo Ghezzi

J. Syst. Softw., 1990

1987

On the Specification of Real-Time Systems Using Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the ESEC '87, 1987

On the Role of Software Reliability in Software Engineering.

[BibT_eX]

[DOI]

Carlo Ghezzi