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 |