Marcello M. Bonsangue

Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten: Generalizing determinization from automata to coalgebras. Logical Methods in Computer Science 9(1) (2013)

Marcello M. Bonsangue, Stefan Milius, Alexandra Silva: Sound and Complete Axiomatizations of Coalgebraic Language Equivalence. ACM Trans. Comput. Log. 14(1): 7 (2013)

Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten: Coinductive Proof Techniques for Language Equivalence. LATA 2013: 480-492

Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten: Coalgebraic Bisimulation-Up-To. SOFSEM 2013: 369-381

Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue (Eds.): Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7542, Springer 2013, isbn 978-3-642-35886-9

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 abs/1303.1994 (2013)

Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan J. M. M. Rutten, Alexandra Silva: Final Semantics for Decorated Traces. Electr. Notes Theor. Comput. Sci. 286: 73-86 (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: 77-105 (2012)

Marcello M. Bonsangue, Dave Clarke, Alexandra Silva: A model of context-dependent component connectors. Sci. Comput. Program. 77(6): 685-706 (2012)

Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: Brzozowski's Algorithm (Co)Algebraically. Logic and Program Semantics 2012: 12-23

Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot: Automated Verification of Recursive Programs with Pointers. IJCAR 2012: 149-163

Marcello M. Bonsangue, Jan J. M. M. Rutten, Joost Winter: Defining Context-Free Power Series Coalgebraically. CMCS 2012: 20-39

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: 59-76

Marcello M. Bonsangue, Stefan Milius, Jurriaan Rot: On the specification of operations on the rational behaviour of systems. DCM 2012: 3-18

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: 99-113

Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (Eds.): Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. Lecture Notes in Computer Science 6957, Springer 2012, isbn 978-3-642-25270-9

Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten: Quantitative Kleene coalgebras. Inf. Comput. 209(5): 822-849 (2011)

Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke: Büchi automata for modeling component connectors. Software and System Modeling 10(2): 183-200 (2011)

Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten: Context-Free Languages, Coalgebraically. CALCO 2011: 359-376

Marcello M. Bonsangue, Stefan Milius, Alexandra Silva: Sound and complete axiomatizations of coalgebraic language equivalence. CoRR abs/1104.2803 (2011)

Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten: Non-Deterministic Kleene Coalgebras. Logical Methods in Computer Science 6(3) (2010)

Behrooz Nobakht, Marcello M. Bonsangue, Frank S. de Boer, Stijn de Gouw: Monitoring Method Call Sequences Using Annotations. FACS 2010: 53-70

Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, Marcello M. Bonsangue: Decomposition of Constraint Automata. FACS 2010: 237-258

Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten: Generalizing the powerset construction, coalgebraically. FSTTCS 2010: 272-283

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: 226-241

Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel (Eds.): Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers. Lecture Notes in Computer Science 6286, Springer 2010, isbn 978-3-642-17070-6

Frank S. de Boer, Marcello M. Bonsangue, Andreas Grüner, Martin Steffen: Java Test Driver Generation from Object-Oriented Interaction Traces. Electr. Notes Theor. Comput. Sci. 243: 33-47 (2009)

Marcello M. Bonsangue, Einar Broch Johnsen, Amy L. Murphy, Jan Vitek: Preface. Theor. Comput. Sci. 410(2-3): 113 (2009)

Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: Deriving Syntax and Axioms for Quantitative Regular Behaviours. CONCUR 2009: 146-162

Marcello M. Bonsangue, Dave Clarke, Alexandra Silva: Automata for Context-Dependent Connectors. COORDINATION 2009: 184-203

Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: A Kleene Theorem for Polynomial Coalgebras. FOSSACS 2009: 122-136

Marcello M. Bonsangue, Mohammad Izadi: Automata Based Model Checking for Reo Connectors. FSEN 2009: 260-275

Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: An Algebra for Kripke Polynomial Coalgebras. LICS 2009: 49-58

Frank S. de Boer, Marcello M. Bonsangue, Eric Madelain (Eds.): Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures. Lecture Notes in Computer Science 5751, Springer 2009, isbn 978-3-642-04166-2

Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: Coalgebraic Logic and Synthesis of Mealy Machines. FoSSaCS 2008: 231-245

Mohammad Izadi, Marcello M. Bonsangue: Recasting Constraint Automata into Büchi Automata. ICTAC 2008: 156-170

Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke: Modeling Component Connectors: Synchronisation and Context-Dependency. SEFM 2008: 303-312

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures. Lecture Notes in Computer Science 5382, Springer 2008, isbn 978-3-540-92187-5

Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Marc M. Lankhorst, Erik Proper, Leendert van der Torre: Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture. Enterprise Modelling and Information Systems Architectures 2(1): 40-57 (2007)

Marcello M. Bonsangue, Alexander Kurz: Pi-Calculus in Logical Form. LICS 2007: 303-312

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures. Lecture Notes in Computer Science 4709, Springer 2007, isbn 978-3-540-74791-8

Marcello M. Bonsangue, Einar Broch Johnsen (Eds.): Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Lecture Notes in Computer Science 4468, Springer 2007, isbn 978-3-540-72919-8

Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue: Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets. Electr. Notes Theor. Comput. Sci. 154(1): 121-138 (2006)

Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue: A Component Coordination Model Based on Mobile Channels. Fundam. Inform. 73(4): 561-582 (2006)

Frank S. de Boer, Marcello M. Bonsangue: Preface. Theor. Comput. Sci. 365(1-2): 1 (2006)

Marcello M. Bonsangue, Alexander Kurz: Presenting Functors by Operations and Equations. FoSSaCS 2006: 172-186

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures. Lecture Notes in Computer Science 4111, Springer 2006, isbn 3-540-36749-7

Frank S. de Boer, Marcello M. Bonsangue: Preface. Sci. Comput. Program. 55(1-3): 1-2 (2005)

Frank S. de Boer, Marcello M. Bonsangue: Preface. Theor. Comput. Sci. 343(3): 283-284 (2005)

Marcello M. Bonsangue, Alexander Kurz: Duality for Logics of Transition Systems. FoSSaCS 2005: 455-469

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, Luuk Groenewegen, Andries Stam, S. Stevens, Leendert W. N. van der Torre: Change impact analysis of enterprise architectures. IRI 2005: 177-181

Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue: MoCha-pi, an exogenous coordination calculus based on mobile channels. SAC 2005: 436-442

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures. Lecture Notes in Computer Science 3657, Springer 2005, isbn 3-540-29131-8

Frank S. de Boer, Marcello M. Bonsangue: Preface. Electr. Notes Theor. Comput. Sci. 101: 1-2 (2004)

Martijn J. Wiering, Marcello M. Bonsangue, René van Buuren, Luuk Groenewegen, Henk Jonkers, Marc M. Lankhorst: Investigating the mapping of an Enterprise Description Language into UML 2.0. Electr. Notes Theor. Comput. Sci. 101: 155-179 (2004)

Henk Jonkers, Marc M. Lankhorst, René van Buuren, Stijn Hoppenbrouwers, Marcello M. Bonsangue, Leendert W. N. van der Torre: Concepts For Modeling Enterprise Architectures. Int. J. Cooperative Inf. Syst. 13(3): 257-287 (2004)

Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre: A Logical Viewpoint on Architectures. EDOC 2004: 73-83

Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám: A Fully Abstract Semantics for UML Components. FMCO 2004: 49-69

Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Andreas Grüner, Martin Steffen: Observability, Connectivity, and Replay in a Sequential Calculus of Classes. FMCO 2004: 296-316

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: 37-51

Andries Stam, Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Leendert W. N. van der Torre: Using XML Transformations for Enterprise Architectures. ISoLA 2004: 42-56

Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Andries Stam, Leendert van der Torre: Using XML Transformations for Enterprise Architectures. ISoLA (Preliminary proceedings) 2004: 67-73

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures. Lecture Notes in Computer Science 3188, Springer 2004, isbn 3-540-22942-6

Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue: A Channel-based Coordination Model for Components. Electr. Notes Theor. Comput. Sci. 68(3): 419-438 (2003)

Marcello M. Bonsangue, Joost N. Kok: Infinite intersection types. Inf. Comput. 186(2): 285-318 (2003)

Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro: Comparing coordination models and architectures using embeddings. Sci. Comput. Program. 46(1-2): 31-69 (2003)

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: Towards a Language for Coherent Enterprise Architecture Descriptions. EDOC 2003: 28-39

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. Lecture Notes in Computer Science 2852, Springer 2003, isbn 3-540-20303-6

Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue: Mobile Channels, Implementation Within and Outside Components. Electr. Notes Theor. Comput. Sci. 66(4): 56-66 (2002)

Farhad Arbab, Frank S. de Boer, Juan Guillen Scholten, Marcello M. Bonsangue: MoCha: A Middleware Based on Mobile Channels. COMPSAC 2002: 667-673

Marcello M. Bonsangue, Joost N. Kok: Infinite Intersection and Union Types for the Lazy Lambda Calculus. TACS 2001: 448-458

Marcello M. Bonsangue, Farhad Arbab, J. W. de Bakker, Jan J. M. M. Rutten, A. Secutella, Gianluigi Zavattaro: A transition system semantics for the control-driven coordination language MANIFOLD. Theor. Comput. Sci. 240(1): 3-47 (2000)

Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue: A Logical Interface Description Language for Components. COORDINATION 2000: 249-266

Frank S. de Boer, Marcello M. Bonsangue: A Compositional Model for Confluent Dynamic Data-Flow Networks. MFCS 2000: 212-221

Farhad Arbab, Marcello M. Bonsangue, Frank S. de Boer: A Coordination Lanuage for Mobile Components. SAC (1) 2000: 166-173

Marcello M. Bonsangue, Joost N. Kok: Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems. Inf. Comput. 155(1-2): 170-201 (1999)

Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro: Comparing Software Architectures for Coordination Languages. COORDINATION 1999: 150-165

Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere: Developing Object-based Distributed Systems. FMOODS 1999

Marcello M. Bonsangue, Joost N. Kok: Comparing Coordination Models Based on Shared Distributed Replicated Data. SAC 1999: 156-165

Marcello M. Bonsangue: Topological Duality in Semantics. Electr. Notes Theor. Comput. Sci. 8: 1-274 (1998)

Marcello M. Bonsangue, Franck van Breugel, Jan J. M. M. Rutten: Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding. Theor. Comput. Sci. 193(1-2): 1-51 (1998)

Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere: An Approach to Object-Orientation in Action Systems. MPC 1998: 68-95

Marcello M. Bonsangue, Joost N. Kok, Maarten Boasson, Edwin D. de Jong: A software architecture for distributed control systems and its transition system semantics. SAC 1998: 159-168

Marcello M. Bonsangue, Joost N. Kok: Specifying Computations Using Hyper Transition Systems. MFCS 1997: 169-178

Marcello M. Bonsangue, Joost N. Kok: Infinitary Domain Logic for Finitary Transition Systems. TACS 1997: 213-232

Marcello M. Bonsangue, Bart Jacobs, Joost N. Kok: Duality Beyond Sober Spaces: Topological Spaces and Observation Frames. Theor. Comput. Sci. 151(1): 79-124 (1995)

Marcello M. Bonsangue, Joost N. Kok, Erik P. de Vink: Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency. CONCUR 1995: 363-377

Marcello M. Bonsangue, Joost N. Kok: The Weakest Precondition Calculus: Recursion and Duality. Formal Asp. Comput. 6(6A): 788-800 (1994)

Marcello M. Bonsangue, Joost N. Kok: Relating Multifunctions and Predicate Transformers through Closure Operators. TACS 1994: 822-843

Marcello M. Bonsangue, Joost N. Kok: Isomorphisms between Predicates and State Transformers. MFCS 1993: 301-310

Marcello M. Bonsangue, Joost N. Kok: Semantics, Orderings and Recursion in the Weakest Precondition Calculus. REX Workshop 1992: 91-109