Flavio Corradini

From MaRDI portal
Person:236445

Available identifiers

zbMath Open corradini.flavioMaRDI QIDQ236445

List of research outcomes

PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q33849142021-12-17Paper
https://portal.mardi4nfdi.de/entity/Q49658572021-03-10Paper
https://portal.mardi4nfdi.de/entity/Q49647182021-03-03Paper
Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations2021-02-26Paper
https://portal.mardi4nfdi.de/entity/Q51299502020-11-03Paper
Distribution and locality of concurrent systems2019-04-29Paper
https://portal.mardi4nfdi.de/entity/Q46211382019-02-08Paper
Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions2016-05-27Paper
Model Checking Biological Oscillators2014-03-21Paper
Bone Remodelling in BioShape2014-03-21Paper
Towards Abstraction-Based Verification of Shape Calculus2014-03-21Paper
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue2014-01-17Paper
Fair Π2013-12-13Paper
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus2013-12-06Paper
https://portal.mardi4nfdi.de/entity/Q28520652013-10-07Paper
https://portal.mardi4nfdi.de/entity/Q28481342013-09-25Paper
The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes2013-04-26Paper
Bone Remodelling: A Complex Automata-Based Model Running in BioShape2010-10-04Paper
Performance preorder: Ordering processes with respect to speed2010-06-17Paper
Detecting synchronisation of biological oscillators by model checking2010-05-11Paper
CONCUR 2003 - Concurrency Theory2010-03-30Paper
https://portal.mardi4nfdi.de/entity/Q33948982009-09-10Paper
Modeling and simulation of cardiac tissue using hybrid I/O automata2009-08-07Paper
Explicit fairness in testing semantics2009-06-30Paper
Liveness of a mutex algorithm in a fair process algebra2009-05-08Paper
Time and Fairness in a Process Algebra with Non-blocking Reading2009-02-03Paper
A characterization of regular expressions under bisimulation2008-12-21Paper
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes2008-06-19Paper
Separation of synchronous and asynchronous communication via testing2007-12-19Paper
Checking a Mutex Algorithm in a Process Algebra with Fairness2007-09-04Paper
Performance of pipelined asynchronous systems2007-02-09Paper
Formal Modeling and Analysis of Timed Systems2006-11-14Paper
Transactions on Computational Systems Biology III2006-11-14Paper
Formal Methods for the Design of Real-Time Systems2006-10-19Paper
Fairness of actions in system computations2006-09-12Paper
Fairness of components in system computations2006-05-29Paper
On relating functional specifications to architectural specifications: A case study2006-01-10Paper
Measuring the performance of asynchronous systems with PAFAS2005-06-10Paper
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-30Paper
https://portal.mardi4nfdi.de/entity/Q44584912004-03-18Paper
https://portal.mardi4nfdi.de/entity/Q44483692004-02-18Paper
Comparing the worst-case efficiency of asynchronous systems with PAFAS2003-09-01Paper
An Equational Axiomatization of Bisimulation over Regular Expressions2003-06-16Paper
Static analysis of real-time component-based systems configurations2003-05-14Paper
Absolute versus relative time in process algebras.2003-01-14Paper
On the semantics of durational actions2002-03-03Paper
On testing urgency through laziness over processes with durational actions2001-08-20Paper
``Closed interval process algebra versus ``interval process algebra2001-08-20Paper
A Finite Axiomatization of Nondeterministic Regular Expressions2000-10-03Paper
https://portal.mardi4nfdi.de/entity/Q45016842000-09-04Paper
Models of nondeterministic regular expressions2000-03-19Paper
On performance congruences for process algebras1999-01-13Paper
https://portal.mardi4nfdi.de/entity/Q42229141998-12-21Paper
https://portal.mardi4nfdi.de/entity/Q42229151998-12-21Paper
On the coarsest congruence within global-clock-bounded equivalence1998-08-13Paper
Locality based semantics for process algebras1997-12-08Paper
Performance preorder and competitive equivalence1997-09-11Paper
https://portal.mardi4nfdi.de/entity/Q48969481997-03-25Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Flavio Corradini