Marcello M. Bonsangue

159 papers A* 2A 1B 24C 13Misc 9Journal 52Unranked 36

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Exploring Open-world Continual Learning with Knowns-Unknowns Knowledge Transfer. CoRR Yujie Li, Guannan Lai, Xin Yang, Yonghao Li, Marcello M. Bonsangue, Tianrui Li
2025	—	`conf`	Improving Open-world Continual Learning under the Constraints of Scarce Labeled Data. KDD (2) Yujie Li, Xiangkun Wang, Xin Yang, Marcello M. Bonsangue, Junbo Zhang, Tianrui Li
2025	J	`jnl`	Improving Open-world Continual Learning under the Constraints of Scarce Labeled Data. CoRR Yujie Li, Xiangkun Wang, Xin Yang, Marcello M. Bonsangue, Junbo Zhang, Tianrui Li
2025	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2024 - 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings ICTAC Chutiporn Anutariya, Marcello M. Bonsangue
2024	Misc	`conf`	Concurrent NetKAT with Ports. SAC Hui Feng, Marcello M. Bonsangue
2024	—	`conf`	Equivalence Checking of Quantum Circuits by Model Counting. IJCAR (2) Jingyi Mei, Tim Coopmans, Marcello M. Bonsangue, Alfons Laarman
2024	J	`jnl`	How to Evaluate Games in Education: A Literature Review. CoRR Giulio Barbero, Marcello M. Bonsangue, Felienne F. J. Hermans
2024	—	`conf`	Simulating Quantum Circuits by Model Counting. CAV (3) Jingyi Mei, Marcello M. Bonsangue, Alfons Laarman
2024	J	`jnl`	Simulating Quantum Circuits by Model Counting. CoRR Jingyi Mei, Marcello M. Bonsangue, Alfons Laarman
2023	Misc	`conf`	Approximately Learning Quantum Automata. TASE Wenjing Chu, Shuo Chen, Marcello M. Bonsangue, Zenglin Shi
2023	—	`conf`	Using a Novel Capsule Network For an Innovative Approach to Image Captioning. SDU@AAAI Shima Javanmardi, Mehrdad Jahanbanifard, Marcello M. Bonsangue, Fons J. Verbeek
2022	Misc	`conf`	A Language-Based Causal Model for Safety. TASE Marcello M. Bonsangue, Georgiana Caltais, Hui Feng, Hünkar Can Tunç
2022	J	`jnl`	Caps Captioning: A Modern Image Captioning Approach Based on Improved Capsule Network. Sensors Shima Javanmardi, Ali Mohammad Latif, Mohammad Taghi Sadeghi, Mehrdad Jahanbanifard, Marcello M. Bonsangue, Fons J. Verbeek
2022	J	`jnl`	From symbolic constraint automata to Promela. J. Log. Algebraic Methods Program. Hui Feng, Marcello M. Bonsangue, Benjamin Lion
2022	J	`jnl`	Multi-scale graph capsule with influence attention for information cascades prediction. Int. J. Intell. Syst. Xueqin Chen, Fengli Zhang, Fan Zhou, Marcello M. Bonsangue
2022	J	`jnl`	Multi-view learning with distinguishable feature fusion for rumor detection. Knowl. Based Syst. Xueqin Chen, Fan Zhou, Goce Trajcevski, Marcello M. Bonsangue
2022	C	`conf`	Non-linear Optimization Methods for Learning Regular Distributions. ICFEM Wenjing Chu, Shuo Chen, Marcello M. Bonsangue
2021	B	`conf`	Automatic Human-Like Detection of Code Smells. DS Chitsutha Soomlek, Jan N. van Rijn, Marcello M. Bonsangue
2021	J	`jnl`	Catch me if you can: A participant-level rumor detection framework via fine-grained user representation learning. Inf. Process. Manag. Xueqin Chen, Fan Zhou, Fengli Zhang, Marcello M. Bonsangue
2021	C	`conf`	Learning Probabilistic Automata Using Residuals. ICTAC Wenjing Chu, Shuo Chen, Marcello M. Bonsangue
2021	J	`jnl`	Modeling microscopic and macroscopic information diffusion for rumor detection. Int. J. Intell. Syst. Xueqin Chen, Fan Zhou, Fengli Zhang, Marcello M. Bonsangue
2021	J	`jnl`	Symbolic execution formally explained. Formal Aspects Comput. Frank S. de Boer, Marcello M. Bonsangue
2020	Misc	`conf`	Learning Probabilistic Languages by k-Testable Machines. TASE Wenjing Chu, Marcello M. Bonsangue
2020	J	`jnl`	Minimisation in Logical Form. CoRR Nick Bezhanishvili, Marcello M. Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva
2020	J	`jnl`	Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra. Sci. Comput. Program. Shuangqing Xiang, Huibiao Zhu, Xi Wu, Lili Xiao, Marcello M. Bonsangue, Wanling Xie, Lei Zhang
2020	—	`ch.`	SymPaths: Symbolic Execution Meets Partial Order Reduction. 20 Years of KeY Frank S. de Boer, Marcello M. Bonsangue, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa, Lars Tveito
2019	C	`conf`	A Reo Model of Software Defined Networks. ICFEM Hui Feng, Farhad Arbab, Marcello M. Bonsangue
2019	B	`conf`	Completeness and Incompleteness of Synchronous Kleene Algebra. MPC Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2019	J	`jnl`	Completeness and Incompleteness of Synchronous Kleene Algebra. CoRR Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2019	J	`jnl`	Model Checking Longitudinal Control in Vehicle Platoon Systems. IEEE Access Cong Peng, Marcello M. Bonsangue, Zhongwei Xu
2019	B	`conf`	On the Nature of Symbolic Execution. FM Frank S. de Boer, Marcello M. Bonsangue
2019	Misc	`conf`	On the Nature of Symbolic Execution. SYNASC Frank S. de Boer, Marcello M. Bonsangue
2019	C	`conf`	PDNet: A Programming Language for Software-Defined Networks with VLAN. ICFEM Shuangqing Xiang, Marcello M. Bonsangue, Huibiao Zhu
2018	—	`ed.`	It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab It's All About Coordination Frank S. de Boer, Marcello M. Bonsangue, Jan Rutten
2018	J	`jnl`	Preface for the special issue of the 10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016). Sci. Comput. Program. Marcello M. Bonsangue, Yuxin Deng
2017	—	`ch.`	A Language for Enterprise Modelling. Enterprise Architecture at Work, 4th ed. Henk Jonkers, Luuk Groenewegen, Marcello M. Bonsangue, René van Buuren, Dick A. C. Quartel, Marc M. Lankhorst, Adina Aldea
2017	—	`ch.`	Architecture Analysis. Enterprise Architecture at Work, 4th ed. Maria-Eugenia Iacob, Henk Jonkers, Leon van der Torre, Frank S. de Boer, Marcello M. Bonsangue, Andries W. Stam, Marc M. Lankhorst, Dick A. C. Quartel, Adina Aldea
2017	J	`jnl`	Enhanced coalgebraic bisimulation. Math. Struct. Comput. Sci. Jurriaan Rot, Filippo Bonchi, Marcello M. Bonsangue, Damien Pous, Jan Rutten, Alexandra Silva
2017	—	`ch.`	Foundations. Enterprise Architecture at Work, 4th ed. Marc M. Lankhorst, Leon van der Torre, Henderik A. Proper, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
2016	J	`jnl`	A coalgebraic view on decorated traces. Math. Struct. Comput. Sci. Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan Rutten, Alexandra Silva
2016	—	`ch.`	Action Systems for Pharmacokinetic Modeling. From Action Systems to Distributed Systems Marcello M. Bonsangue, Michiel Helvensteijn, Joost N. Kok, Natallia Kokash
2016	—	`conf`	Duality of Equations and Coequations via Contravariant Adjunctions. CMCS Julian Salamanca, Marcello M. Bonsangue, Jurriaan Rot
2016	J	`jnl`	Proving language inclusion and equivalence by coinduction. Inf. Comput. Jurriaan Rot, Marcello M. Bonsangue, Jan Rutten
2016	J	`jnl`	Structural congruence for bialgebraic semantics. J. Log. Algebraic Methods Program. Jurriaan Rot, Marcello M. Bonsangue
2016	—	`ed.`	Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday Theory and Practice of Formal Methods Erika Ábrahám, Marcello M. Bonsangue, Einar Broch Johnsen
2015	J	`jnl`	Context-free coalgebras. J. Comput. Syst. Sci. Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten
2015	—	`conf`	Equations and Coequations for Weighted Automata. MFCS (1) Julian Salamanca, Marcello M. Bonsangue, Jan J. M. M. Rutten
2015	J	`jnl`	It is pointless to point in bounded heaps. Sci. Comput. Program. Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot
2015	J	`jnl`	Model checking recursive programs interacting via the heap. Sci. Comput. Program. Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot
2015	J	`jnl`	Preface. Theor. Comput. Sci. Marcello M. Bonsangue
2015	J	`jnl`	Presenting Distributive Laws. Log. Methods Comput. Sci. Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot
2015	B	`conf`	Regular Varieties of Automata and Coequations. MPC Julian Salamanca, Adolfo Ballester-Bolinches, Marcello M. Bonsangue, Enric Cosme-Llópez, Jan J. M. M. Rutten
2014	—	`conf`	(Co)Algebraic Characterizations of Signal Flow Graphs. Horizons of the Mind Henning Basold, Marcello M. Bonsangue, Helle Hvid Hansen, Jan Rutten
2014	—	`conf`	A Coalgebraic Foundation for Coinductive Union Types. ICALP (2) Marcello M. Bonsangue, Jurriaan Rot, Davide Ancona, Frank S. de Boer, Jan J. M. M. Rutten
2014	J	`jnl`	Algebra-coalgebra duality in Brzozowski's minimization algorithm. ACM Trans. Comput. Log. Filippo Bonchi, Marcello M. Bonsangue, Helle Hvid Hansen, Prakash Panangaden, Jan J. M. M. Rutten, Alexandra Silva
2014	—	`ed.`	Coalgebraic Methods in Computer Science - 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers CMCS Marcello M. Bonsangue
2014	—	`conf`	Coalgebraic Semantics of Heavy-Weighted Automata. WADT Marie Fortin, Marcello M. Bonsangue, Jan Rutten
2014	B	`conf`	Combining Bialgebraic Semantics and Equations. FoSSaCS Jurriaan Rot, Marcello M. Bonsangue
2014	C	`conf`	Integrating Testing into Agile Software Development Processes. MODELSWARD R. van den Broek, Marcello M. Bonsangue, M. Chaudron, H. van Merode
2014	J	`jnl`	Monitoring method call sequences using annotations. Sci. Comput. Program. Behrooz Nobakht, Frank S. de Boer, Marcello M. Bonsangue, Stijn de Gouw, Mohammad Mahdi Jaghoori
2013	J	`jnl`	Automatic Equivalence Proofs for Non-deterministic Coalgebras CoRR Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva
2013	J	`jnl`	Automatic equivalence proofs for non-deterministic coalgebras. Sci. Comput. Program. Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva
2013	B	`conf`	Coalgebraic Bisimulation-Up-To. SOFSEM Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten
2013	J	`jnl`	Coalgebraic Characterizations of Context-Free Languages. Log. Methods Comput. Sci. Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten
2013	C	`conf`	Coinductive Proof Techniques for Language Equivalence. LATA Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten
2013	—	`ed.`	Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures FMCO Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue
2013	—	`ed.`	Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers FMCO Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue
2013	J	`jnl`	Generalizing determinization from automata to coalgebras Log. Methods Comput. Sci. Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten
2013	B	`conf`	Presenting Distributive Laws. CALCO Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot
2013	B	`conf`	Rational Operational Models. MFPS Stefan Milius, Marcello M. Bonsangue, Robert S. R. Myers, Jurriaan Rot
2013	J	`jnl`	Sound and Complete Axiomatizations of Coalgebraic Language Equivalence. ACM Trans. Comput. Log. Marcello M. Bonsangue, Stefan Milius, Alexandra Silva
2013	—	`conf`	Unbounded Allocation in Bounded Heaps. FSEN Jurriaan Rot, Frank S. de Boer, Marcello M. Bonsangue
2012	J	`jnl`	A coalgebraic perspective on linear weighted automata. Inf. Comput. Filippo Bonchi, Marcello M. Bonsangue, Michele Boreale, Jan J. M. M. Rutten, Alexandra Silva
2012	J	`jnl`	A model of context-dependent component connectors. Sci. Comput. Program. Marcello M. Bonsangue, Dave Clarke, Alexandra Silva
2012	A	`conf`	Automated Verification of Recursive Programs with Pointers. IJCAR Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot
2012	—	`conf`	Bounded Model Checking of Recursive Programs with Pointers in K. WADT Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot
2012	—	`conf`	Brzozowski's Algorithm (Co)Algebraically. Logic and Program Semantics Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva
2012	—	`conf`	Defining Context-Free Power Series Coalgebraically. CMCS Marcello M. Bonsangue, Jan J. M. M. Rutten, Joost Winter
2012	B	`conf`	Final Semantics for Decorated Traces. MFPS Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan J. M. M. Rutten, Alexandra Silva
2012	—	`ed.`	Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers FMCO Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue
2012	—	`conf`	Interacting via the Heap in the Presence of Recursion ICE Jurriaan Rot, Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu
2012	—	`conf`	On the specification of operations on the rational behaviour of systems EXPRESS/SOS Marcello M. Bonsangue, Stefan Milius, Jurriaan Rot
2011	J	`jnl`	Büchi automata for modeling component connectors. Softw. Syst. Model. Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke
2011	B	`conf`	Context-Free Languages, Coalgebraically. CALCO Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten
2011	J	`jnl`	Quantitative Kleene coalgebras. Inf. Comput. Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten
2011	J	`jnl`	Sound and complete axiomatizations of coalgebraic language equivalence CoRR Marcello M. Bonsangue, Stefan Milius, Alexandra Silva
2010	—	`conf`	A Decision Procedure for Bisimilarity of Generalized Regular Expressions. SBMF Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva
2010	—	`conf`	Decomposition of Constraint Automata. FACS Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, Marcello M. Bonsangue
2010	—	`ed.`	Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers FMCO Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel
2010	—	`conf`	Generalizing the powerset construction, coalgebraically. FSTTCS Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten
2010	—	`conf`	Monitoring Method Call Sequences Using Annotations. FACS Behrooz Nobakht, Marcello M. Bonsangue, Frank S. de Boer, Stijn de Gouw
2010	J	`jnl`	Non-Deterministic Kleene Coalgebras Log. Methods Comput. Sci. Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten
2009	B	`conf`	A Kleene Theorem for Polynomial Coalgebras. FoSSaCS Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva
2009	A*	`conf`	An Algebra for Kripke Polynomial Coalgebras. LICS Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva
2009	—	`conf`	Automata Based Model Checking for Reo Connectors. FSEN Marcello M. Bonsangue, Mohammad Izadi
2009	C	`conf`	Automata for Context-Dependent Connectors. COORDINATION Marcello M. Bonsangue, Dave Clarke, Alexandra Silva
2009	B	`conf`	Deriving Syntax and Axioms for Quantitative Regular Behaviours. CONCUR Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva
2009	—	`ed.`	Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures FMCO Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine
2009	J	`jnl`	Preface. Theor. Comput. Sci. Marcello M. Bonsangue, Einar Broch Johnsen, Amy L. Murphy, Jan Vitek
2008	B	`conf`	Coalgebraic Logic and Synthesis of Mealy Machines. FoSSaCS Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva
2008	—	`ed.`	Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures FMCO Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever
2008	—	`conf`	Java Test Driver Generation from Object-Oriented Interaction Traces. TTSS Frank S. de Boer, Marcello M. Bonsangue, Andreas Grüner, Martin Steffen
2008	B	`conf`	Modeling Component Connectors: Synchronisation and Context-Dependency. SEFM Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke
2008	C	`conf`	Recasting Constraint Automata into Büchi Automata. ICTAC Mohammad Izadi, Marcello M. Bonsangue
2007	—	`ed.`	Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures FMCO Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever
2007	—	`ed.`	Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings FMOODS Marcello M. Bonsangue, Einar Broch Johnsen
2007	J	`jnl`	Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture. Enterp. Model. Inf. Syst. Archit. Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Marc M. Lankhorst, Erik Proper, Leendert W. N. van der Torre
2007	A*	`conf`	Pi-Calculus in Logical Form. LICS Marcello M. Bonsangue, Alexander Kurz
2006	J	`jnl`	A Component Coordination Model Based on Mobile Channels. Fundam. Informaticae Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
2006	—	`ed.`	Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures FMCO Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever
2006	J	`jnl`	Preface. Theor. Comput. Sci. Frank S. de Boer, Marcello M. Bonsangue
2006	B	`conf`	Presenting Functors by Operations and Equations. FoSSaCS Marcello M. Bonsangue, Alexander Kurz
2005	Misc	`conf`	Change impact analysis of enterprise architectures. IRI Frank S. de Boer, Marcello M. Bonsangue, Luuk Groenewegen, Andries Stam, S. Stevens, Leendert W. N. van der Torre
2005	B	`conf`	Duality for Logics of Transition Systems. FoSSaCS Marcello M. Bonsangue, Alexander Kurz
2005	—	`conf`	Enterprise Architecture Analysis with XML. HICSS Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre
2005	—	`ed.`	Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures FMCO Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever
2005	Misc	`conf`	MoCha-pi, an exogenous coordination calculus based on mobile channels. SAC Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
2005	—	`conf`	Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets. FOCLASA Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
2005	J	`jnl`	Preface. Sci. Comput. Program. Frank S. de Boer, Marcello M. Bonsangue
2005	J	`jnl`	Preface. Theor. Comput. Sci. Frank S. de Boer, Marcello M. Bonsangue
2004	—	`conf`	A Fully Abstract Semantics for UML Components. FMCO Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám
2004	B	`conf`	A Logical Viewpoint on Architectures. EDOC Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre
2004	J	`jnl`	Concepts For Modeling Enterprise Architectures. Int. J. Cooperative Inf. Syst. Henk Jonkers, Marc M. Lankhorst, René van Buuren, Stijn Hoppenbrouwers, Marcello M. Bonsangue, Leendert W. N. van der Torre
2004	—	`ed.`	Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures FMCO Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever
2004	C	`conf`	Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. ICTAC Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen
2004	—	`conf`	Observability, Connectivity, and Replay in a Sequential Calculus of Classes. FMCO Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Andreas Grüner, Martin Steffen
2004	—	`ed.`	Proceedings of the Workshop on the Compositional Verification of UML Models, CVUML 2003, San Francisco, CA, USA, October 21, 2003 CVUML Frank S. de Boer, Marcello M. Bonsangue
2004	—	`conf`	Using XML Transformations for Enterprise Architectures. ISoLA (Preliminary proceedings) Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Andries Stam, Leendert W. N. van der Torre
2004	C	`conf`	Using XML Transformations for Enterprise Architectures. ISoLA Andries Stam, Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Leendert W. N. van der Torre
2003	J	`jnl`	Comparing coordination models and architectures using embeddings. Sci. Comput. Program. Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro
2003	—	`ed.`	Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures FMCO Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever
2003	J	`jnl`	Infinite intersection types. Inf. Comput. Marcello M. Bonsangue, Joost N. Kok
2003	—	`conf`	Investigating the mapping of an Enterprise Description Language into UML 2.0. CVUML Martijn J. Wiering, Marcello M. Bonsangue, René van Buuren, Luuk Groenewegen, Henk Jonkers, Marc M. Lankhorst
2003	—	`conf`	Preface. CVUML Frank S. de Boer, Marcello M. Bonsangue
2003	B	`conf`	Towards a Language for Coherent Enterprise Architecture Descriptions. EDOC Henk Jonkers, René van Buuren, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Hans Bosma, Hugo W. L. ter Doest, Luuk Groenewegen, Juan Guillen Scholten, Stijn Hoppenbrouwers, Maria-Eugenia Iacob, Wil Janssen, Marc M. Lankhorst, Diederik van Leeuwen, Erik Proper, Andries Stam, Leendert W. N. van der Torre, Gert Veldhuijzen van Zanten
2002	—	`conf`	A Channel-based Coordination Model for Components. FOCLASA Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
2002	B	`conf`	MoCha: A Middleware Based on Mobile Channels. COMPSAC Farhad Arbab, Frank S. de Boer, Juan Guillen Scholten, Marcello M. Bonsangue
2002	—	`conf`	Mobile Channels, Implementation Within and Outside Components. Formal Methods and Component Interaction @ ICALP Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
2001	—	`conf`	Infinite Intersection and Union Types for the Lazy Lambda Calculus. TACS Marcello M. Bonsangue, Joost N. Kok
2000	B	`conf`	A Compositional Model for Confluent Dynamic Data-Flow Networks. MFCS Frank S. de Boer, Marcello M. Bonsangue
2000	—	`conf`	A Coordination Lanuage for Mobile Components. SAC (1) Farhad Arbab, Marcello M. Bonsangue, Frank S. de Boer
2000	C	`conf`	A Logical Interface Description Language for Components. COORDINATION Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
2000	J	`jnl`	A transition system semantics for the control-driven coordination language MANIFOLD. Theor. Comput. Sci. Marcello M. Bonsangue, Farhad Arbab, J. W. de Bakker, Jan J. M. M. Rutten, A. Secutella, Gianluigi Zavattaro
1999	Misc	`conf`	Comparing Coordination Models Based on Shared Distributed Replicated Data. SAC Marcello M. Bonsangue, Joost N. Kok
1999	C	`conf`	Comparing Software Architectures for Coordination Languages. COORDINATION Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro
1999	—	`conf`	Developing Object-based Distributed Systems. FMOODS Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere
1999	J	`jnl`	Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems. Inf. Comput. Marcello M. Bonsangue, Joost N. Kok
1998	Misc	`conf`	A software architecture for distributed control systems and its transition system semantics. SAC Marcello M. Bonsangue, Joost N. Kok, Maarten Boasson, Edwin D. de Jong
1998	B	`conf`	An Approach to Object-Orientation in Action Systems. MPC Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere
1998	J	`jnl`	Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding. Theor. Comput. Sci. Marcello M. Bonsangue, Franck van Breugel, Jan J. M. M. Rutten
1998	—	`book`	Topological Duality in Semantics. Marcello M. Bonsangue
1997	—	`conf`	Infinitary Domain Logic for Finitary Transition Systems. TACS Marcello M. Bonsangue, Joost N. Kok
1997	B	`conf`	Specifying Computations Using Hyper Transition Systems. MFCS Marcello M. Bonsangue, Joost N. Kok
1995	J	`jnl`	Duality Beyond Sober Spaces: Topological Spaces and Observation Frames. Theor. Comput. Sci. Marcello M. Bonsangue, Bart Jacobs, Joost N. Kok
1995	B	`conf`	Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency. CONCUR Marcello M. Bonsangue, Joost N. Kok, Erik P. de Vink
1994	—	`conf`	Relating Multifunctions and Predicate Transformers through Closure Operators. TACS Marcello M. Bonsangue, Joost N. Kok
1994	J	`jnl`	The Weakest Precondition Calculus: Recursion and Duality. Formal Aspects Comput. Marcello M. Bonsangue, Joost N. Kok
1993	B	`conf`	Isomorphisms between Predicates and State Transformers. MFCS Marcello M. Bonsangue, Joost N. Kok
1992	—	`conf`	Semantics, Orderings and Recursion in the Weakest Precondition Calculus. REX Workshop Marcello M. Bonsangue, Joost N. Kok