Publications

Publications

 

Workflow and middleware to support flexible workflow engine

Formal and semi-formal methods for specification and verification of software systems

Embedded and real-time systems

Computational Systems Biology


Workflow and middleware to support flexible workflow engine

Workflow specification
  • E. Bartocci, F. Corradini, E. Merelli Enacting proactive workflows engine in e-Science In Proceedings of the 1st International Workshop on Workflow Systems in e-Science (WSES 06) ICCS 2006, Part III, LNCS 3993 -1012
  • P. Romano, G. Bertolini, F. De Paoli, M. Fattore, D. Marra, G. Mauri, E. Merelli, I. Porro, S. Scaglione, L. Milanesi, Oncology over Internet: integrating data and analysis of oncology interest on the net by means of workflows, International Workshop Integrative Bioinformatics Complex Metabolic Networks. 2005
  • F. Corradini, R. Culmone, M.R. Di Berardini, E. Merelli Integrating Ontologies in Mobile Agents, WOA, pp. 37, ISBN 88-371-1590.
  • R. Amici, F.Corradini, and E. Merelli. A Process Algebra View of Coordination Models with a Case Study in Computational System Biology, 1st Int. Workshop on Coordinadion and Petri Nets,
  • 2004 (pdf)
  • F. Corradini, E. Merelli, and A. Pierantonio. Workflow as Composition of Domain-Specific Languages, 1st Int. Workshop on Coordinadion and Petri Nets, 2004 (pdf)
  • D. Bonura, F. Corradini, E. Merelli, G. Romiti. FarMAS: a MAS for Extended Quality Workflow, (WETICE) 2nd IEEE International workshop on Theory and practice of open computational systems (TAPOCS), 2004 (pdf)
  • E.  Merelli, P. Romano, L. Scortichini. A workflow service for BioMedical Applications, Bioinformatics Italian Society Meeting, 2004 (ppt, pdf)
  • F.Corradini, E.Merelli, A. Pierantonio Workflow as Composition of Domain-Specific Languages, Technical Report N. TRCS 004/2003, Dipartimento di Informatica, Università degli Studi di L'Aquila, 2003

 

Middleware
  • F. Corradini and E. Merelli. Hermes: agent-based middleware for mobile computing, Tutorial Book of 5th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Mobile Computing, LNCS Vol. 3465, pp234-270. 2005
Miscellaneous
  • N. Cannata, E. Merelli, R.B. Altman. Time to Organize the Bioinformatics Resourceome. PloS Computational Biology, Vol. 1, Num. 7, e76
  • L. Mariani and E. Merelli. Agent reactive component for smart. In Third International Symposium From Agent Theory to Agent Implementation AT2AI, Vienna, April 2002. (pdf)

Formal and semi-formal methods for specification and verification of software systems

Locality,Causality and Distribution in Concurrency
  • Flavio Corradini, Rocco De Nicola: Locality Based Semantics for Process Algebras. Acta Inf. 34(4): 291-324 (1997)
  • Flavio Corradini, Rocco De Nicola: On Four Partial Ordering Semantics for a Process Calculus. Fundam. Inform. 27(4): 349-383 (1996)
  • Flavio Corradini, Rocco De Nicola: Distribution and Locality of Concurrent Systems. ICALP 1994: 154-165
Process Theory
  •  Jos C. M. Baeten, Flavio Corradini: Regular Expressions in Process Algebra. LICS 2005: 12-19
  • Flavio Corradini, Rocco De Nicola, Anna Labella: An Equational Axiomatization of Bisimulation over Regular Expressions. J. Log. Comput. 12(2): 301-320 (2002)
  • Diletta Cacciagrano, Flavio Corradini: On Synchronous and Asynchronous Communication Paradigms. ICTCS 2001: 256-268
  • Flavio Corradini, Rocco De Nicola, Anna Labella: Models of Nondeterministic Regular Expressions. J. Comput. Syst. Sci. 59(3): 412-449 (1999)
  • Flavio Corradini, Rocco De Nicola, Anna Labella: Graded Modalities and Resource Bisimulation. FSTTCS 1999: 381-393
  • Flavio Corradini, Rocco De Nicola, Anna Labella: Fully Abstract Models for Nondeterministic Regular Expressions. CONCUR 1995: 130-144
Specification and Analysis of Software Architectures
  • 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
  • Candida Attanasio, Flavio Corradini, Paola Inverardi: Static analysis of real-time component-based systems configurations. Sci. Comput. Program. 46(1-2): 5-30 (2003)
  • Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. APAQS 2001: 231-240
  • Antonia Bertolino, Flavio Corradini, Paola Inverardi, Henry Muccini: Deriving test plans from architectural descriptions. ICSE 2000: 220-229
  • Mauro Cioffi, Flavio Corradini: Specification and Analysis of Timed and Functional TRMCS Behaviours. IWSSD 2000: 31-38
  • 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
  • Candida Attanasio, Flavio Corradini, Paola Inverardi: Static Analysis of Real-Time Component-Based Systems Configurations. COORDINATION 1999: 323-339
  • Flavio Corradini, Roberto Gorrieri, Marco Roccetti: Performance Preorder: Ordering Processes with Respect to Speed. MFCS 1995: 444-453
