Giovanni Pardini

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 3

Top Topics

Temporally Extended Goals

Transition Systems

Compositional Semantics

Top Venues

Theor. Comput. Sci.

Publications

Paolo Milazzo, Giovanni Pardini
Objective/MC: A high-level model checking language - Formalization of the imperative core and translation into PRISM. J. Intell. Inf. Syst. 52 (3) (2019)
Giovanni Pardini, Paolo Milazzo
A High-Level Model Checking Language with Compile-Time Pruning of Local Variables. STAF Workshops (2016)
Roberto Barbuti, Pasquale Bove, Paolo Milazzo, Giovanni Pardini
Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems. Int. Conf. on Membrane Computing (2016)
Roberto Barbuti, Alessandro Bompadre, Pasquale Bove, Paolo Milazzo, Giovanni Pardini
Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates. SEFM Workshops (2015)
Giovanni Pardini, Paolo Milazzo, Andrea Maggiolo-Schettini
Component identification in biochemical pathways. Theor. Comput. Sci. 587 (2015)
Roberto Barbuti, Pasquale Bove, Paolo Milazzo, Giovanni Pardini
Minimal probabilistic P systems for modelling ecological systems. Theor. Comput. Sci. 608 (2015)
Paolo Milazzo, Giovanni Pardini, Dario Sestini, Pasquale Bove
Case Studies of Application of Probabilistic and Statistical Model Checking in Game Design. GAS@ICSE (2015)
Vincenzo Manca, Giovanni Pardini
Morphogenesis through moving membranes. Nat. Comput. 13 (3) (2014)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Simone Tini
Systolic Automata and P Systems. Computing with New Resources (2014)
Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
Compositional semantics and behavioural equivalences for reaction systems with restriction. Theor. Comput. Sci. 551 (2014)
Giovanni Pardini, Paolo Milazzo, Andrea Maggiolo-Schettini
Identification of components in biochemical pathways: extensive application to SBML models. Nat. Comput. 13 (3) (2014)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
Simulation of Spatial P system models. Theor. Comput. Sci. 529 (2014)
Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models. WIVACE (2013)
Giovanni Pardini, Paolo Milazzo, Andrea Maggiolo-Schettini
An Algorithm for the Identification of Components in Biochemical Pathways. Electron. Notes Theor. Comput. Sci. 299 (2013)
Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
A Compositional Semantics of Reaction Systems with Restriction. CiE (2013)
Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
Modular Verification of Qualitative Pathway Models with Fairness. Sci. Ann. Comput. Sci. 23 (1) (2013)
Roberto Barbuti, Pasquale Bove, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations. SEFM Workshops (2013)
Giulio Caravagna, Gabriele Costa, Giovanni Pardini
Lazy Security Controllers. STM (2012)
Giulio Caravagna, Gabriele Costa, Luca Wiegand, Giovanni Pardini
Lazy Monitoring for Distributed Computing Environments. IMIS (2012)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Luca Tesei
Spatial P systems. Nat. Comput. 10 (1) (2011)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
Spatial Calculus of Looping Sequences. Theor. Comput. Sci. 412 (43) (2011)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
Spatial Calculus of Looping Sequences. Electron. Notes Theor. Comput. Sci. 229 (1) (2009)
Roberto Barbuti, Daniela Lepri, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+. Ershov Memorial Conference (2009)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama
A Process Calculus for Molecular Interaction Maps MeCBIC (2009)
Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
The Calculus of Looping Sequences. SFM (2008)