| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marcello M. Bonsangue, Dave Clarke, Alexandra Silva |
A model of context-dependent component connectors.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Marcello M. Bonsangue, Michele Boreale, Jan J. M. M. Rutten, Alexandra Silva |
A coalgebraic perspective on linear weighted automata. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.) |
Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers |
FMCO |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
Brzozowski's Algorithm (Co)Algebraically. |
Logic and Program Semantics |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke |
Büchi automata for modeling component connectors. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten |
Quantitative Kleene coalgebras. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Stefan Milius, Alexandra Silva |
Sound and complete axiomatizations of coalgebraic language equivalence |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten |
Context-Free Languages, Coalgebraically. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten |
Non-Deterministic Kleene Coalgebras |
Logical Methods in Computer Science |
2010 |
DBLP BibTeX RDF |
|
| 1 | B. Nobakht, Marcello M. Bonsangue, Frank S. de Boer, Stijn de Gouw |
Monitoring Method Call Sequences Using Annotations. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, Marcello M. Bonsangue |
Decomposition of Constraint Automata. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel (eds.) |
Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten |
Generalizing the powerset construction, coalgebraically. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Einar Broch Johnsen, Amy L. Murphy, Jan Vitek |
Preface. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
Deriving Syntax and Axioms for Quantitative Regular Behaviours. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Mohammad Izadi |
Automata Based Model Checking for Reo Connectors. |
FSEN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Dave Clarke, Alexandra Silva |
Automata for Context-Dependent Connectors. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Marcello M. Bonsangue, Eric Madelain (eds.) |
Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
An Algebra for Kripke Polynomial Coalgebras. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
A Kleene Theorem for Polynomial Coalgebras. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke |
Modeling Component Connectors: Synchronisation and Context-Dependency. |
SEFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Izadi, Marcello M. Bonsangue |
Recasting Constraint Automata into Büchi Automata. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (eds.) |
Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures |
FMCO |
2008 |
DBLP BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
Coalgebraic Logic and Synthesis of Mealy Machines. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Einar Broch Johnsen (eds.) |
Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings |
FMOODS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (eds.) |
Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures |
FMCO |
2007 |
DBLP BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Alexander Kurz |
Pi-Calculus in Logical Form. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Marcello M. Bonsangue |
Preface. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue |
A Component Coordination Model Based on Mobile Channels. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (eds.) |
Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures |
FMCO |
2006 |
DBLP BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Alexander Kurz |
Presenting Functors by Operations and Equations. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Marcello M. Bonsangue |
Preface. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Marcello M. Bonsangue |
Preface. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue |
MoCha-pi, an exogenous coordination calculus based on mobile channels. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
distributed mobile channels, coordination, calculus |
| 1 | Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (eds.) |
Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures |
FMCO |
2005 |
DBLP BibTeX RDF |
|
| 1 | Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre |
Enterprise Architecture Analysis with XML. |
HICSS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Alexander Kurz |
Duality for Logics of Transition Systems. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Marcello M. Bonsangue |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (eds.) |
Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures |
FMCO |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám |
A Fully Abstract Semantics for UML Components. |
FMCO |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre |
A Logical Viewpoint on Architectures. |
EDOC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro |
Comparing coordination models and architectures using embeddings. |
Sci. Comput. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Joost N. Kok |
Infinite intersection types. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue |
A Channel-based Coordination Model for Components. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (eds.) |
Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures |
FMCO |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue |
Mobile Channels, Implementation Within and Outside Components. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhad Arbab, Frank S. de Boer, Juan Guillen Scholten, Marcello M. Bonsangue |
MoCha: A Middleware Based on Mobile Channels. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Joost N. Kok |
Infinite Intersection and Union Types for the Lazy Lambda Calculus. |
TACS |
2001 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Marcello M. Bonsangue |
A Compositional Model for Confluent Dynamic Data-Flow Networks. |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue |
A Logical Interface Description Language for Components. |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhad Arbab, Marcello M. Bonsangue, Frank S. de Boer |
A Coordination Lanuage for Mobile Components. |
SAC |
2000 |
DBLP BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Joost N. Kok |
Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere |
Developing Object-based Distributed Systems. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro |
Comparing Software Architectures for Coordination Languages. |
COORDINATION |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Joost N. Kok |
Comparing Coordination Models Based on Shared Distributed Replicated Data. |
SAC |
1999 |
DBLP DOI BibTeX RDF |
distributed dataspace, shared dataspace, transition system semantics, software architectures, coordination models |
| 1 | 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. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue |
Topological Duality in Semantics. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
SPLICE, distributed data space, transition system semantics, software architecture, control systems, coordination models, shared data space |
| 1 | Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere |
An Approach to Object-Orientation in Action Systems. |
MPC |
1998 |
DBLP BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Joost N. Kok |
Infinitary Domain Logic for Finitary Transition Systems. |
TACS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Joost N. Kok |
Specifying Computations Using Hyper Transition Systems. |
MFCS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Bart Jacobs, Joost N. Kok |
Duality Beyond Sober Spaces: Topological Spaces and Observation Frames. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Joost N. Kok, Erik P. de Vink |
Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Joost N. Kok |
The Weakest Precondition Calculus: Recursion and Duality. |
Formal Asp. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Joost N. Kok |
Relating Multifunctions and Predicate Transformers through Closure Operators. |
TACS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Joost N. Kok |
Isomorphisms between Predicates and State Transformers. |
MFCS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bonsangue, Joost N. Kok |
Semantics, Orderings and Recursion in the Weakest Precondition Calculus. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
fixed point transformations, Smyth powerdomain, Egli-Milner powerdomain, refinement, deadlock, recursion, fixed points, backtracking, weakest preconditions, predicate transformers |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")