2009 | ||
---|---|---|
90 | EE | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Time and Fairness in a Process Algebra with Non-blocking Reading. SOFSEM 2009: 193-204 |
89 | EE | Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi: Explicit fairness in testing semantics CoRR abs/0904.2340: (2009) |
88 | EE | 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) |
87 | EE | Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei: Model Checking Biological Oscillators. Electr. Notes Theor. Comput. Sci. 229(1): 41-58 (2009) |
2008 | ||
86 | EE | 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 |
85 | EE | Flavio Corradini, Francesco De Angelis, Andrea Polini, Alberto Polzonetti: Improving Trust in Composite eServices Via Run-Time Participants Testing. EGOV 2008: 279-290 |
84 | EE | 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 |
83 | EE | Flavio Corradini, Francesco De Angelis, Andrea Polini, Alberto Polzonetti: A participant testing strategy for service orchestrations. ICDIM 2008: 308-313 |
82 | EE | Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito: A model-prover for constrained dynamic conversations. iiWAS 2008: 630-633 |
81 | EE | 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) |
80 | EE | 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) |
79 | EE | 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) |
2007 | ||
78 | EE | 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 |
77 | EE | Nicola Cannata, Flavio Corradini, Francesca Piersigilli, Emanuela Merelli, Leonardo Vito: Semantic Resource Management in MAS. WOA 2007: 42-47 |
76 | EE | 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) |
75 | EE | Flavio Corradini, Carlo Toffalori: Preface. Electr. Notes Theor. Comput. Sci. 169: 1-2 (2007) |
74 | EE | Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi: Fair Pi. Electr. Notes Theor. Comput. Sci. 175(3): 3-26 (2007) |
73 | EE | Nicola Cannata, Flavio Corradini, Emanuela Merelli: A Resourceomic Grid for bioinformatics. Future Generation Comp. Syst. 23(3): 510-516 (2007) |
72 | EE | Jos C. M. Baeten, Flavio Corradini, Clemens Grabmayer: A characterization of regular expressions under bisimulation. J. ACM 54(2): (2007) |
71 | EE | Flavio Corradini, Walter Vogler: Performance of pipelined asynchronous systems. J. Log. Algebr. Program. 70(2): 201-221 (2007) |
70 | EE | Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi: Separation of synchronous and asynchronous communication via testing. Theor. Comput. Sci. 386(3): 218-235 (2007) |
2006 | ||
69 | EE | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Checking a Mutex Algorithm in a Process Algebra with Fairness. CONCUR 2006: 142-157 |
68 | EE | Flavio Corradini, Alberto Polzonetti, Romeo Pruno, Lucio Forastieri: Document Exchange Methodology for Collaborative Work in e-Government. DEXA Workshops 2006: 283-287 |
67 | EE | 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 |
66 | EE | Flavio Corradini, Francesco De Angelis, Alberto Polzonetti, Barbara Re: Quality evaluation of e-Government digital services. DG.O 2006: 377-378 |
65 | EE | Ezio Bartocci, Flavio Corradini, Emanuela Merelli: Enacting Proactive Workflows Engine in e-Science. International Conference on Computational Science (3) 2006: 1012-1015 |
64 | EE | Ezio Bartocci, Flavio Corradini, Emanuela Merelli: Building a MultiAgent System from a User Workflow Specification. WOA 2006 |
63 | EE | Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Leonardo Vito: Model driven design and implementation of activity-based applications in Hermes. WOA 2006 |
62 | EE | Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito: Dynamic Constraint-Based Invocation of Web Services. WS-FM 2006: 138-147 |
61 | EE | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Fairness of Actions in System Computations. Acta Inf. 43(2): 73-130 (2006) |
60 | EE | Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi: Separation of Synchronous and Asynchronous Communication Via Testing. Electr. Notes Theor. Comput. Sci. 154(3): 95-108 (2006) |
59 | EE | 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) |
58 | EE | Jos C. M. Baeten, Flavio Corradini: Preface. Theor. Comput. Sci. 356(3): 263-264 (2006) |
57 | EE | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Fairness of components in system computations. Theor. Comput. Sci. 356(3): 291-324 (2006) |
2005 | ||
56 | Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini: 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 | |
55 | Flavio Corradini, Eleonora Paganelli, Alberto Polzonetti: e-Democracy: A Solution for Disadvantaged Territories. ECEG 2005: 101-110 | |
54 | Flavio Corradini, Alberto Polzonetti, Romeo Pruno: eGovernment Administrative and Semantic Cooperation: The Role of "Intelligent Documents". EGOV (Workshops and Posters) 2005: 150-157 | |
53 | EE | Flavio Corradini, Walter Vogler: Performance of Pipelined Asynchronous Systems. FORMATS 2005: 242-257 |
52 | EE | Flavio Corradini, Emanuela Merelli, Marco Vita: A Multi-agent System for Modelling Carbohydrate Oxidation in Cell. ICCSA (2) 2005: 1264-1273 |
51 | EE | Jos C. M. Baeten, Flavio Corradini: Regular Expressions in Process Algebra. LICS 2005: 12-19 |
50 | EE | Flavio Corradini, Emanuela Merelli: Hermes: Agent-Based Middleware for Mobile Computing. SFM 2005: 234-270 |
49 | EE | Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini, Emanuela Merelli: Integrating Ontologies in Mobile Agents. WOA 2005: 37-45 |
48 | EE | Jos C. M. Baeten, Flavio Corradini: Preface. Electr. Notes Theor. Comput. Sci. 128(2): 1-3 (2005) |
47 | EE | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Fairness of Components in System Computations. Electr. Notes Theor. Comput. Sci. 128(2): 35-52 (2005) |
46 | EE | Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci: An Agent-Oriented Conceptual Framework for Systems Biology. T. Comp. Sys. Biology: 105-122 (2005) |
45 | EE | 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) |
44 | EE | Flavio Corradini, Walter Vogler: Measuring the performance of asynchronous systems with PAFAS. Theor. Comput. Sci. 335(2-3): 187-213 (2005) |
2004 | ||
43 | Marco Bernardo, Flavio Corradini: 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 Springer 2004 | |
42 | EE | Diletta Cacciagrano, Flavio Corradini: Expressiveness of Timed Events and Timed Languages. SFM 2004: 98-131 |
41 | EE | Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini: Code Mobility for Pervasive Computing. WETICE 2004: 431-432 |
40 | EE | Diego Bonura, Flavio Corradini, Emanuela Merelli, Gino Romiti: FarMAS: A MAS for Extended Quality Workflow. WETICE 2004: 435-440 |
39 | Flavio Corradini, Chiara Ercoli, Emanuela Merelli, Barbara Re: An agent-based matchmaker. WOA 2004: 150-156 | |
38 | EE | Flavio Corradini, Uwe Nestmann: Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. Electr. Notes Theor. Comput. Sci. 96: 1-3 (2004) |
37 | EE | Flavio Corradini, Leonardo Mariani, Emanuela Merelli: An agent-based approach to tool integration. STTT 6(3): 231-244 (2004) |
2003 | ||
36 | EE | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Relating Fairness and Timing in Process Algebras. CONCUR 2003: 438-452 |
35 | Flavio Corradini, Leonardo Mariani, Emanuela Merelli: A Programming Environment for Global Activity-based Applications. WOA 2003: 163-169 | |
34 | 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) | |
33 | EE | Candida Attanasio, Flavio Corradini, Paola Inverardi: Static analysis of real-time component-based systems configurations. Sci. Comput. Program. 46(1-2): 5-30 (2003) |
2002 | ||
32 | EE | Flavio Corradini, Walter Vogler, Lars Jenner: Comparing the worst-case efficiency of asynchronous systems with PAFAS. Acta Inf. 38(11/12): 735-792 (2002) |
31 | EE | Flavio Corradini, Rocco De Nicola, Anna Labella: An Equational Axiomatization of Bisimulation over Regular Expressions. J. Log. Comput. 12(2): 301-320 (2002) |
2001 | ||
30 | EE | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. APAQS 2001: 231-240 |
29 | EE | Diletta Cacciagrano, Flavio Corradini: On Synchronous and Asynchronous Communication Paradigms. ICTCS 2001: 256-268 |
28 | EE | Flavio Corradini, Marco Pistore: `Closed Interval Process Algebra' versus `Interval Process Algebra'. Acta Inf. 37(7): 467-509 (2001) |
27 | EE | Flavio Corradini, Walter Vogler: Preface. Electr. Notes Theor. Comput. Sci. 52(3): (2001) |
26 | EE | Flavio Corradini, Dino Di Cola: On testing urgency through laziness over processes with durational actions. Theor. Comput. Sci. 258(1-2): 393-407 (2001) |
25 | EE | Flavio Corradini, Gian Luigi Ferrari, Marco Pistore: On the semantics of durational actions. Theor. Comput. Sci. 269(1-2): 47-82 (2001) |
2000 | ||
24 | EE | Antonia Bertolino, Flavio Corradini, Paola Inverardi, Henry Muccini: Deriving test plans from architectural descriptions. ICSE 2000: 220-229 |
23 | EE | Mauro Cioffi, Flavio Corradini: Specification and Analysis of Timed and Functional TRMCS Behaviours. IWSSD 2000: 31-38 |
22 | EE | 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): (2000) |
21 | EE | Flavio Corradini, Paola Inverardi: Preface Electr. Notes Theor. Comput. Sci. 39(3): (2000) |
20 | Flavio Corradini: Absolute versus Relative Time in Process Algebras. Inf. Comput. 156(1-2): 122-172 (2000) | |
1999 | ||
19 | EE | Candida Attanasio, Flavio Corradini, Paola Inverardi: Static Analysis of Real-Time Component-Based Systems Configurations. COORDINATION 1999: 323-339 |
18 | 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 | |
17 | EE | Flavio Corradini, Rocco De Nicola, Anna Labella: Graded Modalities and Resource Bisimulation. FSTTCS 1999: 381-393 |
16 | Flavio Corradini, Domenicantonio D'Ortenzio, Paola Inverardi: On the Relationships among four Timed Process Algebras. Fundam. Inform. 38(4): 377-395 (1999) | |
15 | Flavio Corradini, Rocco De Nicola, Anna Labella: A finite axiomatization of nondeterministic regular expressions. ITA 33(4/5): 447-466 (1999) | |
14 | Flavio Corradini, Rocco De Nicola, Anna Labella: Models of Nondeterministic Regular Expressions. J. Comput. Syst. Sci. 59(3): 412-449 (1999) | |
1998 | ||
13 | Flavio Corradini: On Performance Congruences for Process Algebras. Inf. Comput. 145(2): 191-230 (1998) | |
12 | EE | Flavio Corradini: On the Coarsest Congruence Within Global-Clock-Bounded Equivalence. Theor. Comput. Sci. 198(1-2): 225-237 (1998) |
1997 | ||
11 | Xiao Jun Chen, Flavio Corradini: On the Specification and Verification of Performance Properties for a Timed Process Algebra. AMAST 1997: 123-137 | |
10 | EE | Flavio Corradini, Roberto Gorrieri, Marco Roccetti: Performance Preorder and Competitive Equivalence. Acta Inf. 34(11): 805-835 (1997) |
9 | Flavio Corradini, Rocco De Nicola: Locality Based Semantics for Process Algebras. Acta Inf. 34(4): 291-324 (1997) | |
8 | EE | Flavio Corradini: Absolute versus relative time in process algebras. Electr. Notes Theor. Comput. Sci. 7: (1997) |
7 | EE | Flavio Corradini, Gian Luigi Ferrari, Marco Pistore: Eager, busy-waiting and lazy actions in timed computation? Electr. Notes Theor. Comput. Sci. 7: (1997) |
1996 | ||
6 | Xiao Jun Chen, Flavio Corradini, Roberto Gorrieri: A Study on the Specification and Verification of Performance Properties (Extended Abstract). AMAST 1996: 306-320 | |
5 | Flavio Corradini, Marco Pistore: Specification and Verification of Timed Lazy Systems. MFCS 1996: 279-290 | |
4 | Flavio Corradini, Rocco De Nicola: On Four Partial Ordering Semantics for a Process Calculus. Fundam. Inform. 27(4): 349-383 (1996) | |
1995 | ||
3 | Flavio Corradini, Rocco De Nicola, Anna Labella: Fully Abstract Models for Nondeterministic Regular Expressions. CONCUR 1995: 130-144 | |
2 | Flavio Corradini, Roberto Gorrieri, Marco Roccetti: Performance Preorder: Ordering Processes with Respect to Speed. MFCS 1995: 444-453 | |
1994 | ||
1 | Flavio Corradini, Rocco De Nicola: Distribution and Locality of Concurrent Systems. ICALP 1994: 154-165 |