default search action
Marcello M. Bonsangue
Person information
- affiliation: Leiden Institute of Advanced Computer Science, Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c83]Jingyi Mei, Marcello M. Bonsangue, Alfons Laarman:
Simulating Quantum Circuits by Model Counting. CAV (3) 2024: 555-578 - [c82]Jingyi Mei, Tim Coopmans, Marcello M. Bonsangue, Alfons Laarman:
Equivalence Checking of Quantum Circuits by Model Counting. IJCAR (2) 2024: 401-421 - [c81]Hui Feng
, Marcello M. Bonsangue
Concurrent NetKAT with Ports. SAC 2024: 1722-1730 - [i6]Jingyi Mei, Marcello M. Bonsangue, Alfons Laarman:
Simulating Quantum Circuits by Model Counting. CoRR abs/2403.07197 (2024) - [i5]Giulio Barbero, Marcello M. Bonsangue, Felienne F. J. Hermans:
How to Evaluate Games in Education: A Literature Review. CoRR abs/2407.03879 (2024) - 2023
- [c80]Shima Javanmardi, Mehrdad Jahanbanifard, Marcello M. Bonsangue, Fons J. Verbeek:
Using a Novel Capsule Network For an Innovative Approach to Image Captioning. SDU@AAAI 2023 - [c79]Wenjing Chu, Shuo Chen, Marcello M. Bonsangue, Zenglin Shi:
Approximately Learning Quantum Automata. TASE 2023: 268-285 - 2022
- [j44]Xueqin Chen
Multi-scale graph capsule with influence attention for information cascades prediction. Int. J. Intell. Syst. 37(3): 2584-2611 (2022) - [j43]Hui Feng, Marcello M. Bonsangue
From symbolic constraint automata to Promela. J. Log. Algebraic Methods Program. 128: 100794 (2022) - [j42]Xueqin Chen
Multi-view learning with distinguishable feature fusion for rumor detection. Knowl. Based Syst. 240: 108085 (2022) - [j41]Shima Javanmardi
Caps Captioning: A Modern Image Captioning Approach Based on Improved Capsule Network. Sensors 22(21): 8376 (2022) - [c78]Wenjing Chu, Shuo Chen, Marcello M. Bonsangue
Non-linear Optimization Methods for Learning Regular Distributions. ICFEM 2022: 54-70 - [c77]Marcello M. Bonsangue, Georgiana Caltais, Hui Feng, Hünkar Can Tunç:
A Language-Based Causal Model for Safety. TASE 2022: 290-307 - 2021
- [j40]Frank S. de Boer, Marcello M. Bonsangue
Symbolic execution formally explained. Formal Aspects Comput. 33(4-5): 617-636 (2021) - [j39]Xueqin Chen
Modeling microscopic and macroscopic information diffusion for rumor detection. Int. J. Intell. Syst. 36(10): 5449-5471 (2021) - [j38]Xueqin Chen
Catch me if you can: A participant-level rumor detection framework via fine-grained user representation learning. Inf. Process. Manag. 58(5): 102678 (2021) - [c76]Chitsutha Soomlek
Automatic Human-Like Detection of Code Smells. DS 2021: 19-28 - [c75]Wenjing Chu, Shuo Chen, Marcello M. Bonsangue
Learning Probabilistic Automata Using Residuals. ICTAC 2021: 295-313 - 2020
- [j37]Shuangqing Xiang
Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra. Sci. Comput. Program. 187: 102343 (2020) - [c74]Wenjing Chu, Marcello M. Bonsangue
Learning Probabilistic Languages by k-Testable Machines. TASE 2020: 129-136 - [p5]Frank S. de Boer, Marcello M. Bonsangue
SymPaths: Symbolic Execution Meets Partial Order Reduction. 20 Years of KeY 2020: 313-338 - [i4]Nick Bezhanishvili, Marcello M. Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva:
Minimisation in Logical Form. CoRR abs/2005.11551 (2020)
2010 – 2019
- 2019
- [j36]Cong Peng
Model Checking Longitudinal Control in Vehicle Platoon Systems. IEEE Access 7: 112015-112025 (2019) - [c73]Frank S. de Boer, Marcello M. Bonsangue:
On the Nature of Symbolic Execution. FM 2019: 64-80 - [c72]Hui Feng, Farhad Arbab, Marcello M. Bonsangue:
A Reo Model of Software Defined Networks. ICFEM 2019: 69-85 - [c71]Shuangqing Xiang, Marcello M. Bonsangue, Huibiao Zhu:
PDNet: A Programming Language for Software-Defined Networks with VLAN. ICFEM 2019: 203-218 - [c70]Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé
Completeness and Incompleteness of Synchronous Kleene Algebra. MPC 2019: 385-413 - [c69]Frank S. de Boer, Marcello M. Bonsangue:
On the Nature of Symbolic Execution. SYNASC 2019: 4-5 - [i3]Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé
Completeness and Incompleteness of Synchronous Kleene Algebra. CoRR abs/1905.08554 (2019) - 2018
- [j35]Marcello M. Bonsangue
Preface for the special issue of the 10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016). Sci. Comput. Program. 162: 1-2 (2018) - [e16]Frank S. de Boer, Marcello M. Bonsangue
It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab. Lecture Notes in Computer Science 10865, Springer 2018, ISBN 978-3-319-90088-9 [contents] - 2017
- [j34]Jurriaan Rot, Filippo Bonchi
Enhanced coalgebraic bisimulation. Math. Struct. Comput. Sci. 27(7): 1236-1264 (2017) - [p4]Marc M. Lankhorst, Leon van der Torre
Foundations. Enterprise Architecture at Work, 4th ed. 2017: 41-58 - [p3]Henk Jonkers, Luuk Groenewegen, Marcello M. Bonsangue, René van Buuren, Dick A. C. Quartel, Marc M. Lankhorst, Adina Aldea:
A Language for Enterprise Modelling. Enterprise Architecture at Work, 4th ed. 2017: 73-121 - [p2]Maria-Eugenia Iacob, Henk Jonkers, Leon van der Torre
Architecture Analysis. Enterprise Architecture at Work, 4th ed. 2017: 215-252 - 2016
- [j33]Jurriaan Rot, Marcello M. Bonsangue
Proving language inclusion and equivalence by coinduction. Inf. Comput. 246: 62-76 (2016) - [j32]Jurriaan Rot, Marcello M. Bonsangue
Structural congruence for bialgebraic semantics. J. Log. Algebraic Methods Program. 85(6): 1268-1291 (2016) - [j31]Filippo Bonchi
A coalgebraic view on decorated traces. Math. Struct. Comput. Sci. 26(7): 1234-1268 (2016) - [c68]Julian Salamanca, Marcello M. Bonsangue
Duality of Equations and Coequations via Contravariant Adjunctions. CMCS 2016: 73-93 - [p1]Marcello M. Bonsangue
Action Systems for Pharmacokinetic Modeling. From Action Systems to Distributed Systems 2016: 189-200 - [e15]Erika Ábrahám
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 9660, Springer 2016, ISBN 978-3-319-30733-6 [contents] - 2015
- [j30]Marcello M. Bonsangue
Presenting Distributive Laws. Log. Methods Comput. Sci. 11(3) (2015) - [j29]Joost Winter, Marcello M. Bonsangue
Context-free coalgebras. J. Comput. Syst. Sci. 81(5): 911-939 (2015) - [j28]Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue
Model checking recursive programs interacting via the heap. Sci. Comput. Program. 100: 61-83 (2015) - [j27]Frank S. de Boer, Marcello M. Bonsangue
It is pointless to point in bounded heaps. Sci. Comput. Program. 112: 102-118 (2015) - [j26]Marcello M. Bonsangue
Preface. Theor. Comput. Sci. 604: 1 (2015) - [c67]Julian Salamanca, Marcello M. Bonsangue
Equations and Coequations for Weighted Automata. MFCS (1) 2015: 444-456 - [c66]Julian Salamanca, Adolfo Ballester-Bolinches
Regular Varieties of Automata and Coequations. MPC 2015: 224-237 - 2014
- [j25]Behrooz Nobakht, Frank S. de Boer, Marcello M. Bonsangue
Monitoring method call sequences using annotations. Sci. Comput. Program. 94: 362-378 (2014) - [j24]Filippo Bonchi
Algebra-coalgebra duality in Brzozowski's minimization algorithm. ACM Trans. Comput. Log. 15(1): 3:1-3:29 (2014) - [c65]Henning Basold
(Co)Algebraic Characterizations of Signal Flow Graphs. Horizons of the Mind 2014: 124-145 - [c64]Jurriaan Rot, Marcello M. Bonsangue
Combining Bialgebraic Semantics and Equations. FoSSaCS 2014: 381-395 - [c63]Marcello M. Bonsangue
A Coalgebraic Foundation for Coinductive Union Types. ICALP (2) 2014: 62-73 - [c62]R. van den Broek, Marcello M. Bonsangue, M. Chaudron, H. van Merode:
Integrating Testing into Agile Software Development Processes. MODELSWARD 2014: 561-569 - [c61]Marie Fortin, Marcello M. Bonsangue
Coalgebraic Semantics of Heavy-Weighted Automata. WADT 2014: 48-68 - [e14]Marcello M. Bonsangue
Coalgebraic Methods in Computer Science - 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8446, Springer 2014, ISBN 978-3-662-44123-7 [contents] - 2013
- [j23]Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue
Generalizing determinization from automata to coalgebras. Log. Methods Comput. Sci. 9(1) (2013) - [j22]Joost Winter, Marcello M. Bonsangue
Coalgebraic Characterizations of Context-Free Languages. Log. Methods Comput. Sci. 9(3) (2013) - [j21]Marcello M. Bonsangue
Automatic equivalence proofs for non-deterministic coalgebras. Sci. Comput. Program. 78(9): 1324-1345 (2013) - [j20]Marcello M. Bonsangue
Sound and Complete Axiomatizations of Coalgebraic Language Equivalence. ACM Trans. Comput. Log. 14(1): 7:1-7:52 (2013) - [c60]Marcello M. Bonsangue, Helle Hvid Hansen
Presenting Distributive Laws. CALCO 2013: 95-109 - [c59]Jurriaan Rot, Frank S. de Boer, Marcello M. Bonsangue
Unbounded Allocation in Bounded Heaps. FSEN 2013: 1-16 - [c58]Jurriaan Rot, Marcello M. Bonsangue
Coinductive Proof Techniques for Language Equivalence. LATA 2013: 480-492 - [c57]Jurriaan Rot, Marcello M. Bonsangue
Coalgebraic Bisimulation-Up-To. SOFSEM 2013: 369-381 - [c56]Stefan Milius, Marcello M. Bonsangue
Rational Operational Models. MFPS 2013: 257-282 - [e13]Bernhard Beckert
Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7542, Springer 2013, ISBN 978-3-642-35886-9 [contents] - [e12]Elena Giachino
Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures. Lecture Notes in Computer Science 7866, Springer 2013, ISBN 978-3-642-40614-0 [contents] - [i2]Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva:
Automatic Equivalence Proofs for Non-deterministic Coalgebras. CoRR abs/1303.1994 (2013) - 2012
- [j19]Filippo Bonchi
A coalgebraic perspective on linear weighted automata. Inf. Comput. 211: 77-105 (2012) - [j18]Marcello M. Bonsangue
A model of context-dependent component connectors. Sci. Comput. Program. 77(6): 685-706 (2012) - [c55]Filippo Bonchi
Brzozowski's Algorithm (Co)Algebraically. Logic and Program Semantics 2012: 12-23 - [c54]Frank S. de Boer, Marcello M. Bonsangue
Automated Verification of Recursive Programs with Pointers. IJCAR 2012: 149-163 - [c53]Marcello M. Bonsangue
Defining Context-Free Power Series Coalgebraically. CMCS 2012: 20-39 - [c52]Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue
Bounded Model Checking of Recursive Programs with Pointers in K. WADT 2012: 59-76 - [c51]Marcello M. Bonsangue
On the specification of operations on the rational behaviour of systems. EXPRESS/SOS 2012: 3-18 - [c50]Jurriaan Rot, Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue
Interacting via the Heap in the Presence of Recursion. ICE 2012: 99-113 - [c49]Filippo Bonchi
Final Semantics for Decorated Traces. MFPS 2012: 73-86 - [e11]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. Lecture Notes in Computer Science 6957, Springer 2012, ISBN 978-3-642-25270-9 [contents] - 2011
- [j17]Alexandra Silva, Filippo Bonchi
Quantitative Kleene coalgebras. Inf. Comput. 209(5): 822-849 (2011) - [j16]Mohammad Izadi, Marcello M. Bonsangue
Büchi automata for modeling component connectors. Softw. Syst. Model. 10(2): 183-200 (2011) - [c48]Joost Winter, Marcello M. Bonsangue
Context-Free Languages, Coalgebraically. CALCO 2011: 359-376 - [i1]Marcello M. Bonsangue, Stefan Milius, Alexandra Silva:
Sound and complete axiomatizations of coalgebraic language equivalence. CoRR abs/1104.2803 (2011) - 2010
- [j15]Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten:
Non-Deterministic Kleene Coalgebras. Log. Methods Comput. Sci. 6(3) (2010) - [c47]Behrooz Nobakht, Marcello M. Bonsangue
Monitoring Method Call Sequences Using Annotations. FACS 2010: 53-70 - [c46]Bahman Pourvatan, Marjan Sirjani, Farhad Arbab, Marcello M. Bonsangue
Decomposition of Constraint Automata. FACS 2010: 237-258 - [c45]Alexandra Silva, Filippo Bonchi
Generalizing the powerset construction, coalgebraically. FSTTCS 2010: 272-283 - [c44]Marcello M. Bonsangue
A Decision Procedure for Bisimilarity of Generalized Regular Expressions. SBMF 2010: 226-241 - [e10]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. Lecture Notes in Computer Science 6286, Springer 2010, ISBN 978-3-642-17070-6 [contents]
2000 – 2009
- 2009
- [j14]Marcello M. Bonsangue
Preface. Theor. Comput. Sci. 410(2-3): 113 (2009) - [c43]Filippo Bonchi
Deriving Syntax and Axioms for Quantitative Regular Behaviours. CONCUR 2009: 146-162 - [c42]Marcello M. Bonsangue
Automata for Context-Dependent Connectors. COORDINATION 2009: 184-203 - [c41]Marcello M. Bonsangue
A Kleene Theorem for Polynomial Coalgebras. FoSSaCS 2009: 122-136 - [c40]Marcello M. Bonsangue
Automata Based Model Checking for Reo Connectors. FSEN 2009: 260-275 - [c39]Marcello M. Bonsangue
An Algebra for Kripke Polynomial Coalgebras. LICS 2009: 49-58 - [e9]Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine:
Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures. Lecture Notes in Computer Science 5751, Springer 2009, ISBN 978-3-642-04166-2 [contents] - 2008
- [c38]Marcello M. Bonsangue
Coalgebraic Logic and Synthesis of Mealy Machines. FoSSaCS 2008: 231-245 - [c37]Mohammad Izadi, Marcello M. Bonsangue
Recasting Constraint Automata into Büchi Automata. ICTAC 2008: 156-170 - [c36]Mohammad Izadi, Marcello M. Bonsangue
Modeling Component Connectors: Synchronisation and Context-Dependency. SEFM 2008: 303-312 - [c35]Frank S. de Boer, Marcello M. Bonsangue
Java Test Driver Generation from Object-Oriented Interaction Traces. TTSS 2008: 33-47 - [e8]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. Lecture Notes in Computer Science 5382, Springer 2008, ISBN 978-3-540-92187-5 [contents] - 2007
- [j13]Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Marc M. Lankhorst, Erik Proper, Leendert W. N. van der Torre:
Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 2(1): 40-57 (2007) - [c34]Marcello M. Bonsangue
Pi-Calculus in Logical Form. LICS 2007: 303-312 - [e7]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. Lecture Notes in Computer Science 4709, Springer 2007, ISBN 978-3-540-74791-8 [contents] - [e6]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. Lecture Notes in Computer Science 4468, Springer 2007, ISBN 978-3-540-72919-8 [contents] - 2006
- [j12]Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue:
A Component Coordination Model Based on Mobile Channels. Fundam. Informaticae 73(4): 561-582 (2006) - [j11]Frank S. de Boer, Marcello M. Bonsangue
Preface. Theor. Comput. Sci. 365(1-2): 1 (2006) - [c33]Marcello M. Bonsangue
Presenting Functors by Operations and Equations. FoSSaCS 2006: 172-186 - [e5]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. Lecture Notes in Computer Science 4111, Springer 2006, ISBN 3-540-36749-7 [contents] - 2005
- [j10]Frank S. de Boer, Marcello M. Bonsangue
Preface. Sci. Comput. Program. 55(1-3): 1-2 (2005) - [j9]Frank S. de Boer, Marcello M. Bonsangue
Preface. Theor. Comput. Sci. 343(3): 283-284 (2005) - [c32]Marcello M. Bonsangue
Duality for Logics of Transition Systems. FoSSaCS 2005: 455-469 - [c31]Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre:
Enterprise Architecture Analysis with XML. HICSS 2005 - [c30]Frank S. de Boer, Marcello M. Bonsangue
Change impact analysis of enterprise architectures. IRI 2005: 177-181 - [c29]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 - [c28]Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets. FOCLASA 2005: 121-138 - [e4]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. Lecture Notes in Computer Science 3657, Springer 2005, ISBN 3-540-29131-8 [contents] - 2004
- [j8]Henk Jonkers, Marc M. Lankhorst, René van Buuren, Stijn Hoppenbrouwers, Marcello M. Bonsangue
Concepts For Modeling Enterprise Architectures. Int. J. Cooperative Inf. Syst. 13(3): 257-287 (2004) - [c27]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 - [c26]Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám
A Fully Abstract Semantics for UML Components. FMCO 2004: 49-69 - [c25]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 - [c24]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 - [c23]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 - [c22]Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Andries Stam, Leendert W. N. van der Torre:
Using XML Transformations for Enterprise Architectures. ISoLA (Preliminary proceedings) 2004: 67-73 - [e3]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. Lecture Notes in Computer Science 3188, Springer 2004, ISBN 3-540-22942-6 [contents] - [e2]Frank S. de Boer, Marcello M. Bonsangue:
Proceedings of the Workshop on the Compositional Verification of UML Models, CVUML 2003, San Francisco, CA, USA, October 21, 2003. Electronic Notes in Theoretical Computer Science 101, Elsevier 2004 [contents] - 2003
- [j7]Marcello M. Bonsangue
Infinite intersection types. Inf. Comput. 186(2): 285-318 (2003) - [j6]Marcello M. Bonsangue
Comparing coordination models and architectures using embeddings. Sci. Comput. Program. 46(1-2): 31-69 (2003) - [c21]Henk Jonkers, René van Buuren, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
Towards a Language for Coherent Enterprise Architecture Descriptions. EDOC 2003: 28-39 - [c20]Frank S. de Boer, Marcello M. Bonsangue
Preface. CVUML 2003: 1-2 - [c19]Martijn J. Wiering, Marcello M. Bonsangue
Investigating the mapping of an Enterprise Description Language into UML 2.0. CVUML 2003: 155-179 - [e1]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. Lecture Notes in Computer Science 2852, Springer 2003, ISBN 3-540-20303-6 [contents] - 2002
- [c18]Farhad Arbab, Frank S. de Boer, Juan Guillen Scholten, Marcello M. Bonsangue
MoCha: A Middleware Based on Mobile Channels. COMPSAC 2002: 667-673 - [c17]Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
Mobile Channels, Implementation Within and Outside Components. Formal Methods and Component Interaction @ ICALP 2002: 56-66 - [c16]Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
A Channel-based Coordination Model for Components. FOCLASA 2002: 419-438 - 2001
- [c15]Marcello M. Bonsangue, Joost N. Kok:
Infinite Intersection and Union Types for the Lazy Lambda Calculus. TACS 2001: 448-458 - 2000
- [j5]Marcello M. Bonsangue
A transition system semantics for the control-driven coordination language MANIFOLD. Theor. Comput. Sci. 240(1): 3-47 (2000) - [c14]Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue:
A Logical Interface Description Language for Components. COORDINATION 2000: 249-266 - [c13]Frank S. de Boer, Marcello M. Bonsangue
A Compositional Model for Confluent Dynamic Data-Flow Networks. MFCS 2000: 212-221 - [c12]Farhad Arbab, Marcello M. Bonsangue, Frank S. de Boer:
A Coordination Lanuage for Mobile Components. SAC (1) 2000: 166-173
1990 – 1999
- 1999
- [j4]Marcello M. Bonsangue
Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems. Inf. Comput. 155(1-2): 170-201 (1999) - [c11]Marcello M. Bonsangue
Comparing Software Architectures for Coordination Languages. COORDINATION 1999: 150-165 - [c10]Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere:
Developing Object-based Distributed Systems. FMOODS 1999 - [c9]Marcello M. Bonsangue, Joost N. Kok:
Comparing Coordination Models Based on Shared Distributed Replicated Data. SAC 1999: 156-165 - 1998
- [b1]Marcello M. Bonsangue:
Topological Duality in Semantics. Electronic Notes in Theoretical Computer Science 8, 1998, pp. 1-274 - [j3]Marcello M. Bonsangue
Generalized Metric Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding. Theor. Comput. Sci. 193(1-2): 1-51 (1998) - [c8]Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere:
An Approach to Object-Orientation in Action Systems. MPC 1998: 68-95 - [c7]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 - 1997
- [c6]Marcello M. Bonsangue, Joost N. Kok:
Specifying Computations Using Hyper Transition Systems. MFCS 1997: 169-178 - [c5]Marcello M. Bonsangue
Infinitary Domain Logic for Finitary Transition Systems. TACS 1997: 213-232 - 1995
- [j2]Marcello M. Bonsangue
Duality Beyond Sober Spaces: Topological Spaces and Observation Frames. Theor. Comput. Sci. 151(1): 79-124 (1995) - [c4]Marcello M. Bonsangue, Joost N. Kok, Erik P. de Vink:
Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency. CONCUR 1995: 363-377 - 1994
- [j1]Marcello M. Bonsangue
The Weakest Precondition Calculus: Recursion and Duality. Formal Aspects Comput. 6(6A): 788-800 (1994) - [c3]Marcello M. Bonsangue, Joost N. Kok:
Relating Multifunctions and Predicate Transformers through Closure Operators. TACS 1994: 822-843 - 1993
- [c2]Marcello M. Bonsangue, Joost N. Kok:
Isomorphisms between Predicates and State Transformers. MFCS 1993: 301-310 - 1992
- [c1]Marcello M. Bonsangue, Joost N. Kok:
Semantics, Orderings and Recursion in the Weakest Precondition Calculus. REX Workshop 1992: 91-109
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: