Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Marcello M.
Last name:	Bonsangue
DBLP:	99/5652
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 25 of 58  

Select a publication
Show	Title	Venue	Rating	Date
	Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva. Deriving Syntax and Axioms for Quantitative Regular Behaviours.	CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings 2009	(0)	2009
	Marcello M. Bonsangue, Dave Clarke, Alexandra Silva. Automata for Context-Dependent Connectors.	Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings 2009	(0)	2009
	Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva. A Kleene Theorem for Polynomial Coalgebras.	Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings 2009	(0)	2009
	Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva. An Algebra for Kripke Polynomial Coalgebras.	Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA 2009	(0)	2009
	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. 2009, Volume 243	(0)	2009
	Marcello M. Bonsangue, Einar Broch Johnsen, Amy L. Murphy, Jan Vitek. Preface.	Theor. Comput. Sci. 2009, Volume 410	(0)	2009
	Marcello M. Bonsangue, Mohammad Izadi. Automata Based Model Checking for Reo Connectors.	Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers 2010	(0)	2009
	Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva. Coalgebraic Logic and Synthesis of Mealy Machines.	Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedi 2008	(0)	2008
	Mohammad Izadi, Marcello M. Bonsangue. Recasting Constraint Automata into Büchi Automata.	Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings 2008	(0)	2008
	Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke. Modeling Component Connectors: Synchronisation and Context-Dependency.	Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008 2008	(0)	2008
	Marcello M. Bonsangue, Alexander Kurz. Pi-Calculus in Logical Form.	22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings 2007	(0)	2007
	Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Marc M. Lankhorst, Henderik Alex Proper, Leendert W. N. van der Torre. Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture.	Enterprise Modelling and Information Systems Architectures 2007, Volume 2	(0)	2007
	Marcello M. Bonsangue, Alexander Kurz. Presenting Functors by Operations and Equations.	Foundations of Software Science and Computation Structures, 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings 2006	(0)	2006
	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. 2006, Volume 154	(0)	2006
	Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue. A Component Coordination Model Based on Mobile Channels.	Fundam. Inform. 2006, Volume 73	(0)	2006
	Frank S. de Boer, Marcello M. Bonsangue. Preface.	Theor. Comput. Sci. 2006, Volume 365	(0)	2006
	Marcello M. Bonsangue, Alexander Kurz. Duality for Logics of Transition Systems.	Foundations of Software Science and Computational Structures, 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings 2005	(0)	2005
	Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre. Enterprise Architecture Analysis with XML.	38th Hawaii International Conference on System Sciences (HICSS-38 2005), CD-ROM / Abstracts Proceedings, 3-6 January 2005, Big Island, HI, USA 2005	(0)	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.	Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, IRI - 2005, August 15-17, 2005, Las Vegas Hilton, Las Vegas, NV, USA 2005	(0)	2005
	Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue. MoCha-pi, an exogenous coordination calculus based on mobile channels.	Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005 2005	(0)	2005
	Frank S. de Boer, Marcello M. Bonsangue. Preface.	Sci. Comput. Program. 2005, Volume 55	(0)	2005
	Frank S. de Boer, Marcello M. Bonsangue. Preface.	Theor. Comput. Sci. 2005, Volume 343	(0)	2005
	Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre. A Logical Viewpoint on Architectures.	8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 20-24 September 2004, Monterey, California, USA, Proceedings 2004	(0)	2004
	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.	Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures 2005	(0)	2004
	Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám. A Fully Abstract Semantics for UML Components.	Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures 2005	(0)	2004

Your query returned 58 matches in the database.