Angelo Morzenti

Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi: Modeling Time in Computing. Monographs in theoretical computer science, Springer 2012, isbn 978-3-642-32331-7, pp. I-XVI, 1-423

Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi: A logic-based semantics for the verification of multi-diagram UML models. ACM SIGSOFT Software Engineering Notes 37(4): 1-8 (2012)

Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi: Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis. FMICS 2012: 162-176

Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi: A Metric Temporal Logic for Dealing with Zero-Time Transitions. TIME 2012: 81-88

Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro: Constraint LTL Satisfiability Checking without Automata. CoRR abs/1205.0946 (2012)

Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi: Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach. CoRR abs/1206.0911 (2012)

Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi: Modeling time in computing: A taxonomy and a comparative survey. ACM Comput. Surv. 42(2) (2010)

Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi: Towards the UML-Based Formal Verification of Timed Systems. FMCO 2010: 267-286

Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi: From Interaction Overview Diagrams to Temporal Logic. MoDELS Workshops 2010: 90-104

Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro: Bounded Reachability for Temporal Logic over Constraint Systems. TIME 2010: 43-50

Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro: Bounded Reachability for Temporal Logic over Constraint Systems. CoRR abs/1004.1077 (2010)

Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro: A Metric Encoding for Bounded Model Checking. FM 2009: 741-756

Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro: A Metric Encoding for Bounded Model Checking (extended version). CoRR abs/0907.3085 (2009)

Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro: Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time. ICTAC 2008: 290-304

Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro: Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking. ASE 2008: 119-127

Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi: Modeling Time in Computing: A Taxonomy and a Comparative Survey. CoRR abs/0807.4132 (2008)

Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti: Automated compositional proofs for real-time systems. Theor. Comput. Sci. 376(3): 164-184 (2007)

Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro: Model Checking Temporal Metric Specifications with Trio2Promela. FSEN 2007: 388-395

Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini: Trio2Promela: A Model Checker for Temporal Metric Specifications. ICSE Companion 2007: 61-62

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

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)

Angelo Gargantini, Angelo Morzenti: Automated Verification of Continuous Time Systems by Discrete Temporal Induction. TIME 2006: 19-26

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)

Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti: Automated Compositional Proofs for Real-Time Systems. FASE 2005: 326-340

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): 121-132 (2003)

Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini: Model-Checking TRIO Specifications in SPIN. FME 2003: 542-561

Angelo Gargantini, Angelo Morzenti: Automated deductive requirements analysis of critical systems. ACM Trans. Softw. Eng. Methodol. 10(3): 255-307 (2001)

Fernando Marotta, Angelo Morzenti, Dino Mandrioli: Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications. ICDCS 2001: 567-574

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)

Riccardo Capobianchi, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti: A framework architecture for supervision and control systems. ACM Comput. Surv. 32(1es): 26 (2000)

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)

Angelo Gargantini, Dino Mandrioli, Angelo Morzenti: Dealing with Zero-Time Transitions in Axiom Systems. Inf. Comput. 150(2): 119-131 (1999)

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)

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

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)

Angelo Morzenti, Pierluigi San Pietro, Sandro Morasca: A Tool for Automated System Analysis based on Modular Specifications. ASE 1998: 2-11

Giulia Galbiati, Angelo Morzenti, Francesco Maffioli: On the Approximability of Some Maximum Spanning Tree Problems. Theor. Comput. Sci. 181(1): 107-118 (1997)

Andrea Alborghetti, Angelo Gargantini, Angelo Morzenti: Providing Automated Support to Deductive Analysis of Time Critical Systems. ESEC / SIGSOFT FSE 1997: 211-226

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

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)

Angelo Gargantini, Angelo Morzenti: TRIO Specification of a Steam Boiler Controller. Formal Methods for Industrial Applications 1995: 218-232

Giulia Galbiati, Angelo Morzenti, Francesco Maffioli: On the Approximability of some Maximum Spanning Tree Problems. LATIN 1995: 300-310

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)

Angelo Morzenti, Pierluigi San Pietro: Object-Oriented Logical Specification of Time-Critical Systems. ACM Trans. Softw. Eng. Methodol. 3(1): 56-98 (1994)

Miguel Felder, Angelo Morzenti: Validating Real-Time Systems by History-Checking TRIO Specifications. ACM Trans. Softw. Eng. Methodol. 3(4): 308-339 (1994)

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)

Miguel Felder, Angelo Morzenti: A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets. ICTL 1994: 365-381

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)

Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti: Executable Specifications with Data-flow Diagrams. Softw., Pract. Exper. 23(6): 629-653 (1993)

Angelo Morzenti, Dino Mandrioli, Carlo Ghezzi: A Model Parametric Real-Time Logic. ACM Trans. Program. Lang. Syst. 14(4): 521-573 (1992)

Miguel Felder, Angelo Morzenti: Validating Real-Time Systems by History-Checking TRIO Specifications. ICSE 1992: 199-211

Pasquale Armenise, Sergio Bandinelli, Carlo Ghezzi, Angelo Morzenti: Software Processes Representation Languages: Survey and Assessment. SEKE 1992: 455-462

Angelo Morzenti, Pierluigi San Pietro: An Object-Oriented Logic Language for Modular System Specification. ECOOP 1991: 39-58

Sergio Bandinelli, Alfonso Fuggetta, Carlo Ghezzi, Angelo Morzenti: A multi-paradigm Petri net based approach to process description. ISPW 1991: 41-43

Angelo Morzenti: Validating Real-Time Systems by Executing Logic Specifications. REX Workshop 1991: 502-525

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)

Carlo Ghezzi, Angelo Morzenti, Mauro Pezzè: On the Role of Software Reliability in Software Engineering. Software Reliability Modelling and Identification 1987: 1-40

Franca Garzotto, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti: On the Specification of Real-Time Systems Using Logic Programming. ESEC 1987: 180-190