S. Gnesi

Available identifiers

zbMath Open gnesi.stefaniaDBLPg/StefaniaGnesiWikidataQ56501800 ScholiaQ56501800MaRDI QIDQ246445

List of research outcomes

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	2024-03-20	Paper
From the archives of the formal methods and tools lab. Axiomatising and contextualising ACTL	2024-02-23	Paper
Towards automatic temporal logic verification of value passing process algebra using abstract interpretation	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	2017-02-22	Paper
Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints	2016-03-04	Paper
Model Checking Value-Passing Modal Specifications	2015-12-03	Paper
From EU Projects to a Family of Model Checkers	2015-06-22	Paper
Modelling Dynamic Software Architectures using Typed Graph Grammars	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	2011-01-14	Paper
Assisting the design of a groupware system - Model checking usability aspects of thinkteam	2009-04-29	Paper
Graph-Based Design and Analysis of Dynamic Software Architectures	2008-06-19	Paper
Software Engineering: Ugo Montanari’s Main Contributions and Introduction to the Section	2008-06-19	Paper
On testing UML statecharts	2006-08-17	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004	2005-08-18	Paper
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking	2003-02-13	Paper
Finite approximations for model checking non-finite-state processes	2002-04-08	Paper
https://portal.mardi4nfdi.de/entity/Q2729089	2001-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q4318992	2000-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4952318	2000-05-09	Paper
https://portal.mardi4nfdi.de/entity/Q4260381	1999-09-19	Paper
Assisting requirement formalization by means of natural language translation	1994-06-29	Paper
Model checking for action-based logics	1994-06-19	Paper
An action-based framework for veryfying logical and behavioural properties of concurrent systems	1993-06-29	Paper
Compositionality and bisimulation: A negative result	1992-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q3814799	1988-01-01	Paper
Dynamic Programming as Graph Searching: An Algebraic Approach	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3960141	1979-01-01	Paper

Research outcomes over time

This page was built for person: S. Gnesi