Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Flavio Corradini
2010 – today
- 2012
[j61]Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei: Towards Abstraction-Based Verification of Shape Calculus. Electr. Notes Theor. Comput. Sci. 284: 23-34 (2012)- [c56]Serenella Carota, Flavio Corradini, Damiano Falcioni, Maria Laura Maggiulli, Fausto Marcantoni, Roberto Piangerelli, Alberto Polzonetti, Barbara Re, Andrea Sergiacomi: FedCohesion: Federated Identity Management in the Marche Region. EGOVIS/EDEM 2012: 112-124
- [c55]Federico Buti, Flavio Corradini, Emanuela Merelli, Luca Tesei: A Geometrical Refinement of Shape Calculus Enabling Direct Simulation. SIMULTECH 2012: 218-227
- 2011
- [j60]Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei: A Uniform Multiscale Meta-model of BioShape. Electr. Notes Theor. Comput. Sci. 277: 15-27 (2011)
- [j59]Flavio Corradini, Emanuela Merelli, Diletta Romana Cacciagrano, Rosario Culmone, Luca Tesei, Leonardo Vito: ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People. ERCIM News 2011(87) (2011)
- [c54]Federico Buti, Diletta Cacciagrano, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei: BIOSHAPE\textsc{BioShape}: End-User Development for Simulating Biological Systems. IS-EUD 2011: 379-382
- [c53]Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Read Operators and their Expressiveness in Process Algebras. EXPRESS 2011: 31-43
- [c52]Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Automated Analysis of MUTEX Algorithms with FASE. GandALF 2011: 45-59
- [i2]Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Evaluating the Efficiency of Asynchronous Systems with FASE. CoRR abs/1105.1369 (2011)
- [i1]Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei: Multiscale Modelling: A Mobile Membrane Approach. CoRR abs/1108.3434 (2011)
- 2010
- [b1]Alessandro Aldini, Marco Bernardo, Flavio Corradini: A Process Algebraic Approach to Software Architecture Design. Springer 2010, ISBN 978-1-84800-222-7, pp. I-XV, 1-304
- [j58]Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei: Shape Calculus. A Spatial Mobile Calculus for 3D Shapes. Sci. Ann. Comp. Sci. 20: 1-31 (2010)
- [j57]Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei, M. Pani: Bone Remodelling in BioShape. Electr. Notes Theor. Comput. Sci. 268: 17-29 (2010)
- [j56]Luis Álvarez Sabucedo, Luis E. Anido-Rifón, Flavio Corradini, Alberto Polzonetti, Barbara Re: Knowledge-based platform for eGovernment agents: A Web-based solution using semantic technologies. Expert Syst. Appl. 37(5): 3647-3656 (2010)
- [j55]Flavio Corradini, Andrea Polini, Alberto Polzonetti, Barbara Re: Business Processes Verification for e-Government Service Delivery. IS Management 27(4): 293-308 (2010)
- [j54]Luis E. Anido-Rifón, Flavio Corradini: Methodologies, Technologies and Tools Enabling e-Government. J. UCS 16(8): 1055 (2010)
- [j53]Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei: BioShape: a spatial shape-based scale-independent simulation environment for biological systems. Procedia CS 1(1): 827-835 (2010)
- [j52]Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei: Detecting synchronisation of biological oscillators by model checking. Theor. Comput. Sci. 411(20): 1999-2018 (2010)
- [c51]Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli: Bone Remodelling: A Complex Automata-Based Model Running in BioShape. ACRI 2010: 116-127
- [c50]Flavio Corradini, Damiano Falcioni, Andrea Polini, Alberto Polzonetti, Barbara Re: Designing Quality Business Processes for E-Government Digital Services. EGOV 2010: 424-435
- [c49]Federico Buti, Flavio Corradini, Emanuela Merelli, Elio Paschini, Pierluigi Penna, Luca Tesei: An Individual-based Probabilistic Model for Fish Stock Simulation. AMCA-POP 2010: 37-55
- [c48]Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei: Multiscale Bone Remodelling with Spatial P Systems. MeCBIC 2010: 70-84
2000 – 2009
- 2009
- [j51]Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Liveness of a mutex algorithm in a fair process algebra. Acta Inf. 46(3): 209-235 (2009)
- [j50]Radu Grosu, Scott A. Smolka, Flavio Corradini, Anita Wasilewska, Emilia Entcheva, Ezio Bartocci: Learning and detecting emergent behavior in networks of cardiac myocytes. Commun. ACM 52(3): 97-105 (2009)
- [j49]Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi: Explicit fairness in testing semantics. Logical Methods in Computer Science 5(2) (2009)
- [j48]Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei: Model Checking Biological Oscillators. Electr. Notes Theor. Comput. Sci. 229(1): 41-58 (2009)
- [j47]Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Scott A. Smolka, Radu Grosu: Modeling and simulation of cardiac tissue using hybrid I/O automata. Theor. Comput. Sci. 410(33-34): 3149-3165 (2009)
- [c47]Flavio Corradini, Alberto Polzonetti, Oliviero Riganelli: Online Public Service Delivery. CSREA EE 2009: 319-318
- [c46]Flavio Corradini, Emanuela Merelli, Alberto Polzonetti, Barbara Re, Leonardo Vito: Resourceome for e-Government: Semantic Web Tool for Managing PA Resources. CSREA EE 2009: 354-356
- [c45]Flavio Corradini, Alberto Polzonetti, Oliviero Riganelli: Holistic development of online public services. ICEGOV 2009: 227-234
- [c44]Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito: Constraint-Based Dynamic Conversations. ICNS 2009: 7-12
- [c43]Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei: A Shape Calculus for Biological Processes. ICTCS 2009: 30-33
- [c42]Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Time and Fairness in a Process Algebra with Non-blocking Reading. SOFSEM 2009: 193-204
- [p1]Nicola Cannata, Flavio Corradini, Emanuela Merelli, Francesca Piersigilli, Leonardo Vito: Towards Bioinformatics Resourceomes. Biomedical Data and Applications 2009: 13-36
- 2008
- [j46]Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Radu Grosu, Scott A. Smolka: CellExcite: an efficient simulation environment for excitable cells. BMC Bioinformatics 9(S-2) (2008)
- [j45]Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, Frank D. Valencia: Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus. Electr. Notes Theor. Comput. Sci. 194(2): 59-84 (2008)
- [j44]Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka: Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. Electr. Notes Theor. Comput. Sci. 194(3): 51-67 (2008)
- [j43]Flavio Corradini, Alberto Polzonetti, Barbara Re, Luca Tesei: Quality of service in e-government underlines the role of information usability. IJIQ 2(2): 133-151 (2008)
- [j42]Flavio Corradini, Carlo Toffalori: Preface to Special Issue devoted to the memory of Sauro Tulipani. Mathematical Structures in Computer Science 18(1): 1-4 (2008)
- [c41]Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka: StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. Concurrency, Graphs and Models 2008: 493-502
- [c40]Flavio Corradini, Francesco De Angelis, Andrea Polini, Alberto Polzonetti: Improving Trust in Composite eServices Via Run-Time Participants Testing. EGOV 2008: 279-290
- [c39]Radu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska: Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes. HSCC 2008: 229-243
- [c38]Flavio Corradini, Francesco De Angelis, Andrea Polini, Alberto Polzonetti: A participant testing strategy for service orchestrations. ICDIM 2008: 308-313
- [c37]Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito: A model-prover for constrained dynamic conversations. iiWAS 2008: 630-633
- 2007
- [j41]Emanuela Merelli, Giuliano Armano, Nicola Cannata, Flavio Corradini, Mark d'Inverno, Andreas Doms, Phillip W. Lord, Andrew Martin, Luciano Milanesi, Steffen Möller, Michael Schroeder, Michael Luck: Agents in bioinformatics, computational and systems biology. Briefings in Bioinformatics 8(1): 45-59 (2007)
- [j40]Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Lorenzo Scortichini: BioWMS: a web-based Workflow Management System for bioinformatics. BMC Bioinformatics 8(S-1) (2007)
- [j39]
- [j38]Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi: Fair Pi. Electr. Notes Theor. Comput. Sci. 175(3): 3-26 (2007)
- [j37]Nicola Cannata, Flavio Corradini, Emanuela Merelli: A Resourceomic Grid for bioinformatics. Future Generation Comp. Syst. 23(3): 510-516 (2007)
- [j36]Jos C. M. Baeten, Flavio Corradini, Clemens Grabmayer: A characterization of regular expressions under bisimulation. J. ACM 54(2) (2007)
- [j35]Flavio Corradini, Walter Vogler: Performance of pipelined asynchronous systems. J. Log. Algebr. Program. 70(2): 201-221 (2007)
- [j34]Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi: Separation of synchronous and asynchronous communication via testing. Theor. Comput. Sci. 386(3): 218-235 (2007)
- [c36]Flavio Corradini, Luis Álvarez Sabucedo, Alberto Polzonetti, Luis E. Anido-Rifón, Barbara Re: A Case Study of Semantic Solutions for Citizen-Centered Web Portals in eGovernment: The Tecut Portal. EGOV 2007: 204-215
- [c35]Nicola Cannata, Flavio Corradini, Francesca Piersigilli, Emanuela Merelli, Leonardo Vito: Semantic Resource Management in MAS. WOA 2007: 42-47
- 2006
- [j33]Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Fairness of Actions in System Computations. Acta Inf. 43(2): 73-130 (2006)
- [j32]Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi: Separation of Synchronous and Asynchronous Communication Via Testing. Electr. Notes Theor. Comput. Sci. 154(3): 95-108 (2006)
- [j31]Flavio Corradini, Paola Inverardi, Alexander L. Wolf: On relating functional specifications to architectural specifications: A case study. Sci. Comput. Program. 59(3): 171-208 (2006)
- [j30]
- [j29]Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Fairness of components in system computations. Theor. Comput. Sci. 356(3): 291-324 (2006)
- [c34]Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Checking a Mutex Algorithm in a Process Algebra with Fairness. CONCUR 2006: 142-157
- [c33]Flavio Corradini, Alberto Polzonetti, Romeo Pruno, Lucio Forastieri: Document Exchange Methodology for Collaborative Work in e-Government. DEXA Workshops 2006: 283-287
- [c32]Flavio Corradini, Alberto Polzonetti, Romeo Pruno, Roberto D'Angelo: Social Enterprise Architecture: Towards an Extendable and Scaleable System Architecture for KM. DEXA Workshops 2006: 584-587
- [c31]Flavio Corradini, Francesco De Angelis, Alberto Polzonetti, Barbara Re: Quality evaluation of e-Government digital services. DG.O 2006: 377-378
- [c30]Ezio Bartocci, Flavio Corradini, Emanuela Merelli: Enacting Proactive Workflows Engine in e-Science. International Conference on Computational Science (3) 2006: 1012-1015
- [c29]Ezio Bartocci, Flavio Corradini, Emanuela Merelli: Building a MultiAgent System from a User Workflow Specification. WOA 2006
- [c28]Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Leonardo Vito: Model driven design and implementation of activity-based applications in Hermes. WOA 2006
- [c27]Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito: Dynamic Constraint-Based Invocation of Web Services. WS-FM 2006: 138-147
- 2005
- [j28]
- [j27]Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Fairness of Components in System Computations. Electr. Notes Theor. Comput. Sci. 128(2): 35-52 (2005)
- [j26]Flavio Corradini, Uwe Nestmann: EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003). Theor. Comput. Sci. 330(3): 375-376 (2005)
- [j25]Flavio Corradini, Walter Vogler: Measuring the performance of asynchronous systems with PAFAS. Theor. Comput. Sci. 335(2-3): 187-213 (2005)
- [j24]Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci: An Agent-Oriented Conceptual Framework for Systems Biology. : 105-122 (2005)
- [c26]Flavio Corradini, Eleonora Paganelli, Alberto Polzonetti: e-Democracy: A Solution for Disadvantaged Territories. ECEG 2005: 101-110
- [c25]Flavio Corradini, Alberto Polzonetti, Romeo Pruno: eGovernment Administrative and Semantic Cooperation: The Role of "Intelligent Documents". EGOV (Workshops and Posters) 2005: 150-157
- [c24]Flavio Corradini, Walter Vogler: Performance of Pipelined Asynchronous Systems. FORMATS 2005: 242-257
- [c23]Flavio Corradini, Emanuela Merelli, Marco Vita: A Multi-agent System for Modelling Carbohydrate Oxidation in Cell. ICCSA (2) 2005: 1264-1273
- [c22]
- [c21]Flavio Corradini, Emanuela Merelli: Hermes: Agent-Based Middleware for Mobile Computing. SFM 2005: 234-270
- [c20]Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini, Emanuela Merelli: Integrating Ontologies in Mobile Agents. WOA 2005: 37-45
- [e2]Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini (Eds.): WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 14-16 November 2005, Camerino, MC, Italy. Pitagora Editrice Bologna 2005, ISBN 88-371-1590-3
- 2004
- [j23]Flavio Corradini, Uwe Nestmann: Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. Electr. Notes Theor. Comput. Sci. 96: 1-3 (2004)
- [j22]Flavio Corradini, Leonardo Mariani, Emanuela Merelli: An agent-based approach to tool integration. STTT 6(3): 231-244 (2004)
- [c19]Diletta Cacciagrano, Flavio Corradini: Expressiveness of Timed Events and Timed Languages. SFM 2004: 98-131
- [c18]Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini: Code Mobility for Pervasive Computing. WETICE 2004: 431-432
- [c17]Diego Bonura, Flavio Corradini, Emanuela Merelli, Gino Romiti: FarMAS: A MAS for Extended Quality Workflow. WETICE 2004: 435-440
- [c16]Flavio Corradini, Chiara Ercoli, Emanuela Merelli, Barbara Re: An agent-based matchmaker. WOA 2004: 150-156
- [e1]Marco Bernardo, Flavio Corradini (Eds.): Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures. Lecture Notes in Computer Science 3185, Springer 2004, ISBN 3-540-23068-8
- 2003
- [j21]Flavio Corradini, Dino Di Cola: The Expressive Power Of Urgent, Lazy And Busy-Waiting Actions In Timed Processes. Mathematical Structures in Computer Science 13(4): 619-656 (2003)
- [j20]Candida Attanasio, Flavio Corradini, Paola Inverardi: Static analysis of real-time component-based systems configurations. Sci. Comput. Program. 46(1-2): 5-30 (2003)
- [c15]Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Relating Fairness and Timing in Process Algebras. CONCUR 2003: 438-452
- [c14]Flavio Corradini, Leonardo Mariani, Emanuela Merelli: A Programming Environment for Global Activity-based Applications. WOA 2003: 163-169
- 2002
- [j19]Flavio Corradini, Walter Vogler, Lars Jenner: Comparing the worst-case efficiency of asynchronous systems with PAFAS. Acta Inf. 38(11/12): 735-792 (2002)
- [j18]Flavio Corradini, Rocco De Nicola, Anna Labella: An Equational Axiomatization of Bisimulation over Regular Expressions. J. Log. Comput. 12(2): 301-320 (2002)
- 2001
- [j17]Flavio Corradini, Marco Pistore: `Closed Interval Process Algebra' versus `Interval Process Algebra'. Acta Inf. 37(7): 467-509 (2001)
- [j16]
- [j15]Flavio Corradini, Dino Di Cola: On testing urgency through laziness over processes with durational actions. Theor. Comput. Sci. 258(1-2): 393-407 (2001)
- [j14]Flavio Corradini, Gian Luigi Ferrari, Marco Pistore: On the semantics of durational actions. Theor. Comput. Sci. 269(1-2): 47-82 (2001)
- [c13]Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. APAQS 2001: 231-240
- [c12]Diletta Cacciagrano, Flavio Corradini: On Synchronous and Asynchronous Communication Paradigms. ICTCS 2001: 256-268
- 2000
- [j13]Flavio Corradini, Dino Di Cola: The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes. Electr. Notes Theor. Comput. Sci. 39(1): 47-64 (2000)
- [j12]
- [j11]Flavio Corradini: Absolute versus Relative Time in Process Algebras. Inf. Comput. 156(1-2): 122-172 (2000)
- [c11]Antonia Bertolino, Flavio Corradini, Paola Inverardi, Henry Muccini: Deriving test plans from architectural descriptions. ICSE 2000: 220-229
- [c10]Mauro Cioffi, Flavio Corradini: Specification and Analysis of Timed and Functional TRMCS Behaviours. IWSSD 2000: 31-38
1990 – 1999
- 1999
- [j10]Flavio Corradini, Domenicantonio D'Ortenzio, Paola Inverardi: On the Relationships among four Timed Process Algebras. Fundam. Inform. 38(4): 377-395 (1999)
- [j9]Flavio Corradini, Rocco De Nicola, Anna Labella: A finite axiomatization of nondeterministic regular expressions. ITA 33(4/5): 447-466 (1999)
- [j8]Flavio Corradini, Rocco De Nicola, Anna Labella: Models of Nondeterministic Regular Expressions. J. Comput. Syst. Sci. 59(3): 412-449 (1999)
- [c9]Candida Attanasio, Flavio Corradini, Paola Inverardi: Static Analysis of Real-Time Component-Based Systems Configurations. COORDINATION 1999: 323-339
- [c8]Candida Attanasio, Flavio Corradini, Paola Inverardi: Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance. FASE 1999: 45-59
- [c7]Flavio Corradini, Rocco De Nicola, Anna Labella: Graded Modalities and Resource Bisimulation. FSTTCS 1999: 381-393
- 1998
- [j7]Flavio Corradini: On Performance Congruences for Process Algebras. Inf. Comput. 145(2): 191-230 (1998)
- [j6]Flavio Corradini: On the Coarsest Congruence Within Global-Clock-Bounded Equivalence. Theor. Comput. Sci. 198(1-2): 225-237 (1998)
- 1997
- [j5]Flavio Corradini, Rocco De Nicola: Locality Based Semantics for Process Algebras. Acta Inf. 34(4): 291-324 (1997)
- [j4]Flavio Corradini, Roberto Gorrieri, Marco Roccetti: Performance Preorder and Competitive Equivalence. Acta Inf. 34(11): 805-835 (1997)
- [j3]Flavio Corradini: Absolute versus relative time in process algebras. Electr. Notes Theor. Comput. Sci. 7: 76-95 (1997)
- [j2]Flavio Corradini, Gian Luigi Ferrari, Marco Pistore: Eager, busy-waiting and lazy actions in timed computation? Electr. Notes Theor. Comput. Sci. 7: 96-114 (1997)
- [c6]Xiao Jun Chen, Flavio Corradini: On the Specification and Verification of Performance Properties for a Timed Process Algebra. AMAST 1997: 123-137
- 1996
- [j1]Flavio Corradini, Rocco De Nicola: On Four Partial Ordering Semantics for a Process Calculus. Fundam. Inform. 27(4): 349-383 (1996)
- [c5]Xiao Jun Chen, Flavio Corradini, Roberto Gorrieri: A Study on the Specification and Verification of Performance Properties (Extended Abstract). AMAST 1996: 306-320
- [c4]Flavio Corradini, Marco Pistore: Specification and Verification of Timed Lazy Systems. MFCS 1996: 279-290
- 1995
- [c3]Flavio Corradini, Rocco De Nicola, Anna Labella: Fully Abstract Models for Nondeterministic Regular Expressions. CONCUR 1995: 130-144
- [c2]Flavio Corradini, Roberto Gorrieri, Marco Roccetti: Performance Preorder: Ordering Processes with Respect to Speed. MFCS 1995: 444-453
- 1994
- [c1]Flavio Corradini, Rocco De Nicola: Distribution and Locality of Concurrent Systems. ICALP 1994: 154-165
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 22:03 CET by the dblp team