dblp.uni-trier.dewww.uni-trier.de

Marcello M. Bonsangue Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
63EEFrank S. de Boer, Marcello M. Bonsangue, Eric Madelain: Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures Springer 2009
62EEFilippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: Deriving Syntax and Axioms for Quantitative Regular Behaviours. CONCUR 2009: 146-162
61EEMarcello M. Bonsangue, Dave Clarke, Alexandra Silva: Automata for Context-Dependent Connectors. COORDINATION 2009: 184-203
60EEMarcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: A Kleene Theorem for Polynomial Coalgebras. FOSSACS 2009: 122-136
59EEMarcello M. Bonsangue, Einar Broch Johnsen, Amy L. Murphy, Jan Vitek: Preface. Theor. Comput. Sci. 410(2-3): 113 (2009)
2008
58 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
57EEMarcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: Coalgebraic Logic and Synthesis of Mealy Machines. FoSSaCS 2008: 231-245
56EEMohammad Izadi, Marcello M. Bonsangue: Recasting Constraint Automata into Büchi Automata. ICTAC 2008: 156-170
55EEMohammad Izadi, Marcello M. Bonsangue, Dave Clarke: Modeling Component Connectors: Synchronisation and Context-Dependency. SEFM 2008: 303-312
2007
54 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
53 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
52EEMarcello M. Bonsangue, Alexander Kurz: Pi-Calculus in Logical Form. LICS 2007: 303-312
51EEFarhad 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)
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
49EEMarcello M. Bonsangue, Alexander Kurz: Presenting Functors by Operations and Equations. FoSSaCS 2006: 172-186
48EEJuan 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)
47EEJuan 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)
46EEFrank 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
44EEMarcello M. Bonsangue, Alexander Kurz: Duality for Logics of Transition Systems. FoSSaCS 2005: 455-469
43EEFrank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre: Enterprise Architecture Analysis with XML. HICSS 2005
42EEFrank 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
41EEJuan 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
40EEFrank S. de Boer, Marcello M. Bonsangue: Preface. Sci. Comput. Program. 55(1-3): 1-2 (2005)
39EEFrank 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
37EEFrank 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
36EEErika Á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
35EEFrank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám: A Fully Abstract Semantics for UML Components. FMCO 2004: 49-69
34EEErika Á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
33EEAndries 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
31EEFrank S. de Boer, Marcello M. Bonsangue: Preface. Electr. Notes Theor. Comput. Sci. 101: 1-2 (2004)
30EEMartijn 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)
29EEHenk 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
27EEHenk 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
26EEJuan 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)
25EEMarcello M. Bonsangue, Joost N. Kok: Infinite intersection types. Inf. Comput. 186(2): 285-318 (2003)
24EEMarcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro: Comparing coordination models and architectures using embeddings. Sci. Comput. Program. 46(1-2): 31-69 (2003)
2002
23EEFarhad Arbab, Frank S. de Boer, Juan Guillen Scholten, Marcello M. Bonsangue: MoCha: A Middleware Based on Mobile Channels. COMPSAC 2002: 667-673
22EEJuan 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
21EEMarcello M. Bonsangue, Joost N. Kok: Infinite Intersection and Union Types for the Lazy Lambda Calculus. TACS 2001: 448-458
2000
20EEFarhad Arbab, Frank S. de Boer, Marcello M. Bonsangue: A Logical Interface Description Language for Components. COORDINATION 2000: 249-266
19EEFrank 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
17EEMarcello 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
16EEMarcello 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
14EEMarcello 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
12EEMarcello M. Bonsangue, Joost N. Kok, Kaisa Sere: An Approach to Object-Orientation in Action Systems. MPC 1998: 68-95
11EEMarcello 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
10EEMarcello M. Bonsangue: Topological Duality in Semantics. Electr. Notes Theor. Comput. Sci. 8: (1998)
9EEMarcello 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
8EEMarcello 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
6EEMarcello M. Bonsangue, Joost N. Kok, Erik P. de Vink: Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency. CONCUR 1995: 363-377
5EEMarcello 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
2EEMarcello M. Bonsangue, Joost N. Kok: Isomorphisms between Predicates and State Transformers. MFCS 1993: 301-310
1992
1EEMarcello M. Bonsangue, Joost N. Kok: Semantics, Orderings and Recursion in the Weakest Precondition Calculus. REX Workshop 1992: 91-109

Coauthor Index

1Erika Ábrahám (Erika Ábrahám-Mumm) [34] [35] [36]
2Farhad Arbab [17] [18] [20] [22] [23] [26] [27] [41] [47] [48] [51]
3J. W. de Bakker (Jaco de Bakker) [17]
4Maarten Boasson [11]
5Frank S. de Boer [18] [19] [20] [22] [23] [26] [27] [28] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [45] [46] [47] [48] [50] [51] [53] [58] [63]
6Filippo Bonchi [62]
7Hans Bosma [27]
8Franck van Breugel [9]
9René van Buuren [27] [29] [30]
10Dave Clarke [55] [61]
11Hugo W. L. ter Doest [27]
12Susanne Graf [28] [38] [45] [50] [53] [58]
13Luuk Groenewegen [27] [30] [42]
14Andreas Grüner [36]
15Stijn Hoppenbrouwers [27] [29]
16Maria-Eugenia Iacob [27]
17Mohammad Izadi [55] [56]
18Joost Jacob [32] [33] [37] [43]
19Bart Jacobs [5]
20Wil Janssen [27]
21Einar Broch Johnsen [54] [59]
22Edwin D. de Jong [11]
23Henk Jonkers [27] [29] [30]
24Joost N. Kok [1] [2] [3] [4] [5] [6] [7] [8] [11] [12] [13] [14] [15] [16] [21] [24] [25]
25Alexander Kurz [44] [49] [52]
26Marc M. Lankhorst [27] [29] [30] [51]
27Diederik van Leeuwen [27]
28Eric Madelain [63]
29Amy L. Murphy [59]
30Henderik Alex Proper (Erik Proper) [27] [51]
31Willem P. de Roever [28] [38] [45] [50] [53] [58]
32Jan J. M. M. Rutten [9] [17] [57] [60] [62]
33Juan Guillen Scholten [22] [23] [26] [27] [41] [47] [48]
34A. Secutella [17]
35Kaisa Sere [12] [15]
36Alexandra Silva [57] [60] [61] [62]
37Andries Stam [27] [32] [33] [37] [42] [43]
38Martin Steffen [34] [35] [36]
39S. Stevens [42]
40Leendert W. N. van der Torre (Leendert van der Torre) [27] [29] [32] [33] [37] [42] [43] [51]
41Erik P. de Vink [6]
42Jan Vitek [59]
43Martijn J. Wiering [30]
44Gert Veldhuijzen van Zanten [27]
45Gianluigi Zavattaro [16] [17] [24]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)