Marino Miculan

128 papers A* 3B 15C 10Misc 1Journal 45Unranked 50

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Automatic Verification of Security Properties in Containerized IoT Applications via Bigraphical Modeling. ITASEC/SERICS Cristian Coppo, Francesco Longo, Giovanni Merlino, Antonio Puliafito, Marino Miculan
2026	—	`conf`	SA-SOINN: A Self-Adaptive Neural Network for Continuous Intrusion Detection in Dynamic Environments. ITASEC/SERICS Dennis Glenn Ejeh, Gian Luca Foresti, Marino Miculan, Axel De Nardin
2025	C	`conf`	Attribute-Based Communication over Pub/Sub: Transactional Coordination for Smart Systems. FORTE Marco Comini, Luca Gemolotto, Marino Miculan
2025	—	`conf`	From Edge to Cloud: Securing Distributed Containerized Applications. EuroS&P (Workshops) Luca Verderame, Giorgia Bolognesi, Enrico Pezzano, Massimiliano Rak, Alberto Falcone, Giacomo Benedetti, Massimo Guarascio, Luca Caviglione, Roberto Carbone, Roberto Doriguzzi Corin, Maurizio Giacobbe, Giovanni Merlino, Antonio Puliafito, Massimiliano Baldo, Marino Miculan, Vincenzo Riccio, Massimo Ficco
2025	—	`conf`	OWSM: Empowering Rego for Stateful Access Control. ITASEC/SERICS Massimiliano Baldo, Fabio Ionut Ion, Marino Miculan, Matteo Paier, Vincenzo Riccio
2025	J	`jnl`	On The Axioms Of $\mathcal{M},\mathcal{N}$-Adhesive Categories. Log. Methods Comput. Sci. Davide Castelnovo, Marino Miculan
2025	—	`conf`	Real-Time Anomaly Detection in Docker Containers: A Continuous Learning Approach Using SF-SOINN. ITASEC/SERICS Dennis Glenn Ejeh, Gian Luca Foresti, Marino Miculan, Axel De Nardin
2024	C	`conf`	A Formal Analysis of CIE Level 2 Multi-Factor Authentication via SMS OTP. SECRYPT Roberto van Eeden, Matteo Paier, Marino Miculan
2024	J	`jnl`	A simple criterion for M,N-adhesivity. Theor. Comput. Sci. Davide Castelnovo, Fabio Gadducci, Marino Miculan
2024	J	`jnl`	Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems. Theor. Comput. Sci. Michele Pasqua, Marino Miculan
2024	—	`conf`	ECC's Achilles' Heel: Unveiling Weak Keys in Standardized Curves. ITASEC Enrico Talotti, Matteo Paier, Marino Miculan
2024	J	`jnl`	ECC's Achilles' Heel: Unveiling Weak Keys in Standardized Curves. IACR Cryptol. ePrint Arch. Enrico Talotti, Matteo Paier, Marino Miculan
2024	B	`conf`	Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards. SEFM Matteo Paier, Roberto van Eeden, Marino Miculan
2024	—	`conf`	Local Reasoning and Attribute-Based Memory Updates for Enforcing Global Invariants in Collective Adaptive Systems. ISoLA (2) Michele Pasqua, Marino Miculan
2024	—	`conf`	Netstaldi: A Modular Distributed Architecture for Incremental Network Discovery. ITASEC Matteo Paier, Mattia Pizzolitto, Gian Luca Foresti, Marino Miculan
2024	J	`jnl`	On The Axioms Of M, N-Adhesive Categories. CoRR Davide Castelnovo, Marino Miculan
2023	J	`jnl`	AbU: A calculus for distributed event-driven programming with attribute-based interaction. Theor. Comput. Sci. Michele Pasqua, Marino Miculan
2023	—	`conf`	Assembling Coherent Network Topologies Using Round-Trip Graphs (short paper). ICTCS Marino Miculan, Matteo Paier
2023	J	`jnl`	Automated verification of Telegram's MTProto 2.0 in the symbolic model. Comput. Secur. Marino Miculan, Nicola Vitacolonna
2023	J	`jnl`	Composable partial multiparty session types for open systems. Softw. Syst. Model. Claude Stolze, Marino Miculan, Pietro Di Gianantonio
2023	—	`conf`	DBCChecker: a Bigraph-based Tool for Checking Security Properties of Container Compositions. ITASEC Andrea Altarui, Marino Miculan, Matteo Paier
2023	C	`conf`	Modeling Carne PRI supply chain with the *-Chain Platform. DLT Stefano Bistarelli, Francesco Faloci, Paolo Mori, Carlo Taticchi, Marino Miculan
2023	—	`conf`	Pairing an Autoencoder and a SF-SOINN for Implementing an Intrusion Detection System. Ital-IA Gabriele Voltan, Gian Luca Foresti, Marino Miculan
2022	—	`conf`	A Calculus for Subjective Communication. ICTCS Marino Miculan, Matteo Paier
2022	B	`conf`	A new criterion for FoSSaCS Davide Castelnovo, Fabio Gadducci, Marino Miculan
2022	J	`jnl`	A new criterion for M, N-adhesivity, with an application to hierarchical graphs. CoRR Davide Castelnovo, Fabio Gadducci, Marino Miculan
2022	J	`jnl`	Computing (optimal) embeddings of directed bigraphs. Sci. Comput. Program. Alessio Chiapperini, Marino Miculan, Marco Peressotti
2022	—	`conf`	Distributed Programming of Smart Systems with Event-Condition-Action Rules. ICTCS Michele Pasqua, Marino Miculan
2022	B	`conf`	Fuzzy Algebraic Theories. CSL Davide Castelnovo, Marino Miculan
2022	J	`jnl`	The AbU Language: IoT Distributed Programming Made Easy. IEEE Access Michele Pasqua, Massimo Comuzzo, Marino Miculan
2021	C	`conf`	A Calculus for Attribute-Based Memory Updates. ICTAC Marino Miculan, Michele Pasqua
2021	—	`conf`	A Time-series Classification Approach to Shallow Web Traffic De-anonymization. ITASEC Axel De Nardin, Marino Miculan, Claudio Piciarelli, Gian Luca Foresti
2021	C	`conf`	Automated Symbolic Verification of Telegram's MTProto 2.0. SECRYPT Marino Miculan, Nicola Vitacolonna
2021	B	`conf`	Closure Hyperdoctrines. CALCO Davide Castelnovo, Marino Miculan
2021	—	`conf`	Composable Partial Multiparty Session Types. FACS Claude Stolze, Marino Miculan, Pietro Di Gianantonio
2021	J	`jnl`	Fuzzy Algebraic Theories. CoRR Davide Castelnovo, Marino Miculan
2021	B	`conf`	On the Security and Safety of AbU Systems. SEFM Michele Pasqua, Marino Miculan
2020	J	`jnl`	A CSP implementation of the directed bigraph embedding problem. CoRR Alessio Chiapperini, Marino Miculan, Marco Peressotti
2020	J	`jnl`	Automated Symbolic Verification of Telegram's MTProto 2.0. CoRR Marino Miculan, Nicola Vitacolonna
2020	J	`jnl`	Closure hyperdoctrines, with paths. CoRR Davide Castelnovo, Marino Miculan
2020	B	`conf`	Computing Embeddings of Directed Bigraphs. ICGT Alessio Chiapperini, Marino Miculan, Marco Peressotti
2020	—	`conf`	Securing the Art Market with Distributed Public Ledgers. DLT@ITASEC Marino Miculan, Daniel Tosone
2020	—	`conf`	Software Transactional Memory with Interactions. ICTCS Marino Miculan, Marco Peressotti
2020	J	`jnl`	Software Transactional Memory with Interactions. CoRR Marino Miculan, Marco Peressotti
2020	Misc	`conf`	Towards a formal model for composable container systems. SAC Fabio Burco, Marino Miculan, Marco Peressotti
2019	—	`conf`	An Abstract Distributed Middleware for Transactions over Heterogeneous Stores. ICTCS Luca Geatti, Federico Igne, Marino Miculan
2019	J	`jnl`	Constructive logical characterizations of bisimilarity for reactive probabilistic systems. Theor. Comput. Sci. Marco Bernardo, Marino Miculan
2019	—	`conf`	Towards User Recognition by Shallow Web Traffic Inspection. ITASEC Marino Miculan, Gian Luca Foresti, Claudio Piciarelli
2019	J	`jnl`	Towards a Formal Model for Composable Container Systems. CoRR Fabio Burco, Marino Miculan, Marco Peressotti
2018	—	`conf`	Deciding Hedged Bisimilarity. ICTCS Alessio Mansutti, Marino Miculan
2018	J	`jnl`	Guest editors' foreword. J. Log. Algebraic Methods Program. Thomas T. Hildebrandt, Marino Miculan
2017	—	`conf`	Deciding Weak Weighted Bisimulation. ICTCS/CILC Marino Miculan, Marco Peressotti
2017	—	`conf`	Loose Graph Simulations. STAF Workshops Alessio Mansutti, Marino Miculan, Marco Peressotti
2017	J	`jnl`	Loose Graph Simulations. CoRR Alessio Mansutti, Marino Miculan, Marco Peressotti
2017	J	`jnl`	Reductions for Transition Systems at Work: Deriving a Logical Characterization of Quantitative Bisimulation. CoRR Marino Miculan, Marco Peressotti
2016	J	`jnl`	A Specification of Open Transactional Memory for Haskell. CoRR Marino Miculan, Marco Peressotti
2016	J	`jnl`	Deciding Hedged Bisimilarity. CoRR Alessio Mansutti, Marino Miculan
2016	—	`conf`	Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems. ICTCS Marco Bernardo, Marino Miculan
2016	J	`jnl`	Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems. CoRR Marco Bernardo, Marino Miculan
2016	—	`conf`	On the Bisimulation Hierarchy of State-to-Function Transition Systems. ICTCS Marino Miculan, Marco Peressotti
2016	J	`jnl`	Structural operational semantics for non-deterministic processes with quantitative aspects. Theor. Comput. Sci. Marino Miculan, Marco Peressotti
2015	J	`jnl`	Behavioural equivalences for coalgebras with unobservable moves. J. Log. Algebraic Methods Program. Tomasz Brengos, Marino Miculan, Marco Peressotti
2015	J	`jnl`	Distributed execution of bigraphical reactive systems. CoRR Alessio Mansutti, Marino Miculan, Marco Peressotti
2015	C	`conf`	Open Transactions on Shared Memory. COORDINATION Marino Miculan, Marco Peressotti, Andrea Toneguzzo
2015	J	`jnl`	Open Transactions on Shared Memory. CoRR Marino Miculan, Marco Peressotti, Andrea Toneguzzo
2015	J	`jnl`	Structural operational semantics for continuous state stochastic transition systems. J. Comput. Syst. Sci. Giorgio Bacci, Marino Miculan
2014	J	`jnl`	A CSP implementation of the bigraph embedding problem. CoRR Marino Miculan, Marco Peressotti
2014	—	`conf`	A Model of Countable Nondeterminism in Guarded Type Theory. RTA-TLCA Ales Bizjak, Lars Birkedal, Marino Miculan
2014	J	`jnl`	Behavioural equivalences for coalgebras with unobservable moves. CoRR Tomasz Brengos, Marino Miculan, Marco Peressotti
2014	J	`jnl`	Distributed execution of bigraphical reactive systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Alessio Mansutti, Marino Miculan, Marco Peressotti
2014	—	`conf`	Finding a Forest in a Tree - The Matching Problem for Wide Reactive Systems. TGC Giorgio Bacci, Marino Miculan, Romeo Rizzi
2014	—	`conf`	GSOS for non-deterministic processes with quantitative aspects. QAPL Marino Miculan, Marco Peressotti
2014	C	`conf`	Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems. DAIS Alessio Mansutti, Marino Miculan, Marco Peressotti
2014	J	`jnl`	Structural operational semantics for non-deterministic processes with quantitative aspects. CoRR Marino Miculan, Marco Peressotti
2013	J	`jnl`	Weak bisimulations for labelled transition systems weighted over semirings. CoRR Marino Miculan, Marco Peressotti
2012	—	`conf`	Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine MeCBIC Marino Miculan, Ilaria Sambarino
2012	J	`jnl`	Measurable stochastics for Brane Calculus. Theor. Comput. Sci. Giorgio Bacci, Marino Miculan
2012	—	`conf`	Structural Operational Semantics for Continuous State Probabilistic Processes. CMCS Giorgio Bacci, Marino Miculan
2012	B	`conf`	Synthesis of Distributed Mobile Programs Using Monadic Types in Coq. ITP Marino Miculan, Marco Paviotti
2011	C	`conf`	Unobservable Intrusion Detection based on Call Traces in Paravirtualized Systems. SECRYPT Carlo Maiero, Marino Miculan
2010	J	`jnl`	Graph Algebras for Bigraphs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Davide Grohmann, Marino Miculan
2010	—	`conf`	Measurable Stochastics for Brane Calculus MeCBIC Giorgio Bacci, Marino Miculan
2010	—	`ed.`	Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2010, Edinburgh, UK, 14th July 2010. LFMTP Karl Crary, Marino Miculan
2009	—	`conf`	A framework for protein and membrane interactions MeCBIC Giorgio Bacci, Davide Grohmann, Marino Miculan
2009	—	`conf`	Bigraphical models for protein and membrane interactions MeCBIC Giorgio Bacci, Davide Grohmann, Marino Miculan
2009	B	`conf`	DBtk: A Toolkit for Directed Bigraphs. CALCO Giorgio Bacci, Davide Grohmann, Marino Miculan
2009	J	`jnl`	Deriving Barbed Bisimulations for Bigraphical Reactive Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Davide Grohmann, Marino Miculan
2008	B	`conf`	A Categorical Model of the Fusion Calculus. MFPS Marino Miculan
2008	J	`jnl`	Controlling resource access in Directed Bigraphs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Davide Grohmann, Marino Miculan
2008	C	`conf`	Implementing Spi Calculus Using Nominal Techniques. CiE Temesghen Kahsai, Marino Miculan
2008	—	`conf`	PicNIc - Pi-calculus non-interference checker. ACSD Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi
2008	—	`ed.`	Types for Proofs and Programs, International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers TYPES Marino Miculan, Ivan Scagnetto, Furio Honsell
2007	—	`conf`	An Algebra for Directed Bigraphs. TERMGRAPH@ETAPS Davide Grohmann, Marino Miculan
2007	B	`conf`	Directed Bigraphs. MFPS Davide Grohmann, Marino Miculan
2007	B	`conf`	Reactive Systems over Directed Bigraphs. CONCUR Davide Grohmann, Marino Miculan
2007	J	`jnl`	Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts. J. Autom. Reason. Alberto Ciaffaglione, Luigi Liquori, Marino Miculan
2007	—	`conf`	Undecidability of Model Checking in Brane Logic. DCM@ICALP Giorgio Bacci, Marino Miculan
2006	J	`jnl`	About permutation algebras, (pre)sheaves and named sets. High. Order Symb. Comput. Fabio Gadducci, Marino Miculan, Ugo Montanari
2006	J	`jnl`	Consistency of the theory of contexts. J. Funct. Program. Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hofmann
2006	—	`conf`	Modal Logics for Brane Calculus. CMSB Marino Miculan, Giorgio Bacci
2005	B	`conf`	A Unifying Model of Variables and Names. FoSSaCS Marino Miculan, Kidane Yemane
2005	—	`conf`	Translating specifications from nominal logic to CIC with the theory of contexts. MERLIN Marino Miculan, Ivan Scagnetto, Furio Honsell
2004	—	`conf`	Modeling Fresh Names in the π-calculus Using Abstractions. CMCS Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan
2004	—	`ed.`	Proceedings of the Workshop of the COMETA Project on Computational Metamodels, COMETA 2003, Udine, Italy, December 15-17, 2003 COMETA Furio Honsell, Marina Lenisa, Marino Miculan
2004	B	`conf`	Unifying Recursive and Co-recursive Definitions in Sheaf Categories. FoSSaCS Pietro Di Gianantonio, Marino Miculan
2003	C	`conf`	A framework for typed HOAS and semantics. PPDP Marino Miculan, Ivan Scagnetto
2003	B	`conf`	Imperative Object-Based Calculi in Co-inductive Type Theories. LPAR Alberto Ciaffaglione, Luigi Liquori, Marino Miculan
2003	—	`conf`	Preface. COMETA Furio Honsell, Marina Lenisa, Marino Miculan
2003	—	`conf`	Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. MERLIN Alberto Ciaffaglione, Luigi Liquori, Marino Miculan
2003	—	`conf`	Some Characterization Results for Permutation Algebras. COMETA Fabio Gadducci, Marino Miculan, Ugo Montanari
2002	—	`conf`	A Unifying Approach to Recursive and Co-recursive Definitions. TYPES Pietro Di Gianantonio, Marino Miculan
2002	—	`conf`	Ambient Calculus and its Logic in the Calculus of Inductive Constructions. LFM Ivan Scagnetto, Marino Miculan
2002	—	`ed.`	Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001 TOSCA Marina Lenisa, Marino Miculan
2001	A*	`conf`	An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS. ICALP Furio Honsell, Marino Miculan, Ivan Scagnetto
2001	—	`conf`	Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic. TOSCA Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan
2001	—	`conf`	Developing (Meta)Theory of Lambda-calculus in the Theory of Context. MERLIN Marino Miculan
2001	B	`ed.`	Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings FoSSaCS Furio Honsell, Marino Miculan
2001	J	`jnl`	On the Formalization of the Modal µ-Calculus in the Calculus of Inductive Constructions. Inf. Comput. Marino Miculan
2001	—	`conf`	Preface. TOSCA Marina Lenisa, Marino Miculan
2001	—	`conf`	The Theory of Contexts for First Order and Higher Order Abstract Syntax. TOSCA Furio Honsell, Marino Miculan, Ivan Scagnetto
2001	J	`jnl`	pi-calculus in (Co)inductive-type theory. Theor. Comput. Sci. Furio Honsell, Marino Miculan, Ivan Scagnetto
1999	A*	`conf`	Formalizing a Lazy Substitution Proof System for µ-calculus in the Calculus of Inductive Constructions. ICALP Marino Miculan
1999	—	`conf`	The Journal of High Energy Physics: Scientific Publishing on the Web. WebNet Simona Cerrato, Fabio A. Asnicar, Paolo Dall'Aglio, Amanda de Felice, Massimo Di Fant, Marco Mizzaro, Fabrizio Nesti, Maria Candusso, Marino Miculan
1998	J	`jnl`	A Natural Deduction style proof system for propositional μ-calculus and its formalization in inductive type theories CoRR Marino Miculan
1998	J	`jnl`	Encoding Modal Logics in Logical Frameworks. Stud Logica Arnon Avron, Furio Honsell, Marino Miculan, Cristian Paravano
1995	—	`conf`	A Natural Deduction Approach to Dynamic Logic. TYPES Furio Honsell, Marino Miculan
1995	A*	`conf`	Modal mu-Types for Processes LICS Marino Miculan, Fabio Gadducci
1993	—	`conf`	The Expressive Power of Structural Operational Semantics with Explicit Assumptions. TYPES Marino Miculan