Angelo Troina

According to our database1, Angelo Troina
  • authored at least 51 papers between 2003 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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. Software and Informatics, 2013

Preface.
Electr. Notes Theor. Comput. Sci., 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. Computational Systems Biology, 2011

Concurrency and Interaction in Complex Systems.
Sci. Ann. Comp. 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. Inform., 2010

Preface.
Electr. Notes Theor. Comput. Sci., 2010

Hybrid Calculus of Wrapped Compartments
Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

On Designing Multicore-aware Simulators for Biological Systems
CoRR, 2010

Stochastic Calculus of Wrapped Compartments
Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010

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

Reachability results for timed automata with unbounded data structures.
Acta Inf., 2010

Simulation and Bisimulation for Probabilistic Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

2009
Preface.
Electr. Notes Theor. Comput. Sci., 2009

Type Disciplines for Analysing Biologically Relevant Properties.
Electr. Notes Theor. Comput. Sci., 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. Computational Systems Biology, 2008

Design and verification of long-running transactions in a timed framework.
Sci. Comput. Program., 2008

Bisimulations in calculi modelling membranes.
Formal Asp. Comput., 2008

Stochastic Bigraphs.
Electr. Notes Theor. Comput. Sci., 2008

2007
Parametric probabilistic transition systems for system design and analysis.
Formal Asp. 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. Inform., 2006

A Classification of Time and/or Probability Dependent Security Properties.
Electr. Notes Theor. Comput. Sci., 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. Inform., 2005

Automatic Analysis of a Non-Repudiation Protocol.
Electr. Notes Theor. Comput. Sci., 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
Approximating Imperfect Cryptography in a Formal Model.
Electr. Notes Theor. Comput. Sci., 2004

Automatic Analysis of the NRL Pump.
Electr. Notes Theor. Comput. Sci., 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
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


  Loading...