2022
Modelling Biological and Ecological Systems with the Calculus of Wrapped Compartments.
,
,
,
,
,
,
,
,
,
,
CoRR, 2022
2017
Probabilistic Timed Automata for Security Analysis and Design.
PhD thesis, 2017
2015
Interactions between Computer Science and Biology.
Theor. Comput. Sci., 2015
2013
Type Directed Semantics for the Calculus of Looping Sequences.
Int. J. Softw. Informatics, 2013
Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology, 2013
2012
Simulation techniques for the calculus of wrapped compartments.
Theor. Comput. Sci., 2012
Typed stochastic semantics for the calculus of looping sequences.
Theor. Comput. Sci., 2012
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions
Proceedings of the Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012
Modelling Ecological Systems with the Calculus of Wrapped Compartments.
Proceedings of the Membrane Computing, 2012
2011
Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis.
Trans. Comp. Sys. Biology, 2011
Concurrency and Interaction in Complex Systems.
Sci. Ann. Comput. Sci., 2011
A Calculus of Looping Sequences with Local Rules
Proceedings of the Proceedings 7th International Workshop on Developments of Computational Methods, 2011
Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments
Proceedings of the Proceedings Third International Workshop on Computational Models for Cell Processes, 2011
A Spatial Calculus of Wrapped Compartments
CoRR, 2011
On Designing Multicore-Aware Simulators for Biological Systems.
Proceedings of the 19th International Euromicro Conference on Parallel, 2011
On Parallelizing On-Line Statistics for Stochastic Biological Simulations.
Proceedings of the Euro-Par 2011: Parallel Processing Workshops - CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29, 2011
2010
Time and Probability-Based Information Flow Analysis.
IEEE Trans. Software Eng., 2010
Weak bisimulation for Probabilistic Timed Automata.
Theor. Comput. Sci., 2010
A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday.
Fundam. Informaticae, 2010
Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology, 2010
Hybrid Calculus of Wrapped Compartments
Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010
Stochastic Calculus of Wrapped Compartments
Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010
Proceedings of the Proceedings Third Workshop From Biology To Concurrency and back, 2010
Reachability results for timed automata with unbounded data structures.
Acta Informatica, 2010
Simulation and Bisimulation for Probabilistic Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010
2009
A Type System for a Stochastic CLS
Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009
A Type System for Required/Excluded Elements in CLS
Proceedings of the Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, 2009
Modelling an Ammonium Transporter with SCLS.
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.
Trans. Comp. Sys. Biology, 2008
Design and verification of long-running transactions in a timed framework.
Sci. Comput. Program., 2008
Bisimulations in calculi modelling membranes.
Formal Aspects Comput., 2008
Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008
Proceedings of the First Interaction and Concurrency Experiences Workshop, 2008
Type Disciplines for Analysing Biologically Relevant Properties.
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.
Formal Aspects Comput., 2007
The Calculus of Looping Sequences for Modeling Biological Membranes.
Proceedings of the Membrane Computing, 8th International Workshop, 2007
A Probabilistic Applied Pi-Calculus.
Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007
2006
A Calculus of Looping Sequences for Modelling Microbiological Systems.
Fundam. Informaticae, 2006
Bisimulation Congruences in the Calculus of Looping Sequences.
Proceedings of the Theoretical Aspects of Computing, 2006
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006
2005
A Probabilistic Model for Molecular Systems.
Fundam. Informaticae, 2005
A Classification of Time and/or Probability Dependent Security Properties.
Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005
Timed Automata with Data Structures for Distributed Systems Design and Analysis.
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005
2004
Automatic Analysis of a Non-Repudiation Protocol.
Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004
Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004
Information Flow Analysis for Probabilistic Timed Automata.
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.
Proceedings of the Information and Communications Security, 6th International Conference, 2004
Towards a Formal Treatment of Secrecy Against Computational Adversaries.
Proceedings of the Global Computing, IST/FET International Workshop, 2004
2003
Approximating Imperfect Cryptography in a Formal Model.
Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003
Automatic Analysis of the NRL Pump.
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.
Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003