Marcello M. Bonsangue

	2012
77		Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers Springer 2012
	2011
76		Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten: Context-Free Languages, Coalgebraically. CALCO 2011: 359-376
75		Marcello M. Bonsangue, Stefan Milius, Alexandra Silva: Sound and complete axiomatizations of coalgebraic language equivalence CoRR abs/1104.2803: (2011)
74		Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten: Quantitative Kleene coalgebras. Inf. Comput. 209(5): 822-849 (2011)
73		Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke: Büchi automata for modeling component connectors. Software and System Modeling 10(2): 183-200 (2011)
	2010
72		Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel: Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers Springer 2010
71		Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, Marcello M. Bonsangue: Decomposition of Constraint Automata. FACS 2010: 237-258
70		B. Nobakht, Marcello M. Bonsangue, Frank S. de Boer, S. de Gouw: Monitoring Method Call Sequences Using Annotations. FACS 2010: 53-70
69		Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten: Generalizing the powerset construction, coalgebraically. FSTTCS 2010: 272-283
68		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
67		Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten: Non-Deterministic Kleene Coalgebras Logical Methods in Computer Science 6(3): (2010)
	2009
66		Frank 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
65		Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: Deriving Syntax and Axioms for Quantitative Regular Behaviours. CONCUR 2009: 146-162
64		Marcello M. Bonsangue, Dave Clarke, Alexandra Silva: Automata for Context-Dependent Connectors. COORDINATION 2009: 184-203
63		Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: A Kleene Theorem for Polynomial Coalgebras. FOSSACS 2009: 122-136
62		Marcello M. Bonsangue, Mohammad Izadi: Automata Based Model Checking for Reo Connectors. FSEN 2009: 260-275
61		Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: An Algebra for Kripke Polynomial Coalgebras. LICS 2009: 49-58
60		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)
59		Marcello 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
57		Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: Coalgebraic Logic and Synthesis of Mealy Machines. FoSSaCS 2008: 231-245
56		Mohammad Izadi, Marcello M. Bonsangue: Recasting Constraint Automata into Büchi Automata. ICTAC 2008: 156-170
55		Mohammad 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
52		Marcello M. Bonsangue, Alexander Kurz: Pi-Calculus in Logical Form. LICS 2007: 303-312
51		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)
	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		Marcello M. Bonsangue, Alexander Kurz: Presenting Functors by Operations and Equations. FoSSaCS 2006: 172-186
48		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		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		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		Marcello M. Bonsangue, Alexander Kurz: Duality for Logics of Transition Systems. FoSSaCS 2005: 455-469
43		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		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		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		Frank S. de Boer, Marcello M. Bonsangue: Preface. Sci. Comput. Program. 55(1-3): 1-2 (2005)
39		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		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		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		Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám: A Fully Abstract Semantics for UML Components. FMCO 2004: 49-69
34		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		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		Frank S. de Boer, Marcello M. Bonsangue: Preface. Electr. Notes Theor. Comput. Sci. 101: 1-2 (2004)
30		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		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		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		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)
25		Marcello M. Bonsangue, Joost N. Kok: Infinite intersection types. Inf. Comput. 186(2): 285-318 (2003)
24		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		Farhad Arbab, Frank S. de Boer, Juan Guillen Scholten, Marcello M. Bonsangue: MoCha: A Middleware Based on Mobile Channels. COMPSAC 2002: 667-673
22		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)
	2001
21		Marcello M. Bonsangue, Joost N. Kok: Infinite Intersection and Union Types for the Lazy Lambda Calculus. TACS 2001: 448-458
	2000
20		Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue: A Logical Interface Description Language for Components. COORDINATION 2000: 249-266
19		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		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		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		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		Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere: An Approach to Object-Orientation in Action Systems. MPC 1998: 68-95
11		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		Marcello M. Bonsangue: Topological Duality in Semantics. Electr. Notes Theor. Comput. Sci. 8: 1-274 (1998)
9		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		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

Coauthor Index

1	Erika Ábrahám (Erika Ábrahám-Mumm)	[34] [35] [36]
2	Bernhard K. Aichernig	[77]
3	Farhad Arbab	[17] [18] [20] [22] [23] [26] [27] [41] [47] [48] [51] [71]
4	J. W. de Bakker (Jaco de Bakker, Jacobus W. de Bakker)	[17]
5	Maarten Boasson	[11]
6	Frank 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] [60] [66] [70] [72] [77]
7	Filippo Bonchi	[65] [69] [74]
8	Hans Bosma	[27]
9	Franck van Breugel	[9]
10	René van Buuren	[27] [29] [30]
11	Georgiana Caltais	[68]
12	Dave Clarke (David G. Clarke)	[55] [64] [73]
13	Hugo W. L. ter Doest	[27]
14	Eugen-Ioan Goriac	[68]
15	S. de Gouw	[70]
16	Susanne Graf	[28] [38] [45] [50] [53] [58]
17	Luuk Groenewegen	[27] [30] [42]
18	Andreas Grüner	[36] [60]
19	Stefan Hallerstede	[72]
20	Stijn Hoppenbrouwers	[27] [29]
21	Maria-Eugenia Iacob	[27]
22	Mohammad Izadi	[55] [56] [62] [73]
23	Joost Jacob	[32] [33] [37] [43]
24	Bart Jacobs	[5]
25	Wil Janssen	[27]
26	Einar Broch Johnsen	[54] [59]
27	Edwin D. de Jong	[11]
28	Henk Jonkers	[27] [29] [30]
29	Joost N. Kok	[1] [2] [3] [4] [5] [6] [7] [8] [11] [12] [13] [14] [15] [16] [21] [24] [25]
30	Alexander Kurz	[44] [49] [52]
31	Marc M. Lankhorst	[27] [29] [30] [51]
32	Diederik van Leeuwen	[27]
33	Michael Leuschel	[72]
34	Dorel Lucanu	[68]
35	Eric Madelain	[66]
36	Stefan Milius	[75]
37	Amy L. Murphy	[59]
38	B. Nobakht	[70]
39	Bahman Pourvatan	[71]
40	Henderik Alex Proper (Erik Proper)	[27] [51]
41	Willem P. de Roever (Willem-Paul de Roever)	[28] [38] [45] [50] [53] [58]
42	Jan J. M. M. Rutten	[9] [17] [57] [61] [63] [65] [67] [68] [69] [74] [76]
43	Juan Guillen Scholten	[22] [23] [26] [27] [41] [47] [48]
44	A. Secutella	[17]
45	Kaisa Sere	[12] [15]
46	Alexandra Silva	[57] [61] [63] [64] [65] [67] [68] [69] [74] [75]
47	Marjan Sirjani	[71]
48	Andries Stam	[27] [32] [33] [37] [42] [43]
49	Martin Steffen	[34] [35] [36] [60]
50	S. Stevens	[42]
51	Leendert W. N. van der Torre (Leendert van der Torre, Leon van der Torre)	[27] [29] [32] [33] [37] [42] [43] [51]
52	Erik P. de Vink	[6]
53	Jan Vitek	[59]
54	Martijn J. Wiering	[30]
55	Joost Winter	[76]
56	Gert Veldhuijzen van Zanten	[27]
57	Gianluigi Zavattaro	[16] [17] [24]

Colors in the list of coauthors

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page