Angelo Troina

IEEE Trans. Software Eng., 2010

Weak bisimulation for Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

Preface.

[BibT_eX]

[DOI]

Jean Krivine

Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology, 2010

Hybrid Calculus of Wrapped Compartments

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

Stochastic Calculus of Wrapped Compartments

[BibT_eX]

[DOI]

Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010

Types for BioAmbients

[BibT_eX]

[DOI]

Sara Capecchi

Proceedings of the Proceedings Third Workshop From Biology To Concurrency and back, 2010

Reachability results for timed automata with unbounded data structures.

[BibT_eX]

[DOI]

Acta Informatica, 2010

Simulation and Bisimulation for Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Jeremy Sproston

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

2009

A Type System for a Stochastic CLS

[BibT_eX]

[DOI]

Paola Giannini

Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009

A Type System for Required/Excluded Elements in CLS

[BibT_eX]

[DOI]

Paola Giannini

Proceedings of the Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, 2009

Modelling an Ammonium Transporter with SCLS.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Second International Workshop on Computational Models for Cell Processes, 2009

2008

Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways.

[BibT_eX]

[DOI]

Paolo Tiberi

Trans. Comp. Sys. Biology, 2008

Design and verification of long-running transactions in a timed framework.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2008

Bisimulations in calculi modelling membranes.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2008

Stochastic Bigraphs.

[BibT_eX]

[DOI]

Jean Krivine

Robin Milner

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

Preface.

[BibT_eX]

[DOI]

Proceedings of the First Interaction and Concurrency Experiences Workshop, 2008

Type Disciplines for Analysing Biologically Relevant Properties.

[BibT_eX]

[DOI]

Bogdan Aman

Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, 2008

2007

Parametric probabilistic transition systems for system design and analysis.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2007

The Calculus of Looping Sequences for Modeling Biological Membranes.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 8th International Workshop, 2007

A Probabilistic Applied Pi-Calculus.

[BibT_eX]

[DOI]

Jean Goubault-Larrecq

Catuscia Palamidessi

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

A Calculus of Looping Sequences for Modelling Microbiological Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2006

Bisimulation Congruences in the Calculus of Looping Sequences.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2006

Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2005

A Probabilistic Model for Molecular Systems.

[BibT_eX]

[DOI]

Stefano Cataudella

Fundam. Informaticae, 2005

A Classification of Time and/or Probability Dependent Security Properties.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005

Timed Automata with Data Structures for Distributed Systems Design and Analysis.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

2004

Automatic Analysis of a Non-Repudiation Protocol.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004

Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Information Flow Analysis for Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

Automatic Covert Channel Analysis of a Multilevel Secure Component.

[BibT_eX]

[DOI]

Simone Tini

Enrico Tronci

Proceedings of the Information and Communications Security, 6th International Conference, 2004

Towards a Formal Treatment of Secrecy Against Computational Adversaries.

[BibT_eX]

[DOI]

Alessandro Aldini

Roberto Gorrieri

Proceedings of the Global Computing, IST/FET International Workshop, 2004

2003

Approximating Imperfect Cryptography in a Formal Model.

[BibT_eX]

[DOI]

Alessandro Aldini

Roberto Gorrieri

Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003

Automatic Analysis of the NRL Pump.

[BibT_eX]

[DOI]

Simone Tini

Enrico Tronci

Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003

Weak Bisimulation for Probabilistic Timed Automata and Applications to Security.

[BibT_eX]

[DOI]