publications

My publications, in reverse chronological order.

See also my pages on IRIS, Google Scholar, DBLP, Scopus, Orcid, ResearchGate, SemanticScholar.
My Erdős number is 3.

2023

  1. Automated Verification of Telegram’s MTProto 2.0 in the Symbolic Model
    Marino Miculan, and Nicola Vitacolonna
    Computers & Security 2023

2022

  1. Composable partial multiparty session types for open systems
    Claude Stolze, Marino Miculan, and Pietro Di Gianantonio
    Software and Systems Modeling 2022
  2. Computing (optimal) embeddings of directed bigraphs
    Alessio Chiapperini, Marino Miculan, and Marco Peressotti
    Sci. Comput. Program. 2022
  3. A Calculus for Subjective Communication
    Marino Miculan, and Matteo Paier
    In Proceedings of the 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022, Rome, Italy, September 7-9, 2022 2022
  4. Distributed Programming of Smart Systems with Event-Condition-Action Rules
    Michele Pasqua, and Marino Miculan
    In Proceedings of the 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022, Rome, Italy, September 7-9, 2022 2022
  5. A new criterion for M,N-adhesivity, with an application to hierarchical graphs
    Davide Castelnovo, Fabio Gadducci, and Marino Miculan
    In Proc. FoSSaCS 2022
  6. Fuzzy Algebraic Theories
    Davide Castelnovo, and Marino Miculan
    In 30th EACSL Annual Conference on Computer Science Logic (CSL 2022) 2022
  7. The AbU Language: IoT Distributed Programming Made Easy
    Michele Pasqua, Massimo Comuzzo, and Marino Miculan
    IEEE Access 2022

2021

  1. Composable Partial Multiparty Session Types
    Claude Stolze, Marino Miculan, and Pietro Di Gianantonio
    In FACS 2021 Conference Proceedings 2021
  2. On the Security and Safety of AbU Systems
    Michele Pasqua, and Marino Miculan
    In Software Engineering and Formal Methods (SEFM 2021) 2021
  3. Closure Hyperdoctrines
    Davide Castelnovo, and Marino Miculan
    In CALCO 2021 Conference Proceedings 2021
  4. A time-series classification approach to shallow web traffic de-anonymization
    Axel De Nardin, Marino Miculan, Claudio Piciarelli, and Gian Luca Foresti
    In Proceedings of the Fifth Italian Conference on Cyber Security, ITASEC 2021 2021
  5. A Calculus for Attribute-based Memory Updates
    Marino Miculan, and Michele Pasqua
    In Proceedings of the 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021 2021
  6. Automated Symbolic Verification of Telegram’s MTProto 2.0
    Marino Miculan, and Nicola Vitacolonna
    In Proceedings of the 18th International Conference on Security and Cryptography, SECRYPT 2021 2021

2020

  1. Securing the Art Market with Distributed Public Ledgers
    Marino Miculan, and Daniel Tosone
    In Proceedings of the 3rd Distributed Ledger Technology Workshop (DLT 2020) 2020
  2. Computing Embeddings of Directed Bigraphs
    Alessio Chiapperini, Marino Miculan, and Marco Peressotti
    In Graph Transformation - 13th International Conference, ICGT 2020 2020
  3. Towards a Formal Model for Composable Container Systems
    Fabio Burco, Marino Miculan, and Marco Peressotti
    In Proceedings of the 35th Annual ACM Symposium on Applied Computing 2020

2019

  1. An Abstract Distributed Middleware for Transactions over Heterogeneous Stores
    Luca Geatti, Federico Igne, and Marino Miculan
    In Proc. 20th Italian Conference on Theoretical Computer Science, ICTCS 2019 2019
  2. Constructive logical characterizations of bisimilarity for reactive probabilistic systems
    Marco Bernardo, and Marino Miculan
    Theor. Comput. Sci. 2019
  3. Towards User Recognition by Shallow Web Traffic Inspection
    Marino Miculan, Gian Luca Foresti, and Claudio Piciarelli
    In Proceedings of the Third Italian Conference on Cyber Security, Pisa, Italy, February 13-15, 2019 2019

