 | 2009 |
|---|
| 47 |       | Matteo Pradella,
Angelo Morzenti,
Pierluigi San Pietro:
A Metric Encoding for Bounded Model Checking.
FM 2009: 741-756 |
| 46 | | Matteo Pradella,
Angelo Morzenti,
Pierluigi San Pietro:
A Metric Encoding for Bounded Model Checking (extended version)
CoRR abs/0907.3085: (2009) |
| 2008 |
|---|
| 45 | | Matteo Pradella,
Angelo Morzenti,
Pierluigi San Pietro:
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking.
ASE 2008: 119-127 |
| 44 | | Matteo Pradella,
Angelo Morzenti,
Pierluigi San Pietro:
Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time.
ICTAC 2008: 290-304 |
| 43 | | Carlo A. Furia,
Dino Mandrioli,
Angelo Morzenti,
Matteo Rossi:
Modeling Time in Computing: A Taxonomy and a Comparative Survey
CoRR abs/0807.4132: (2008) |
| 2007 |
|---|
| 42 | | Matteo Pradella,
Angelo Morzenti,
Pierluigi San Pietro:
The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties.
ESEC/SIGSOFT FSE 2007: 312-320 |
| 41 | | Domenico Bianculli,
Paola Spoletini,
Angelo Morzenti,
Matteo Pradella,
Pierluigi San Pietro:
Model Checking Temporal Metric Specifications with Trio2Promela.
FSEN 2007: 388-395 |
| 40 | | Domenico Bianculli,
Angelo Morzenti,
Matteo Pradella,
Pierluigi San Pietro,
Paola Spoletini:
Trio2Promela: A Model Checker for Temporal Metric Specifications.
ICSE Companion 2007: 61-62 |
| 39 | | Carlo A. Furia,
Matteo Rossi,
Dino Mandrioli,
Angelo Morzenti:
Automated compositional proofs for real-time systems.
Theor. Comput. Sci. 376(3): 164-184 (2007) |
| 2006 |
|---|
| 38 | | Angelo Gargantini,
Angelo Morzenti:
Automated Verification of Continuous Time Systems by Discrete Temporal Induction.
TIME 2006: 19-26 |
| 37 | | Carlo A. Furia,
Angelo Morzenti,
Matteo Pradella,
Matteo Rossi:
Comments on "An Interval Logic for Real-Time System Specification'.
IEEE Trans. Software Eng. 32(6): 424-427 (2006) |
| 2005 |
|---|
| 36 | | Carlo A. Furia,
Matteo Rossi,
Dino Mandrioli,
Angelo Morzenti:
Automated Compositional Proofs for Real-Time Systems.
FASE 2005: 326-340 |
| 35 | | Luigi Lavazza,
Sandro Morasca,
Angelo Morzenti:
A Dual Language Approach to the Development of Time-Critical Systems.
Electr. Notes Theor. Comput. Sci. 116: 227-239 (2005) |
| 2003 |
|---|
| 34 | | Angelo Morzenti,
Matteo Pradella,
Pierluigi San Pietro,
Paola Spoletini:
Model-Checking TRIO Specifications in SPIN.
FME 2003: 542-561 |
| 33 | | Luigi Lavazza,
Sandro Morasca,
Angelo Morzenti:
A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems.
Electr. Notes Theor. Comput. Sci. 82(6): (2003) |
| 2001 |
|---|
| 32 | | Fernando Marotta,
Angelo Morzenti,
Dino Mandrioli:
Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications.
ICDCS 2001: 567-574 |
| 31 | | Angelo Gargantini,
Angelo Morzenti:
Automated deductive requirements analysis of critical systems.
ACM Trans. Softw. Eng. Methodol. 10(3): 255-307 (2001) |
| 2000 |
|---|
| 30 | | Riccardo Capobianchi,
Alberto Coen-Porisini,
Dino Mandrioli,
Angelo Morzenti:
A framework architecture for supervision and control systems.
ACM Comput. Surv. 32(1es): 26 (2000) |
| 29 |  | Sandro Morasca,
Angelo Morzenti,
Pierluigi San Pietro:
A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO.
Autom. Softw. Eng. 7(2): 125-155 (2000) |
| 28 | | Pierluigi San Pietro,
Angelo Morzenti,
Sandro Morasca:
Generation of Execution Sequences for Modular Time Critical Systems.
IEEE Trans. Software Eng. 26(2): 128-149 (2000) |
| 1999 |
|---|
| 27 | | Angelo Morzenti,
Matteo Pradella,
Matteo Rossi,
Stefano Russo,
Antonio Sergio:
A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications.
PDSE 1999: 217-223 |
| 26 | | Emanuele Ciapessoni,
Piergiorgio Mirandola,
Alberto Coen-Porisini,
Dino Mandrioli,
Angelo Morzenti:
From Formal Models to Formally Based Methods: An Industrial Experience.
ACM Trans. Softw. Eng. Methodol. 8(1): 79-113 (1999) |
| 25 | | Angelo Gargantini,
Dino Mandrioli,
Angelo Morzenti:
Dealing with Zero-Time Transitions in Axiom Systems.
Inf. Comput. 150(2): 119-131 (1999) |
| 1998 |
|---|
| 24 | | Angelo Morzenti,
Pierluigi San Pietro,
Sandro Morasca:
A Tool for Automated System Analysis based on Modular Specifications.
ASE 1998: 2-11 |
| 23 | | Miguel Felder,
Angelo Gargantini,
Angelo Morzenti:
A Theory of Implementation and Refinement in Timed Petri Nets.
Theor. Comput. Sci. 202(1-2): 127-161 (1998) |
| 1997 |
|---|
| 22 | | Andrea Alborghetti,
Angelo Gargantini,
Angelo Morzenti:
Providing Automated Support to Deductive Analysis of Time Critical Systems.
ESEC / SIGSOFT FSE 1997: 211-226 |
| 21 | | Giulia Galbiati,
Angelo Morzenti,
Francesco Maffioli:
On the Approximability of Some Maximum Spanning Tree Problems.
Theor. Comput. Sci. 181(1): 107-118 (1997) |
| 1996 |
|---|
| 20 | | Sandro Morasca,
Angelo Morzenti,
Pierluigi San Pietro:
Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications.
ISSTA 1996: 39-52 |
| 1995 |
|---|
| 19 | | Angelo Gargantini,
Angelo Morzenti:
TRIO Specification of a Steam Boiler Controller.
Formal Methods for Industrial Applications 1995: 218-232 |
| 18 | | Giulia Galbiati,
Angelo Morzenti,
Francesco Maffioli:
On the Approximability of some Maximum Spanning Tree Problems.
LATIN 1995: 300-310 |
| 17 | | Dino Mandrioli,
Sandro Morasca,
Angelo Morzenti:
Generating Test Cases for Real-Time Systems from Logic Specifications.
ACM Trans. Comput. Syst. 13(4): 365-398 (1995) |
| 1994 |
|---|
| 16 | | Miguel Felder,
Angelo Morzenti:
A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets.
ICTL 1994: 365-381 |
| 15 | | Angelo Morzenti,
Pierluigi San Pietro:
Object-Oriented Logical Specification of Time-Critical Systems.
ACM Trans. Softw. Eng. Methodol. 3(1): 56-98 (1994) |
| 14 | | Miguel Felder,
Angelo Morzenti:
Validating Real-Time Systems by History-Checking TRIO Specifications.
ACM Trans. Softw. Eng. Methodol. 3(4): 308-339 (1994) |
| 13 | | Miguel Felder,
Dino Mandrioli,
Angelo Morzenti:
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models.
IEEE Trans. Software Eng. 20(2): 127-141 (1994) |
| 12 | | Giulia Galbiati,
Francesco Maffioli,
Angelo Morzenti:
A Short Note on the Approximability of the Maximum Leaves Spanning Tree Problem.
Inf. Process. Lett. 52(1): 45-49 (1994) |
| 1993 |
|---|
| 11 | | Pasquale Armenise,
Sergio Bandinelli,
Carlo Ghezzi,
Angelo Morzenti:
A Survey and Assessment of Software Process Representation Formalisms.
International Journal of Software Engineering and Knowledge Engineering 3(3): 401-426 (1993) |
| 10 | | Alfonso Fuggetta,
Carlo Ghezzi,
Dino Mandrioli,
Angelo Morzenti:
Executable Specifications with Data-flow Diagrams.
Softw., Pract. Exper. 23(6): 629-653 (1993) |
| 1992 |
|---|
| 9 | | Miguel Felder,
Angelo Morzenti:
Validating Real-Time Systems by History-Checking TRIO Specifications.
ICSE 1992: 199-211 |
| 8 | | Pasquale Armenise,
Sergio Bandinelli,
Carlo Ghezzi,
Angelo Morzenti:
Software Processes Representation Languages: Survey and Assessment.
SEKE 1992: 455-462 |
| 7 | | Angelo Morzenti,
Dino Mandrioli,
Carlo Ghezzi:
A Model Parametric Real-Time Logic.
ACM Trans. Program. Lang. Syst. 14(4): 521-573 (1992) |
| 1991 |
|---|
| 6 | | Angelo Morzenti,
Pierluigi San Pietro:
An Object-Oriented Logic Language for Modular System Specification.
ECOOP 1991: 39-58 |
| 5 | | Sergio Bandinelli,
Alfonso Fuggetta,
Carlo Ghezzi,
Angelo Morzenti:
A multi-paradigm Petri net based approach to process description.
ISPW 1991: 41-43 |
| 4 | | Angelo Morzenti:
Validating Real-Time Systems by Executing Logic Specifications.
REX Workshop 1991: 502-525 |
| 1990 |
|---|
| 3 | | Carlo Ghezzi,
Dino Mandrioli,
Angelo Morzenti:
TRIO: A logic language for executable specifications of real-time systems.
Journal of Systems and Software 12(2): 107-123 (1990) |
| 1987 |
|---|
| 2 | | Franca Garzotto,
Carlo Ghezzi,
Dino Mandrioli,
Angelo Morzenti:
On the Specification of Real-Time Systems Using Logic Programming.
ESEC 1987: 180-190 |
| 1 | | Carlo Ghezzi,
Angelo Morzenti,
Mauro Pezzè:
On the Role of Software Reliability in Software Engineering.
Software Reliability Modelling and Identification 1987: 1-40 |
