| Publication | Date of Publication | Type |
|---|
| An action based framework for verifying logical and behavioural properties of concurrent systems | 2024-04-29 | Paper |
Coherent modal transition systems refinement
Journal of Logical and Algebraic Methods in Programming | 2024-03-20 | Paper |
From the archives of the formal methods and tools lab. Axiomatising and contextualising ACTL
Models, Languages, and Tools for Concurrent and Distributed Programming | 2024-02-23 | Paper |
Towards automatic temporal logic verification of value passing process algebra using abstract interpretation
CONCUR '96: Concurrency Theory | 2023-06-28 | Paper |
| Language and communication problems in formalization: a natural language approach | 2022-03-22 | Paper |
An experience in using machine learning for short-term predictions in smart transportation systems
Journal of Logical and Algebraic Methods in Programming | 2017-02-22 | Paper |
Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
Journal of Logical and Algebraic Methods in Programming | 2016-03-04 | Paper |
Model Checking Value-Passing Modal Specifications
Lecture Notes in Computer Science | 2015-12-03 | Paper |
From EU projects to a family of model checkers. From Kandinsky to KandISTI
Software, Services, and Systems | 2015-06-22 | Paper |
Modelling dynamic software architectures using typed graph grammars
Electronic Notes in Theoretical Computer Science | 2014-03-26 | Paper |
| Logical specification and analysis of fault tolerant systems through partial model checking | 2013-09-20 | Paper |
A state/event-based model-checking approach for the analysis of abstract system properties
Science of Computer Programming | 2011-01-14 | Paper |
Assisting the design of a groupware system - Model checking usability aspects of thinkteam
The Journal of Logic and Algebraic Programming | 2009-04-29 | Paper |
Graph-Based Design and Analysis of Dynamic Software Architectures
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Software Engineering: Ugo Montanari’s Main Contributions and Introduction to the Section
Concurrency, Graphs and Models | 2008-06-19 | Paper |
On testing UML statecharts
The Journal of Logic and Algebraic Programming | 2006-08-17 | Paper |
Formal Techniques for Networked and Distributed Systems – FORTE 2004
Lecture Notes in Computer Science | 2005-08-18 | Paper |
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
The Journal of Logic and Algebraic Programming | 2003-02-13 | Paper |
Finite approximations for model checking non-finite-state processes
The Computer Journal. Section A Section B | 2002-04-08 | Paper |
| scientific article; zbMATH DE number 1629970 (Why is no real title available?) | 2001-11-04 | Paper |
| scientific article; zbMATH DE number 709540 (Why is no real title available?) | 2000-06-21 | Paper |
| scientific article; zbMATH DE number 1444737 (Why is no real title available?) | 2000-05-09 | Paper |
| scientific article; zbMATH DE number 1333607 (Why is no real title available?) | 1999-09-19 | Paper |
Assisting requirement formalization by means of natural language translation
Formal Methods in System Design | 1994-06-29 | Paper |
Model checking for action-based logics
Formal Methods in System Design | 1994-06-19 | Paper |
An action-based framework for veryfying logical and behavioural properties of concurrent systems
Computer Networks and ISDN Systems | 1993-06-29 | Paper |
Compositionality and bisimulation: A negative result
Information Processing Letters | 1992-06-27 | Paper |
| scientific article; zbMATH DE number 4085007 (Why is no real title available?) | 1988-01-01 | Paper |
Dynamic Programming as Graph Searching: An Algebraic Approach
Journal of the ACM | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3782407 (Why is no real title available?) | 1979-01-01 | Paper |