Timed Systems
  • Flavio Corradini, Walter Vogler: Performance of Pipelined Asynchronous Systems. FORMATS 2005: 242-257
  • Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Fairness of Components in System Computations. Electr. Notes Theor. Comput. Sci. 128(2): 35-52, 2005
  • Flavio Corradini, Walter Vogler: Measuring the performance of asynchronous systems with PAFAS. Theor. Comput. Sci. 335(2-3): 187-213 (2005)
  • 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
  • Diletta Cacciagrano, Flavio Corradini: Expressiveness of Timed Events and Timed Languages. SFM 2004: 98-131
  • Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Relating Fairness and Timing in Process Algebras. CONCUR 2003: 438-452
  • 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)
  • Flavio Corradini, Walter Vogler, Lars Jenner: Comparing the worst-case efficiency of asynchronous systems with PAFAS. Acta Inf. 38(11/12): 735-792 (2002)
  • Flavio Corradini, Dino Di Cola: On testing urgency through laziness over processes with durational actions. Theor. Comput. Sci. 258(1-2): 393-407 (2001)
  • Flavio Corradini, Gian Luigi Ferrari, Marco Pistore: On the semantics of durational actions. Theor. Comput. Sci. 269(1-2): 47-82 (2001)
  • Flavio Corradini, Marco Pistore: `Closed Interval Process Algebra' versus `Interval Process Algebra'. Acta Inf. 37(7): 467-509 (2001)
  • Flavio Corradini: Absolute versus Relative Time in Process Algebras. Inf. Comput. 156(1-2): 122-172 (2000)
  • 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)
  • Flavio Corradini, Domenicantonio D'Ortenzio, Paola Inverardi: On the Relationships among four Timed Process Algebras. Fundam. Inform. 38(4): 377-395 (1999)
  • Flavio Corradini: On Performance Congruences for Process Algebras. Inf. Comput. 145(2): 191-230 (1998)
  • Flavio Corradini: On the Coarsest Congruence Within Global-Clock-Bounded Equivalence. Theor. Comput. Sci. 198(1-2): 225-237 (1998)
  • Flavio Corradini, Gian Luigi Ferrari, Marco Pistore: Eager, busy-waiting and lazy actions in timed computation? Electr. Notes Theor. Comput. Sci. 7: (1997)
  • Xiao Jun Chen, Flavio Corradini: On the Specification and Verification of Performance Properties for a Timed Process Algebra. AMAST 1997: 123-137
  • Flavio Corradini: Absolute versus relative time in process algebras. Electr. Notes Theor. Comput. Sci. 7: (1997)
  • Flavio Corradini, Roberto Gorrieri, Marco Roccetti: Performance Preorder and Competitive Equivalence. Acta Inf. 34(11): 805-835 (1997)
  • Xiao Jun Chen, Flavio Corradini, Roberto Gorrieri: A Study on the Specification and Verification of Performance Properties (Extended Abstract). AMAST 1996: 306-320
  • Flavio Corradini, Marco Pistore: Specification and Verification of Timed Lazy Systems. MFCS 1996: 279-290
Miscellaneous
  • Flavio Corradini, Rocco De Nicola, Anna Labella: A finite axiomatization of nondeterministic regular expressions. ITA 33(4/5): 447-466 (1999)



Computational Systems Biology
Modelling
  • E. Merelli, G. Armano, N. Cannata, F. Corradini, A. Doms, P. Lord, Luciano Milanesi, S. Moeller, M. Schroeder, M. Luck, Agents in Bioinformatics, Computational and Systems Biology, to appear in Briefings in Bioinformatics
  • M. Luck, E. Merelli Agents in Bioinformatics, Knowledge Engineenering Review, vol.20, n. 2, pp.117-125
  • F.Corradini, E. Merelli, M. Vita. A Multi-Agent System for Modelling Carbohydrate Oxidation in Cell, Proceedings of International Conference on Computational Science and its Applications - Modelling Complex Systems, LNCS Vol. 3481, pp.1265-1273
Validation
  • E. Merelli, M.Young. Validating MAS Models with Mutation, Proceedings of Multiagent Systems for Bioinformatics and Medicine in AAMAS Conference, 2005
Simulation 
  • N.Cannata, F. Corradini, E.Merelli, A.Omicini, A.Ricci, An Agent-Oriented Conceptual Framework for Systems Biology, Transaction of Computational Biology, vol. 3737, pp. 105-122.

Embedded and real-time systems

Code Mobility
vvv
  • Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini: Code Mobility for Pervasive Computing. WETICE 2004: 431-432

  

Return on Top