Angelo Morzenti

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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

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

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

2015
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

2014
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

2013
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

2012
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

2010
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

2009
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

2008
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

2007
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

2006
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

2005
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

2003
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

2001
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

2000
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

1999
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

1998
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

1997
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

1996
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

1995
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

1994
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

1993
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

1992
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

1991
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

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

1987
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


  Loading...