Angelo Morzenti

According to our database1, Angelo Morzenti authored at least 76 papers between 1987 and 2018.

Collaborative distances:



In proceedings 
PhD thesis 





Fast deterministic parsers for transition networks.
Acta Inf., 2018

A Logic-Based Approach for the Verification of UML Timed Models.
ACM Trans. Softw. Eng. Methodol., 2017

A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications.
Theor. Comput. Sci., 2016

BSP: A Parsing Tool for Ambiguous Regular Expressions.
Proceedings of the Implementation and Application of Automata, 2015

From Ambiguous Regular Expressions to Deterministic Parsing Automata.
Proceedings of the Implementation and Application of Automata, 2015

Automated formal verification for flexible manufacturing systems.
J. Intelligent Manufacturing, 2014

Constraint LTL satisfiability checking without automata.
J. Applied Logic, 2014

Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing.
IEEE Intell. Transport. Syst. Mag., 2014

Shift-Reduce Parsers for Transition Networks.
Proceedings of the Language and Automata Theory and Applications, 2014

Complexity of Extended vs. Classic LR Parsers.
Proceedings of the Descriptional Complexity of Formal Systems, 2014

Formal Languages and Compilation, Second Edition.
Texts in Computer Science, Springer, ISBN: 978-1-4471-5514-0, 2013

Bounded satisfiability checking of metric temporal logic specifications.
ACM Trans. Softw. Eng. Methodol., 2013

Parsing methods streamlined.
CoRR, 2013

A logic-based semantics for the verification of multi-diagram UML models.
ACM SIGSOFT Software Engineering Notes, 2012

Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach
CoRR, 2012

Constraint LTL Satisfiability Checking without Automata
CoRR, 2012

A Metric Temporal Logic for Dealing with Zero-Time Transitions.
Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

Green Move: Towards next generation sustainable smartphone-based vehicle sharing.
Proceedings of the Sustainable Internet and ICT for Sustainability, 2012

Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis.
Proceedings of the Formal Methods for Industrial Critical Systems, 2012

Modeling Time in Computing.
Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-642-32331-7, 2012

Modeling time in computing: A taxonomy and a comparative survey.
ACM Comput. Surv., 2010

Bounded Reachability for Temporal Logic over Constraint Systems
CoRR, 2010

Bounded Reachability for Temporal Logic over Constraint Systems.
Proceedings of the TIME 2010, 2010

From Interaction Overview Diagrams to Temporal Logic.
Proceedings of the Models in Software Engineering, 2010

Towards the UML-Based Formal Verification of Timed Systems.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

A Metric Encoding for Bounded Model Checking (extended version)
CoRR, 2009

A Metric Encoding for Bounded Model Checking.
Proceedings of the FM 2009: Formal Methods, 2009

Modeling Time in Computing: A Taxonomy and a Comparative Survey
CoRR, 2008

Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time.
Proceedings of the Theoretical Aspects of Computing, 2008

Automated compositional proofs for real-time systems.
Theor. Comput. Sci., 2007

The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Trio2Promela: A Model Checker for Temporal Metric Specifications.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Model Checking Temporal Metric Specifications with Trio2Promela.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Comments on "An Interval Logic for Real-Time System Specification'.
IEEE Trans. Software Eng., 2006

Automated Verification of Continuous Time Systems by Discrete Temporal Induction.
Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006

A Dual Language Approach to the Development of Time-Critical Systems.
Electr. Notes Theor. Comput. Sci., 2005

Automated Compositional Proofs for Real-Time Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2005

A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems.
Electr. Notes Theor. Comput. Sci., 2003

Model-Checking TRIO Specifications in SPIN.
Proceedings of the FME 2003: Formal Methods, 2003

Automated deductive requirements analysis of critical systems.
ACM Trans. Softw. Eng. Methodol., 2001

Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications.
Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

Generation of Execution Sequences for Modular Time Critical Systems.
IEEE Trans. Software Eng., 2000

A framework architecture for supervision and control systems.
ACM Comput. Surv., 2000

A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO.
Autom. Softw. Eng., 2000

From Formal Models to Formally Based Methods: An Industrial Experience.
ACM Trans. Softw. Eng. Methodol., 1999

Dealing with Zero-Time Transitions in Axiom Systems.
Inf. Comput., 1999

A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999

A Theory of Implementation and Refinement in Timed Petri Nets.
Theor. Comput. Sci., 1998

A Tool for Automated System Analysis based on Modular Specifications.
Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

On the Approximability of Some Maximum Spanning Tree Problems.
Theor. Comput. Sci., 1997

Providing Automated Support to Deductive Analysis of Time Critical Systems.
Proceedings of the Software Engineering, 1997

Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications.
Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

On the Logical Definability of Some Maximum Leaves Problems.
Proceedings of the First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, 1996

Generating Test Cases for Real-Time Systems from Logic Specifications.
ACM Trans. Comput. Syst., 1995

On the Approximability of some Maximum Spanning Tree Problems.
Proceedings of the LATIN '95: Theoretical Informatics, 1995

TRIO Specification of a Steam Boiler Controller.
Proceedings of the Formal Methods for Industrial Applications, 1995

Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models.
IEEE Trans. Software Eng., 1994

Object-Oriented Logical Specification of Time-Critical Systems.
ACM Trans. Softw. Eng. Methodol., 1994

Validating Real-Time Systems by History-Checking TRIO Specifications.
ACM Trans. Softw. Eng. Methodol., 1994

A Short Note on the Approximability of the Maximum Leaves Spanning Tree Problem.
Inf. Process. Lett., 1994

A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets.
Proceedings of the Temporal Logic, First International Conference, 1994

Relating specified time tolerances to implementation performances.
Proceedings of the Sixth Euromicro Workshop on Real-Time Systems, 1994

Executable Specifications with Data-flow Diagrams.
Softw., Pract. Exper., 1993

A Survey and Assessment of Software Process Representation Formalisms.
International Journal of Software Engineering and Knowledge Engineering, 1993

A Model Parametric Real-Time Logic.
ACM Trans. Program. Lang. Syst., 1992

Software Processes Representation Languages: Survey and Assessment.
Proceedings of the SEKE'92, 1992

Validating Real-Time Systems by History-Checking TRIO Specifications.
Proceedings of the 14th International Conference on Software Engineering, 1992

Validating Real-Time Systems by Executing Logic Specifications.
Proceedings of the Real-Time: Theory in Practice, 1991

A multi-paradigm Petri net based approach to process description.
Proceedings of the Seventh International Software Process Workshop (ISPW '91), 1991

Embedding time granularity in logical specifications of real-time systems.
Proceedings of the Euromicro '91 Workshop on Real Time Systems, 1991

Real-time system validation by model checking in TRIO.
Proceedings of the Euromicro '91 Workshop on Real Time Systems, 1991

An Object-Oriented Logic Language for Modular System Specification.
Proceedings of the ECOOP'91 European Conference on Object-Oriented Programming, 1991

TRIO: A logic language for executable specifications of real-time systems.
Journal of Systems and Software, 1990

On the Specification of Real-Time Systems Using Logic Programming.
Proceedings of the ESEC '87, 1987

On the Role of Software Reliability in Software Engineering.
Proceedings of the Software Reliability Modelling and Identification (Como, Italy, 1987