F
Flavio Corradini
Researcher at University of Camerino
Publications - 285
Citations - 2803
Flavio Corradini is an academic researcher from University of Camerino. The author has contributed to research in topics: Business Process Model and Notation & Business process. The author has an hindex of 24, co-authored 260 publications receiving 2450 citations. Previous affiliations of Flavio Corradini include Sapienza University of Rome & University of Sussex.
Papers
More filters
Journal ArticleDOI
Agents in bioinformatics, computational and systems biology
Emanuela Merelli,Giuliano Armano,Nicola Cannata,Flavio Corradini,Mark d'Inverno,Andreas Doms,Phillip Lord,Andrew J. Martin,Luciano Milanesi,Steffen Möller,Michael Schroeder,Michael Luck +11 more
TL;DR: The activity of the Working Group on Agents in Bioinformatics (BIOAGENTS) founded during the first AgentLink III Technical Forum meeting on the 2nd of July, 2004, in Rome is reported on.
Journal ArticleDOI
Learning and detecting emergent behavior in networks of cardiac myocytes
TL;DR: This work proposes a new spatial logic, based on spatial superposition, for specifying and detecting emergent behavior in networks of cardiac myocytes, spiral electric waves in particular, a precursor to atrial and ventricular fibrillation.
Book
A Process Algebraic Approach to Software Architecture Design
TL;DR: Although it had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, ?
Proceedings ArticleDOI
Deriving test plans from architectural descriptions
TL;DR: This paper presents an approach for deriving test plans for the conformance testing of a system implementation with respect to the formal description of its software architecture (SA), based on a labelled transition system modeling the SA dynamics, and on suitable abstractions of it, the Abstract Labelled Transition Systems (ALTS).
Journal ArticleDOI
A Guidelines framework for understandable BPMN models
Flavio Corradini,Alessio Ferrari,Fabrizio Fornari,Stefania Gnesi,Andrea Polini,Barbara Re,Giorgio Oronzo Spagnolo +6 more
TL;DR: A set of fifty guidelines that can help modelers to improve the understandability of their models are provided, focused on the Business Process Modelling Notation 2.0 standard published by the Object Management Group.