2018

  1. Guest editors’ foreword
    Thomas Hildebrandt, and Marino Miculan
    Journal of Logical and Algebraic Methods in Programming 2018
  2. Loose Graph Simulations
    Alessio Mansutti, Marino Miculan, and Marco Peressotti
    In Software Technologies: Applications and Foundations 2018
  3. Deciding Hedged Bisimilarity
    Alessio Mansutti, and Marino Miculan
    In Proceedings of ICTCS 2018 2018

2017

  1. Deciding Weak Weighted Bisimulation
    Marino Miculan, and Marco Peressotti
    In Proceedings of ICTCS 2017 2017
  2. Reductions for Transition Systems at Work: Deriving a Logical Characterization of Quantitative Bisimulation
    Marino Miculan, and Marco Peressotti
    arXiv preprint arXiv:1704.07181 2017
  3. LFMTP ’17: Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
    2017

2016

  1. Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems
    Marco Bernardo, and Marino Miculan
    In Proceedings of ICTCS 2016 2016
  2. Special Issue on Methodologies, Technologies and Tools Enabling e-Government
    2016
  3. A Specification of Open Transactional Memory for Haskell
    Marino Miculan, and Marco Peressotti
    CoRR 2016
  4. Structural operational semantics for non-deterministic processes with quantitative aspects
    Marino Miculan, and Marco Peressotti
    Theoretical Computer Science 2016
  5. On the bisimulation hierarchy of state-to-function transition systems
    Marino Miculan, and Marco Peressotti
    In Proceedings of ICTCS 2016 2016

2015

  1. Behavioural equivalences for coalgebras with unobservable moves
    Tomasz Brengos, Marino Miculan, and Marco Peressotti
    Journal of Logical and Algebraic Methods in Programming 2015
  2. Distributed execution of bigraphical reactive systems
    Alessio Mansutti, Marino Miculan, and Marco Peressotti
    ECEASST 2015
  3. Structural operational semantics for continuous state stochastic transition systems
    Giorgio Bacci, and Marino Miculan
    Journal of Computer and System Sciences 2015
  4. PreProceedings of the 2nd International Workshop on Meta Models for Process Languages (MeMo 2015)
    Marino Miculan
    2015
  5. Open Transactions on Shared Memory
    Marino Miculan, Marco Peressotti, and Andrea Toneguzzo
    In Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings 2015

2014

  1. A CSP implementation of the bigraph embedding problem
    Marino Miculan, and Marco Peressotti
    CoRR 2014
  2. Tutorial on Bigraphical Reactive Systems (slides)
    Marino Miculan
    In 1st International Workshop on Meta Models for Process Languages (MeMo) 2014
  3. A Model of Countable Nondeterminism in Guarded Type Theory
    A. Bizjak, Lars Birkedal, and Marino Miculan
    In Proc. RTA-TLCA 2014
  4. MeTTeG14, Proceedings of the 8th International Conference on Methodologies, Technologies and Tools Enabling e-Government
    Barbara Re, and Marino Miculan
    2014
  5. Finding a Forest in a Tree — The matching problem for wide reactive systems
    Giorgio Bacci, Marino Miculan, and Romeo Rizzi
    In Trustworthy Global Computing - 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers 2014
  6. Behavioural equivalences for coalgebras with unobservable moves
    Tomasz Brengos, Marino Miculan, and Marco Peressotti
    CoRR 2014
  7. GSOS for non-deterministic processes with quantitative aspects
    Marino Miculan, and Marco Peressotti
    In Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014. 2014
  8. Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems
    Alessio Mansutti, Marino Miculan, and Marco Peressotti
    In Proc. DAIS 2014 2014

2013

  1. Bigraphs Reloaded
    Marino Miculan, and Marco Peressotti
    2013
  2. Weak bisimulations for labelled transition systems weighted over semirings
    Marino Miculan, and Marco Peressotti
    CoRR 2013

