Stefania 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
https://portal.mardi4nfdi.de/entity/Q2849551	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/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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stefania Gnesi