S. Gnesi

From MaRDI portal
Person:246445

Available identifiers

zbMath Open gnesi.stefaniaDBLPg/StefaniaGnesiWikidataQ56501800 ScholiaQ56501800MaRDI QIDQ246445

List of research outcomes





PublicationDate of PublicationType
An action based framework for verifying logical and behavioural properties of concurrent systems2024-04-29Paper
Coherent modal transition systems refinement2024-03-20Paper
From the archives of the formal methods and tools lab. Axiomatising and contextualising ACTL2024-02-23Paper
Towards automatic temporal logic verification of value passing process algebra using abstract interpretation2023-06-28Paper
Language and communication problems in formalization: a natural language approach2022-03-22Paper
An experience in using machine learning for short-term predictions in smart transportation systems2017-02-22Paper
Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints2016-03-04Paper
Model Checking Value-Passing Modal Specifications2015-12-03Paper
From EU Projects to a Family of Model Checkers2015-06-22Paper
Modelling Dynamic Software Architectures using Typed Graph Grammars2014-03-26Paper
Logical specification and analysis of fault tolerant systems through partial model checking2013-09-20Paper
A state/event-based model-checking approach for the analysis of abstract system properties2011-01-14Paper
Assisting the design of a groupware system - Model checking usability aspects of thinkteam2009-04-29Paper
Graph-Based Design and Analysis of Dynamic Software Architectures2008-06-19Paper
Software Engineering: Ugo Montanari’s Main Contributions and Introduction to the Section2008-06-19Paper
On testing UML statecharts2006-08-17Paper
Formal Techniques for Networked and Distributed Systems – FORTE 20042005-08-18Paper
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking2003-02-13Paper
Finite approximations for model checking non-finite-state processes2002-04-08Paper
https://portal.mardi4nfdi.de/entity/Q27290892001-11-04Paper
https://portal.mardi4nfdi.de/entity/Q43189922000-06-21Paper
https://portal.mardi4nfdi.de/entity/Q49523182000-05-09Paper
https://portal.mardi4nfdi.de/entity/Q42603811999-09-19Paper
Assisting requirement formalization by means of natural language translation1994-06-29Paper
Model checking for action-based logics1994-06-19Paper
An action-based framework for veryfying logical and behavioural properties of concurrent systems1993-06-29Paper
Compositionality and bisimulation: A negative result1992-06-27Paper
https://portal.mardi4nfdi.de/entity/Q38147991988-01-01Paper
Dynamic Programming as Graph Searching: An Algebraic Approach1981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39601411979-01-01Paper

Research outcomes over time

This page was built for person: S. Gnesi