2012

  1. Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine
    Marino Miculan, and Ilaria Sambarino
    In Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, Newcastle, UK, 8th September 2012 2012
  2. Structural operational semantics for continuous state probabilistic processes
    Giorgio Bacci, and Marino Miculan
    In Proc. CMCS’12 2012
  3. Synthesis of Distributed Mobile Programs Using Monadic Types in Coq
    Marino Miculan, and Marco Paviotti
    In Interactive Theorem Proving - Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings 2012
  4. Measurable Stochastics for Brane Calculus
    Giorgio Bacci, and Marino Miculan
    Theoretical Computer Science 2012

2011

  1. Formal analysis of Facebook Connect Single Sign-On authentication protocol
    Marino Miculan, and Caterina Urban
    In SofSem 2011, Proceedings of Student Research Forum 2011
  2. Unobservable Intrusion Detection Based on Call Traces in Paravirtualized Systems
    Carlo Maiero, and Marino Miculan
    In Proc. SECRYPT 2011

2010

  1. Measurable Stochastics for Brane Calculus
    Giorgio Bacci, and Marino Miculan
    In Proc. MeCBIC 2010
  2. Graph Algebras for Bigraphs
    Davide Grohmann, and Marino Miculan
    In Proc. 9th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT’10) 2010
  3. Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
    Karl Crary, and Marino Miculan
    2010

2009

  1. Deriving Barbed Bisimulations for Bigraphical Reactive Systems
    Davide Grohmann, and Marino Miculan
    In Proceedings of International Conference on Graph Transformation (ICGT-DS 2008) 2009
  2. DBtk: a Toolkit for Directed Bigraphs
    Giorgio Bacci, Davide Grohmann, and Marino Miculan
    In CALCO 2009 Conference Proceedings - Calco Tools 2009
  3. A framework for protein and membrane interactions
    Giorgio Bacci, Davide Grohmann, and Marino Miculan
    In Proc. MeCBIC’09 2009
  4. Bigraphical models for protein and membrane interactions
    Giorgio Bacci, Davide Grohmann, and Marino Miculan
    In Proc. MeCBIC’09 2009

2008

  1. Types for Proofs and Programs, International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
    Marino Miculan, Ivan Scagnetto, and Furio Honsell
    2008
  2. PicNIc – Pi-calculus Non-Interference checker
    Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, and Sabina Rossi
    In Proc. ACSD’08 2008
  3. A categorical model of the Fusion calculus
    Marino Miculan
    In Proc. XXIV MFPS 2008
  4. An Algebra for Directed Bigraphs
    Davide Grohmann, and Marino Miculan
    Electronic Notes in Theoretical Computer Science 2008
  5. Controlling resource access in Directed Bigraphs (long version)
    Davide Grohmann, and Marino Miculan
    In Proc. 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT’08) 2008
  6. Implementing Spi-Calculus Using Nominal Techniques
    Temesghen Kahsai, and Marino Miculan
    In Proc. Computability in Europe (CiE) 2008
  7. Undecidability of Model checking in Brane Logic
    Giorgio Bacci, and Marino Miculan
    Electronic Notes in Theoretical Computer Science 2008

2007

  1. Directed bigraphs
    Davide Grohmann, and Marino Miculan
    In Proc. XXIII MFPS 2007
  2. Reactive Systems over Directed Bigraphs
    Davide Grohmann, and Marino Miculan
    In Proc. CONCUR 2007 2007
  3. Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts
    Alberto Ciaffaglione, Luigi Liquori, and Marino Miculan
    J. Autom. Reasoning 2007

2006

  1. On permutation algebras, (pre)sheaves and named sets
    Fabio Gadducci, Marino Miculan, and Ugo Montanari
    Higher-Order and Symbolic Computation 2006
  2. Consistency of the Theory of Contexts
    Anna Bucalo, Martin Hofmann, Furio Honsell, Marino Miculan, and Ivan Scagnetto
    Journal of Functional Programming 2006
  3. Directed bigraphs: theory and applications
    Davide Grohmann, and Marino Miculan
    2006
  4. Modal Logics for Brane Calculus
    Marino Miculan, and Giorgio Bacci
    In Proc. CMSB 2006

2005

  1. Implementazione di Memoria Distribuita su cluster CompactPCI
    Maja Massarini, Marino Miculan, and Francesco Sepic
    In Atti del Congresso AICA 2005 2005
  2. A unifying model of variables and names
    Marino Miculan, and Kidane Yemane
    In Proc. FOSSACS’05 2005

