| 2009 |
|---|
| 59 | EE | Marcello M. Bonsangue,
Jan J. M. M. Rutten,
Alexandra Silva:
A Kleene Theorem for Polynomial Coalgebras.
FOSSACS 2009: 122-136 |
| 58 | EE | Marcello M. Bonsangue,
Einar Broch Johnsen,
Amy L. Murphy,
Jan Vitek:
Preface.
Theor. Comput. Sci. 410(2-3): 113 (2009) |
| 2008 |
|---|
| 57 | | Frank S. de Boer,
Marcello M. Bonsangue,
Susanne Graf,
Willem P. de Roever:
Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Springer 2008 |
| 56 | EE | Marcello M. Bonsangue,
Jan J. M. M. Rutten,
Alexandra Silva:
Coalgebraic Logic and Synthesis of Mealy Machines.
FoSSaCS 2008: 231-245 |
| 55 | EE | Mohammad Izadi,
Marcello M. Bonsangue:
Recasting Constraint Automata into Büchi Automata.
ICTAC 2008: 156-170 |
| 54 | EE | Mohammad Izadi,
Marcello M. Bonsangue,
Dave Clarke:
Modeling Component Connectors: Synchronisation and Context-Dependency.
SEFM 2008: 303-312 |
| 2007 |
|---|
| 53 | | Marcello M. Bonsangue,
Einar Broch Johnsen:
Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Springer 2007 |
| 52 | | Frank S. de Boer,
Marcello M. Bonsangue,
Susanne Graf,
Willem P. de Roever:
Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
Springer 2007 |
| 51 | EE | Marcello M. Bonsangue,
Alexander Kurz:
Pi-Calculus in Logical Form.
LICS 2007: 303-312 |
| 2006 |
|---|
| 50 | | Frank S. de Boer,
Marcello M. Bonsangue,
Susanne Graf,
Willem P. de Roever:
Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Springer 2006 |
| 49 | EE | Marcello M. Bonsangue,
Alexander Kurz:
Presenting Functors by Operations and Equations.
FoSSaCS 2006: 172-186 |
| 48 | EE | 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) |
| 47 | EE | 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) |
| 46 | EE | Frank S. de Boer,
Marcello M. Bonsangue:
Preface.
Theor. Comput. Sci. 365(1-2): 1 (2006) |
| 2005 |
|---|
| 45 | | Frank S. de Boer,
Marcello M. Bonsangue,
Susanne Graf,
Willem P. de Roever:
Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures
Springer 2005 |
| 44 | EE | Marcello M. Bonsangue,
Alexander Kurz:
Duality for Logics of Transition Systems.
FoSSaCS 2005: 455-469 |
| 43 | EE | Frank S. de Boer,
Marcello M. Bonsangue,
Joost Jacob,
Andries Stam,
Leendert W. N. van der Torre:
Enterprise Architecture Analysis with XML.
HICSS 2005 |
| 42 | EE | 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 |
| 41 | EE | 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 |
| 40 | EE | Frank S. de Boer,
Marcello M. Bonsangue:
Preface.
Sci. Comput. Program. 55(1-3): 1-2 (2005) |
| 39 | EE | Frank S. de Boer,
Marcello M. Bonsangue:
Preface.
Theor. Comput. Sci. 343(3): 283-284 (2005) |
| 2004 |
|---|
| 38 | | Frank S. de Boer,
Marcello M. Bonsangue,
Susanne Graf,
Willem P. de Roever:
Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures
Springer 2004 |
| 37 | EE | 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 |
| 36 | EE | 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 |
| 35 | EE | Frank S. de Boer,
Marcello M. Bonsangue,
Martin Steffen,
Erika Ábrahám:
A Fully Abstract Semantics for UML Components.
FMCO 2004: 49-69 |
| 34 | EE | 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 |
| 33 | EE | 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 |
| 32 | | 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 |
| 31 | EE | Frank S. de Boer,
Marcello M. Bonsangue:
Preface.
Electr. Notes Theor. Comput. Sci. 101: 1-2 (2004) |
| 30 | EE | 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) |
| 29 | EE | 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) |
| 2003 |
|---|
| 28 | | Frank S. de Boer,
Marcello M. Bonsangue,
Susanne Graf,
Willem P. de Roever:
Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
Springer 2003 |
| 27 | EE | 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 |
| 26 | EE | 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): (2003) |
| 25 | EE | Marcello M. Bonsangue,
Joost N. Kok:
Infinite intersection types.
Inf. Comput. 186(2): 285-318 (2003) |
| 24 | EE | Marcello M. Bonsangue,
Joost N. Kok,
Gianluigi Zavattaro:
Comparing coordination models and architectures using embeddings.
Sci. Comput. Program. 46(1-2): 31-69 (2003) |
| 2002 |
|---|
| 23 | EE | Farhad Arbab,
Frank S. de Boer,
Juan Guillen Scholten,
Marcello M. Bonsangue:
MoCha: A Middleware Based on Mobile Channels.
COMPSAC 2002: 667-673 |
| 22 | EE | 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): (2002) |
| 2001 |
|---|
| 21 | EE | Marcello M. Bonsangue,
Joost N. Kok:
Infinite Intersection and Union Types for the Lazy Lambda Calculus.
TACS 2001: 448-458 |
| 2000 |
|---|
| 20 | EE | Farhad Arbab,
Frank S. de Boer,
Marcello M. Bonsangue:
A Logical Interface Description Language for Components.
COORDINATION 2000: 249-266 |
| 19 | EE | Frank S. de Boer,
Marcello M. Bonsangue:
A Compositional Model for Confluent Dynamic Data-Flow Networks.
MFCS 2000: 212-221 |
| 18 | | Farhad Arbab,
Marcello M. Bonsangue,
Frank S. de Boer:
A Coordination Lanuage for Mobile Components.
SAC (1) 2000: 166-173 |
| 17 | EE | 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) |
| 1999 |
|---|
| 16 | EE | Marcello M. Bonsangue,
Joost N. Kok,
Gianluigi Zavattaro:
Comparing Software Architectures for Coordination Languages.
COORDINATION 1999: 150-165 |
| 15 | | Marcello M. Bonsangue,
Joost N. Kok,
Kaisa Sere:
Developing Object-based Distributed Systems.
FMOODS 1999 |
| 14 | EE | Marcello M. Bonsangue,
Joost N. Kok:
Comparing Coordination Models Based on Shared Distributed Replicated Data.
SAC 1999: 156-165 |
| 13 | | 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) |
| 1998 |
|---|
| 12 | EE | Marcello M. Bonsangue,
Joost N. Kok,
Kaisa Sere:
An Approach to Object-Orientation in Action Systems.
MPC 1998: 68-95 |
| 11 | EE | 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 |
| 10 | EE | Marcello M. Bonsangue:
Topological Duality in Semantics.
Electr. Notes Theor. Comput. Sci. 8: (1998) |
| 9 | EE | 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) |
| 1997 |
|---|
| 8 | | Marcello M. Bonsangue,
Joost N. Kok:
Specifying Computations Using Hyper Transition Systems.
MFCS 1997: 169-178 |
| 7 | | Marcello M. Bonsangue,
Joost N. Kok:
Infinitary Domain Logic for Finitary Transition Systems.
TACS 1997: 213-232 |
| 1995 |
|---|
| 6 | | Marcello M. Bonsangue,
Joost N. Kok,
Erik P. de Vink:
Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency.
CONCUR 1995: 363-377 |
| 5 | EE | 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) |
| 1994 |
|---|
| 4 | | Marcello M. Bonsangue,
Joost N. Kok:
Relating Multifunctions and Predicate Transformers through Closure Operators.
TACS 1994: 822-843 |
| 3 | | Marcello M. Bonsangue,
Joost N. Kok:
The Weakest Precondition Calculus: Recursion and Duality
Formal Asp. Comput. 6(6A): 788-800 (1994) |
| 1993 |
|---|
| 2 | | Marcello M. Bonsangue,
Joost N. Kok:
Isomorphisms between Predicates and State Transformers.
MFCS 1993: 301-310 |
| 1992 |
|---|
| 1 | | Marcello M. Bonsangue,
Joost N. Kok:
Semantics, Orderings and Recursion in the Weakest Precondition Calculus.
REX Workshop 1992: 91-109 |
