P. Inverardi

Available identifiers

zbMath Open inverardi.paolaMaRDI QIDQ672233

List of research outcomes

Publication	Date of Publication	Type
A semantic driven method to check the fineteness of CCS processes	2024-04-29	Paper
A strategy to deal with divergent rewrite systems	2023-03-09	Paper
Yeast: A case study for a practical use of formal methods	2022-11-02	Paper
Rational rewriting	2022-08-18	Paper
Automated synthesis of application-layer connectors from automata-based specifications	2019-06-25	Paper
Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications	2016-04-08	Paper
Automatic verification of distributed systems: the process algebra approach.	2008-12-21	Paper
Failure-free coordinators synthesis for component-based architectures	2008-06-25	Paper
Dynamically Evolvable Dependable Software: From Oxymoron to Reality	2008-06-19	Paper
Coordination Models and Languages	2006-01-10	Paper
On relating functional specifications to architectural specifications: A case study	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4458491	2004-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4437021	2003-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4413730	2003-07-21	Paper
Software architectures and coordination models	2003-07-01	Paper
Static analysis of real-time component-based systems configurations	2003-05-14	Paper
Finite approximations for model checking non-finite-state processes	2002-04-08	Paper
https://portal.mardi4nfdi.de/entity/Q2764108	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q4934252	2000-01-17	Paper
Uncovering architectural mismatch in component behavior	1999-11-01	Paper
Deciding observational congruence of finite-state CCS expressions by rewriting	1997-02-28	Paper
Infinite normal forms for non-linear term rewriting systems	1997-02-27	Paper
Automatizing parametric reasoning on distributed concurrent systems	1995-04-06	Paper
Proving finiteness of CCS processes by non-standard semantics	1994-05-10	Paper
https://portal.mardi4nfdi.de/entity/Q4035244	1993-05-18	Paper
Complete sets of axioms for finite basic LOTOS behavioural equivalences	1993-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q4005177	1992-09-27	Paper
A rewriting strategy to verify observational congruence	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3814799	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3814841	1988-01-01	Paper

Research outcomes over time

This page was built for person: P. Inverardi