2004

  1. Unifying Recursive and Co-recursive Definitions in Sheaf Categories
    Pietro Di Gianantonio, and Marino Miculan
    In Proc. FOSSACS’04 2004
  2. Modeling Fresh Names in π-calculus Using Abstractions
    Roberto Bruni, Furio Honsell, Marina Lenisa, and Marino Miculan
    In Proc. CMCS’04 2004
  3. Proceedings of the Workshop of the COMETA Project on Computational Metamodels
    Furio Honsell, Marina Lenisa, and Marino Miculan
    2004

2003

  1. Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax
    Alberto Ciaffaglione, Luigi Liquori, and Marino Miculan
    In Proc. 2nd MERLIN 2003
  2. A Unifying Approach to Recursive and Co-recursive Definitions
    Pietro Di Gianantonio, and Marino Miculan
    In Proc. TYPES’02 2003
  3. A Framework for Typed HOAS and Semantics
    Marino Miculan, and Ivan Scagnetto
    In Proc. PPDP’03 2003
  4. Imperative Object-based Calculi in (Co)Inductive Type Theories
    Alberto Ciaffaglione, Luigi Liquori, and Marino Miculan
    In Proc. LPAR 2003
  5. Mechanized Reasoning about Languages with Variable Binding
    Furio Honsell, Marino Miculan, and Alberto Momigliano
    2003

2002

  1. Comparing higher-order encodings in logical frameworks and tile logic
    Roberto Bruni, Furio Honsell, Marina Lenisa, and Marino Miculan
    Electronic Notes in Theoretical Computer Science 2002
  2. Ambient Calculus and its Logic in the Calculus of Inductive Constructions
    Ivan Scagnetto, and Marino Miculan
    In Proc. Third International Workshop on Logical Frameworks and Meta-Languages (LFM’02) 2002

2001

  1. π-calculus in (Co)Inductive Type Theory
    Furio Honsell, Marino Miculan, and Ivan Scagnetto
    Theoretical Computer Science 2001
  2. The Theory of Contexts for First-Order and Higher-Order Abstract Syntax
    Furio Honsell, Marino Miculan, and Ivan Scagnetto
    In Proc. TOSCA’01 2001
  3. On the formalization of the modal µ-calculus in the Calculus of Inductive Constructions
    Marino Miculan
    Information and Computation 2001
  4. An axiomatic approach to metareasoning on systems in higher-order abstract syntax
    Furio Honsell, Marino Miculan, and Ivan Scagnetto
    In Proc. ICALP’01 2001
  5. Developing (Meta)Theory of Lambda-calculus in the Theory of Contexts
    Marino Miculan
    In Proc. MERLIN 2001 2001
  6. Proceedings of TOSCA 2001 - Theory of Concurrency, Higher Order Languages and Types
    Marina Lenisa, and Marino Miculan
    2001
  7. Proceedings of FOSSACS 2001
    Furio Honsell, and Marino Miculan
    2001

1999

  1. Formalizing a lazy substitution proof system for µ-calculus in the Calculus of Inductive Constructions
    Marino Miculan
    In Proc. ICALP’99 1999

1998

  1. Encoding Modal Logics in Logical Frameworks
    Arnon Avron, Furio Honsell, Marino Miculan, and Cristian Paravano
    Studia Logica 1998
  2. A Natural Deduction style proof system for propositional µ-calculus and its formalization in inductive type theories
    Marino Miculan
    In Proc. ICTCS’98 1998

1997

  1. Encoding Logical Theories of Programs
    Marino Miculan
    1997

1995

  1. Modal µ-Types for Processes
    Marino Miculan, and Fabio Gadducci
    In Proc. 10th LICS 1995
  2. A Natural Deduction Approach to Dynamic Logics
    Furio Honsell, and Marino Miculan
    In Proc. TYPES’95 1995

1994

  1. The Expressive Power of Structural Operational Semantics with Explicit Assumptions
    Marino Miculan
    In Types for Proofs and Programs, International Workshop TYPES’93, Nijmegen, The Netherlands, May 24-28, 1993, Selected Papers 1994