Person:236445

Available identifiers

zbMath Open corradini.flavioWikidataQ102927233 ScholiaQ102927233MaRDI QIDQ236445

List of research outcomes

Publication	Date of Publication	Type
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies	2024-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q3384914	2021-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q4965857	2021-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4964718	2021-03-03	Paper
Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations	2021-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q5129950	2020-11-03	Paper
Distribution and locality of concurrent systems	2019-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q4621138	2019-02-08	Paper
Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions	2016-05-27	Paper
Model Checking Biological Oscillators	2014-03-21	Paper
Bone Remodelling in BioShape	2014-03-21	Paper
Towards Abstraction-Based Verification of Shape Calculus	2014-03-21	Paper
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue	2014-01-17	Paper
Fair Π	2013-12-13	Paper
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus	2013-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q2852065	2013-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q2848134	2013-09-25	Paper
The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes	2013-04-26	Paper
Bone Remodelling: A Complex Automata-Based Model Running in BioShape	2010-10-04	Paper
Performance preorder: Ordering processes with respect to speed	2010-06-17	Paper
Detecting synchronisation of biological oscillators by model checking	2010-05-11	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q3394898	2009-09-10	Paper
Modeling and simulation of cardiac tissue using hybrid I/O automata	2009-08-07	Paper
Explicit fairness in testing semantics	2009-06-30	Paper
Liveness of a mutex algorithm in a fair process algebra	2009-05-08	Paper
Time and Fairness in a Process Algebra with Non-blocking Reading	2009-02-03	Paper
A characterization of regular expressions under bisimulation	2008-12-21	Paper
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes	2008-06-19	Paper
Separation of synchronous and asynchronous communication via testing	2007-12-19	Paper
Checking a Mutex Algorithm in a Process Algebra with Fairness	2007-09-04	Paper
Performance of pipelined asynchronous systems	2007-02-09	Paper
Formal Modeling and Analysis of Timed Systems	2006-11-14	Paper
Transactions on Computational Systems Biology III	2006-11-14	Paper
Formal Methods for the Design of Real-Time Systems	2006-10-19	Paper
Fairness of actions in system computations	2006-09-12	Paper
Fairness of components in system computations	2006-05-29	Paper
On relating functional specifications to architectural specifications: A case study	2006-01-10	Paper
Measuring the performance of asynchronous systems with PAFAS	2005-06-10	Paper
The expressive power of urgent, lazy and busy-waiting actions in timed processes Research supported by Murst progetto Saladin: Software Architectures and Languages to Coordinate Distributed Mobile Components.	2004-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q4458491	2004-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4448369	2004-02-18	Paper
Comparing the worst-case efficiency of asynchronous systems with PAFAS	2003-09-01	Paper
An Equational Axiomatization of Bisimulation over Regular Expressions	2003-06-16	Paper
Static analysis of real-time component-based systems configurations	2003-05-14	Paper
Absolute versus relative time in process algebras.	2003-01-14	Paper
On the semantics of durational actions	2002-03-03	Paper
On testing urgency through laziness over processes with durational actions	2001-08-20	Paper
``Closed interval process algebra versus ``interval process algebra	2001-08-20	Paper
A Finite Axiomatization of Nondeterministic Regular Expressions	2000-10-03	Paper
https://portal.mardi4nfdi.de/entity/Q4501684	2000-09-04	Paper
Models of nondeterministic regular expressions	2000-03-19	Paper
On performance congruences for process algebras	1999-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q4222914	1998-12-21	Paper
https://portal.mardi4nfdi.de/entity/Q4222915	1998-12-21	Paper
On the coarsest congruence within global-clock-bounded equivalence	1998-08-13	Paper
Locality based semantics for process algebras	1997-12-08	Paper
Performance preorder and competitive equivalence	1997-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q4896948	1997-03-25	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: Flavio Corradini