Marcello M. Bonsangue

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 34

Top Venues

Sci. Comput. Program.

CoRR

ICFEM

TASE

Publications

Jingyi Mei, Marcello M. Bonsangue, Alfons Laarman
Simulating Quantum Circuits by Model Counting. CoRR (2024)
Jingyi Mei, Marcello M. Bonsangue, Alfons Laarman
Simulating Quantum Circuits by Model Counting. CAV (3) (2024)
Jingyi Mei, Tim Coopmans, Marcello M. Bonsangue, Alfons Laarman
Equivalence Checking of Quantum Circuits by Model Counting. IJCAR (2) (2024)
Hui Feng, Marcello M. Bonsangue
Concurrent NetKAT with Ports. SAC (2024)
Giulio Barbero, Marcello M. Bonsangue, Felienne F. J. Hermans
How to Evaluate Games in Education: A Literature Review. CoRR (2024)
Wenjing Chu, Shuo Chen, Marcello M. Bonsangue, Zenglin Shi
Approximately Learning Quantum Automata. TASE (2023)
Shima Javanmardi, Mehrdad Jahanbanifard, Marcello M. Bonsangue, Fons J. Verbeek
Using a Novel Capsule Network For an Innovative Approach to Image Captioning. SDU@AAAI (2023)
Marcello M. Bonsangue, Georgiana Caltais, Hui Feng, Hünkar Can Tunç
A Language-Based Causal Model for Safety. TASE (2022)
Xueqin Chen, Fan Zhou, Goce Trajcevski, Marcello M. Bonsangue
Multi-view learning with distinguishable feature fusion for rumor detection. Knowl. Based Syst. 240 (2022)
Xueqin Chen, Fengli Zhang, Fan Zhou, Marcello M. Bonsangue
Multi-scale graph capsule with influence attention for information cascades prediction. Int. J. Intell. Syst. 37 (3) (2022)
Wenjing Chu, Shuo Chen, Marcello M. Bonsangue
Non-linear Optimization Methods for Learning Regular Distributions. ICFEM (2022)
Hui Feng, Marcello M. Bonsangue, Benjamin Lion
From symbolic constraint automata to Promela. J. Log. Algebraic Methods Program. 128 (2022)
Shima Javanmardi, Ali Mohammad Latif, Mohammad Taghi Sadeghi, Mehrdad Jahanbanifard, Marcello M. Bonsangue, Fons J. Verbeek
Caps Captioning: A Modern Image Captioning Approach Based on Improved Capsule Network. Sensors 22 (21) (2022)
Wenjing Chu, Shuo Chen, Marcello M. Bonsangue
Learning Probabilistic Automata Using Residuals. ICTAC (2021)
Xueqin Chen, Fan Zhou, Fengli Zhang, Marcello M. Bonsangue
Modeling microscopic and macroscopic information diffusion for rumor detection. Int. J. Intell. Syst. 36 (10) (2021)
Frank S. de Boer, Marcello M. Bonsangue
Symbolic execution formally explained. Formal Aspects Comput. 33 (4-5) (2021)
Xueqin Chen, Fan Zhou, Fengli Zhang, Marcello M. Bonsangue
Catch me if you can: A participant-level rumor detection framework via fine-grained user representation learning. Inf. Process. Manag. 58 (5) (2021)
Chitsutha Soomlek, Jan N. van Rijn, Marcello M. Bonsangue
Automatic Human-Like Detection of Code Smells. DS (2021)
Shuangqing Xiang, Huibiao Zhu, Xi Wu, Lili Xiao, Marcello M. Bonsangue, Wanling Xie, Lei Zhang
Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra. Sci. Comput. Program. 187 (2020)
Wenjing Chu, Marcello M. Bonsangue
Learning Probabilistic Languages by k-Testable Machines. TASE (2020)
Nick Bezhanishvili, Marcello M. Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva
Minimisation in Logical Form. CoRR (2020)
Shuangqing Xiang, Marcello M. Bonsangue, Huibiao Zhu
PDNet: A Programming Language for Software-Defined Networks with VLAN. ICFEM (2019)
Cong Peng, Marcello M. Bonsangue, Zhongwei Xu
Model Checking Longitudinal Control in Vehicle Platoon Systems. IEEE Access 7 (2019)
Hui Feng, Farhad Arbab, Marcello M. Bonsangue
A Reo Model of Software Defined Networks. ICFEM (2019)
Frank S. de Boer, Marcello M. Bonsangue
On the Nature of Symbolic Execution. FM (2019)
Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Completeness and Incompleteness of Synchronous Kleene Algebra. MPC (2019)
Frank S. de Boer, Marcello M. Bonsangue
On the Nature of Symbolic Execution. SYNASC (2019)
Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Completeness and Incompleteness of Synchronous Kleene Algebra. CoRR (2019)
Marcello M. Bonsangue, Yuxin Deng
Preface for the special issue of the 10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016). Sci. Comput. Program. 162 (2018)
Jurriaan Rot, Filippo Bonchi, Marcello M. Bonsangue, Damien Pous, Jan Rutten, Alexandra Silva
Enhanced coalgebraic bisimulation. Math. Struct. Comput. Sci. 27 (7) (2017)
Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan Rutten, Alexandra Silva
A coalgebraic view on decorated traces. Math. Struct. Comput. Sci. 26 (7) (2016)
Jurriaan Rot, Marcello M. Bonsangue, Jan Rutten
Proving language inclusion and equivalence by coinduction. Inf. Comput. 246 (2016)
Julian Salamanca, Marcello M. Bonsangue, Jurriaan Rot
Duality of Equations and Coequations via Contravariant Adjunctions. CMCS (2016)
Jurriaan Rot, Marcello M. Bonsangue
Structural congruence for bialgebraic semantics. J. Log. Algebraic Methods Program. 85 (6) (2016)
Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot
Model checking recursive programs interacting via the heap. Sci. Comput. Program. 100 (2015)
Julian Salamanca, Adolfo Ballester-Bolinches, Marcello M. Bonsangue, Enric Cosme-Llópez, Jan J. M. M. Rutten
Regular Varieties of Automata and Coequations. MPC (2015)
Marcello M. Bonsangue
Preface. Theor. Comput. Sci. 604 (2015)
Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten
Context-free coalgebras. J. Comput. Syst. Sci. 81 (5) (2015)
Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot
Presenting Distributive Laws. Log. Methods Comput. Sci. 11 (3) (2015)
Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot
It is pointless to point in bounded heaps. Sci. Comput. Program. 112 (2015)
Julian Salamanca, Marcello M. Bonsangue, Jan J. M. M. Rutten
Equations and Coequations for Weighted Automata. MFCS (1) (2015)
Henning Basold, Marcello M. Bonsangue, Helle Hvid Hansen, Jan Rutten
(Co)Algebraic Characterizations of Signal Flow Graphs. Horizons of the Mind (2014)
Behrooz Nobakht, Frank S. de Boer, Marcello M. Bonsangue, Stijn de Gouw, Mohammad Mahdi Jaghoori
Monitoring method call sequences using annotations. Sci. Comput. Program. 94 (2014)
Marcello M. Bonsangue, Jurriaan Rot, Davide Ancona, Frank S. de Boer, Jan J. M. M. Rutten
A Coalgebraic Foundation for Coinductive Union Types. ICALP (2) (2014)
Filippo Bonchi, Marcello M. Bonsangue, Helle Hvid Hansen, Prakash Panangaden, Jan J. M. M. Rutten, Alexandra Silva
Algebra-coalgebra duality in Brzozowski's minimization algorithm. ACM Trans. Comput. Log. 15 (1) (2014)
R. van den Broek, Marcello M. Bonsangue, M. Chaudron, H. van Merode
Integrating Testing into Agile Software Development Processes. MODELSWARD (2014)
Jurriaan Rot, Marcello M. Bonsangue
Combining Bialgebraic Semantics and Equations. FoSSaCS (2014)
Marie Fortin, Marcello M. Bonsangue, Jan Rutten
Coalgebraic Semantics of Heavy-Weighted Automata. WADT (2014)
Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten
Coinductive Proof Techniques for Language Equivalence. LATA (2013)
Jurriaan Rot, Frank S. de Boer, Marcello M. Bonsangue
Unbounded Allocation in Bounded Heaps. FSEN (2013)
Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva
Automatic equivalence proofs for non-deterministic coalgebras. Sci. Comput. Program. 78 (9) (2013)
Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten
Coalgebraic Bisimulation-Up-To. SOFSEM (2013)
Marcello M. Bonsangue, Stefan Milius, Alexandra Silva
Sound and Complete Axiomatizations of Coalgebraic Language Equivalence. ACM Trans. Comput. Log. 14 (1) (2013)
Stefan Milius, Marcello M. Bonsangue, Robert S. R. Myers, Jurriaan Rot
Rational Operational Models. MFPS (2013)
Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten
Coalgebraic Characterizations of Context-Free Languages. Log. Methods Comput. Sci. 9 (3) (2013)
Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva
Automatic Equivalence Proofs for Non-deterministic Coalgebras CoRR (2013)
Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot
Presenting Distributive Laws. CALCO (2013)
Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten
Generalizing determinization from automata to coalgebras Log. Methods Comput. Sci. 9 (1) (2013)
Marcello M. Bonsangue, Dave Clarke, Alexandra Silva
A model of context-dependent component connectors. Sci. Comput. Program. 77 (6) (2012)
Filippo Bonchi, Marcello M. Bonsangue, Michele Boreale, Jan J. M. M. Rutten, Alexandra Silva
A coalgebraic perspective on linear weighted automata. Inf. Comput. 211 (2012)
Jurriaan Rot, Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu
Interacting via the Heap in the Presence of Recursion ICE (2012)
Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva
Brzozowski's Algorithm (Co)Algebraically. Logic and Program Semantics (2012)
Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan J. M. M. Rutten, Alexandra Silva
Final Semantics for Decorated Traces. MFPS (2012)
Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot
Automated Verification of Recursive Programs with Pointers. IJCAR (2012)
Marcello M. Bonsangue, Jan J. M. M. Rutten, Joost Winter
Defining Context-Free Power Series Coalgebraically. CMCS (2012)
Marcello M. Bonsangue, Stefan Milius, Jurriaan Rot
On the specification of operations on the rational behaviour of systems EXPRESS/SOS (2012)
Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot
Bounded Model Checking of Recursive Programs with Pointers in K. WADT (2012)
Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten
Quantitative Kleene coalgebras. Inf. Comput. 209 (5) (2011)
Marcello M. Bonsangue, Stefan Milius, Alexandra Silva
Sound and complete axiomatizations of coalgebraic language equivalence CoRR (2011)
Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke
Büchi automata for modeling component connectors. Softw. Syst. Model. 10 (2) (2011)
Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten
Context-Free Languages, Coalgebraically. CALCO (2011)
Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten
Non-Deterministic Kleene Coalgebras Log. Methods Comput. Sci. 6 (3) (2010)
Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, Marcello M. Bonsangue
Decomposition of Constraint Automata. FACS (2010)
Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten
Generalizing the powerset construction, coalgebraically. FSTTCS (2010)
Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva
A Decision Procedure for Bisimilarity of Generalized Regular Expressions. SBMF (2010)
Behrooz Nobakht, Marcello M. Bonsangue, Frank S. de Boer, Stijn de Gouw
Monitoring Method Call Sequences Using Annotations. FACS (2010)
Marcello M. Bonsangue, Einar Broch Johnsen, Amy L. Murphy, Jan Vitek
Preface. Theor. Comput. Sci. 410 (2-3) (2009)
Frank S. de Boer, Marcello M. Bonsangue, Andreas Grüner, Martin Steffen
Java Test Driver Generation from Object-Oriented Interaction Traces. Electron. Notes Theor. Comput. Sci. 243 (2009)
Marcello M. Bonsangue, Mohammad Izadi
Automata Based Model Checking for Reo Connectors. FSEN (2009)
Marcello M. Bonsangue, Dave Clarke, Alexandra Silva
Automata for Context-Dependent Connectors. COORDINATION (2009)
Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva
An Algebra for Kripke Polynomial Coalgebras. LICS (2009)
Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva
Deriving Syntax and Axioms for Quantitative Regular Behaviours. CONCUR (2009)
Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva
A Kleene Theorem for Polynomial Coalgebras. FoSSaCS (2009)
Mohammad Izadi, Marcello M. Bonsangue
Recasting Constraint Automata into Büchi Automata. ICTAC (2008)
Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva
Coalgebraic Logic and Synthesis of Mealy Machines. FoSSaCS (2008)
Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke
Modeling Component Connectors: Synchronisation and Context-Dependency. SEFM (2008)
Marcello M. Bonsangue, Alexander Kurz
Pi-Calculus in Logical Form. LICS (2007)
Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Marc M. Lankhorst, Erik Proper, Leendert W. N. van der Torre
Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 2 (1) (2007)
Marcello M. Bonsangue, Alexander Kurz
Presenting Functors by Operations and Equations. FoSSaCS (2006)
Frank S. de Boer, Marcello M. Bonsangue
Preface. Theor. Comput. Sci. 365 (1-2) (2006)
Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets. Electron. Notes Theor. Comput. Sci. 154 (1) (2006)
Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
A Component Coordination Model Based on Mobile Channels. Fundam. Informaticae 73 (4) (2006)
Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre
Enterprise Architecture Analysis with XML. HICSS (2005)
Frank S. de Boer, Marcello M. Bonsangue
Preface. Sci. Comput. Program. 55 (1-3) (2005)
Frank S. de Boer, Marcello M. Bonsangue
Preface. Theor. Comput. Sci. 343 (3) (2005)
Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
MoCha-pi, an exogenous coordination calculus based on mobile channels. SAC (2005)
Marcello M. Bonsangue, Alexander Kurz
Duality for Logics of Transition Systems. FoSSaCS (2005)
Frank S. de Boer, Marcello M. Bonsangue, Luuk Groenewegen, Andries Stam, S. Stevens, Leendert W. N. van der Torre
Change impact analysis of enterprise architectures. IRI (2005)
Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre
A Logical Viewpoint on Architectures. EDOC (2004)
Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen
Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. ICTAC (2004)

Marcello M. Bonsangue.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marcello M. Bonsangue