![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Marcello M. Bonsangue
Person information
- affiliation: Leiden Institute of Advanced Computer Science, Netherlands
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
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, Fengli Zhang, Fan Zhou
, Marcello M. Bonsangue
:
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
, Benjamin Lion:
From symbolic constraint automata to Promela. J. Log. Algebraic Methods Program. 128: 100794 (2022) - [j42]Xueqin Chen
, Fan Zhou
, Goce Trajcevski
, Marcello M. Bonsangue
:
Multi-view learning with distinguishable feature fusion for rumor detection. Knowl. Based Syst. 240: 108085 (2022) - [j41]Shima Javanmardi
, Ali Mohammad Latif
, Mohammad Taghi Sadeghi, Mehrdad Jahanbanifard, Marcello M. Bonsangue
, Fons J. Verbeek:
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
, Fan Zhou
, Fengli Zhang
, Marcello M. Bonsangue
:
Modeling microscopic and macroscopic information diffusion for rumor detection. Int. J. Intell. Syst. 36(10): 5449-5471 (2021) - [j38]Xueqin Chen
, Fan Zhou
, Fengli Zhang, Marcello M. Bonsangue
:
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
, Jan N. van Rijn
, Marcello M. Bonsangue
:
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
, Huibiao Zhu, Xi Wu, Lili Xiao, Marcello M. Bonsangue, Wanling Xie, Lei Zhang:
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
, Einar Broch Johnsen
, Violet Ka I Pun
, Silvia Lizeth Tapia Tarifa
, Lars Tveito:
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
, Marcello M. Bonsangue
, Zhongwei Xu:
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é
, Jurriaan Rot, Alexandra Silva:
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é
, Jurriaan Rot, Alexandra Silva:
Completeness and Incompleteness of Synchronous Kleene Algebra. CoRR abs/1905.08554 (2019) - 2018
- [j35]Marcello M. Bonsangue
, Yuxin Deng
:
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
, Jan Rutten:
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
, Marcello M. Bonsangue
, Damien Pous
, Jan Rutten, Alexandra Silva:
Enhanced coalgebraic bisimulation. Math. Struct. Comput. Sci. 27(7): 1236-1264 (2017) - [p4]Marc M. Lankhorst, Leon van der Torre
, Henderik A. Proper
, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue:
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
, Frank S. de Boer, Marcello M. Bonsangue, Andries W. Stam, Marc M. Lankhorst, Dick A. C. Quartel, Adina Aldea:
Architecture Analysis. Enterprise Architecture at Work, 4th ed. 2017: 215-252 - 2016
- [j33]Jurriaan Rot, Marcello M. Bonsangue
, Jan Rutten:
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
, Marcello M. Bonsangue
, Georgiana Caltais, Jan Rutten, Alexandra Silva:
A coalgebraic view on decorated traces. Math. Struct. Comput. Sci. 26(7): 1234-1268 (2016) - [c68]Julian Salamanca, Marcello M. Bonsangue
, Jurriaan Rot:
Duality of Equations and Coequations via Contravariant Adjunctions. CMCS 2016: 73-93 - [p1]Marcello M. Bonsangue
, Michiel Helvensteijn, Joost N. Kok, Natallia Kokash
:
Action Systems for Pharmacokinetic Modeling. From Action Systems to Distributed Systems 2016: 189-200 - [e15]Erika Ábrahám
, Marcello M. Bonsangue
, Einar Broch Johnsen
:
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
, Helle Hvid Hansen
, Alexander Kurz
, Jurriaan Rot:
Presenting Distributive Laws. Log. Methods Comput. Sci. 11(3) (2015) - [j29]Joost Winter, Marcello M. Bonsangue
, Jan J. M. M. Rutten:
Context-free coalgebras. J. Comput. Syst. Sci. 81(5): 911-939 (2015) - [j28]Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue
, Dorel Lucanu
, Jurriaan Rot:
Model checking recursive programs interacting via the heap. Sci. Comput. Program. 100: 61-83 (2015) - [j27]Frank S. de Boer, Marcello M. Bonsangue
, Jurriaan Rot:
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
, Jan J. M. M. Rutten:
Equations and Coequations for Weighted Automata. MFCS (1) 2015: 444-456 - [c66]Julian Salamanca, Adolfo Ballester-Bolinches
, Marcello M. Bonsangue
, Enric Cosme-Llópez
, Jan J. M. M. Rutten:
Regular Varieties of Automata and Coequations. MPC 2015: 224-237 - 2014
- [j25]Behrooz Nobakht, Frank S. de Boer, Marcello M. Bonsangue
, Stijn de Gouw
, Mohammad Mahdi Jaghoori:
Monitoring method call sequences using annotations. Sci. Comput. Program. 94: 362-378 (2014) - [j24]Filippo Bonchi
, Marcello M. Bonsangue
, Helle Hvid Hansen
, Prakash Panangaden, Jan J. M. M. Rutten, Alexandra Silva:
Algebra-coalgebra duality in Brzozowski's minimization algorithm. ACM Trans. Comput. Log. 15(1): 3:1-3:29 (2014) - [c65]Henning Basold
, Marcello M. Bonsangue
, Helle Hvid Hansen
, Jan Rutten:
(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
, Jurriaan Rot, Davide Ancona, Frank S. de Boer, Jan J. M. M. Rutten:
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
, Jan Rutten:
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
, Jan J. M. M. Rutten:
Generalizing determinization from automata to coalgebras. Log. Methods Comput. Sci. 9(1) (2013) - [j22]Joost Winter, Marcello M. Bonsangue
, Jan J. M. M. Rutten:
Coalgebraic Characterizations of Context-Free Languages. Log. Methods Comput. Sci. 9(3) (2013) - [j21]Marcello M. Bonsangue
, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva:
Automatic equivalence proofs for non-deterministic coalgebras. Sci. Comput. Program. 78(9): 1324-1345 (2013) - [j20]Marcello M. Bonsangue
, Stefan Milius, Alexandra Silva:
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
, Alexander Kurz
, Jurriaan Rot:
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
, Jan J. M. M. Rutten:
Coinductive Proof Techniques for Language Equivalence. LATA 2013: 480-492 - [c57]Jurriaan Rot, Marcello M. Bonsangue
, Jan J. M. M. Rutten:
Coalgebraic Bisimulation-Up-To. SOFSEM 2013: 369-381 - [c56]Stefan Milius, Marcello M. Bonsangue
, Robert S. R. Myers, Jurriaan Rot:
Rational Operational Models. MFPS 2013: 257-282 - [e13]Bernhard Beckert
, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue:
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
, Reiner Hähnle
, Frank S. de Boer, Marcello M. Bonsangue
:
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
, Marcello M. Bonsangue
, Michele Boreale
, Jan J. M. M. Rutten, Alexandra Silva:
A coalgebraic perspective on linear weighted automata. Inf. Comput. 211: 77-105 (2012) - [j18]Marcello M. Bonsangue
, Dave Clarke, Alexandra Silva:
A model of context-dependent component connectors. Sci. Comput. Program. 77(6): 685-706 (2012) - [c55]Filippo Bonchi
, Marcello M. Bonsangue
, Jan J. M. M. Rutten, Alexandra Silva:
Brzozowski's Algorithm (Co)Algebraically. Logic and Program Semantics 2012: 12-23 - [c54]Frank S. de Boer, Marcello M. Bonsangue
, Jurriaan Rot:
Automated Verification of Recursive Programs with Pointers. IJCAR 2012: 149-163 - [c53]Marcello M. Bonsangue
, Jan J. M. M. Rutten, Joost Winter:
Defining Context-Free Power Series Coalgebraically. CMCS 2012: 20-39 - [c52]Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue
, Dorel Lucanu, Jurriaan Rot:
Bounded Model Checking of Recursive Programs with Pointers in K. WADT 2012: 59-76 - [c51]Marcello M. Bonsangue
, Stefan Milius, Jurriaan Rot:
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
, Dorel Lucanu:
Interacting via the Heap in the Presence of Recursion. ICE 2012: 99-113 - [c49]Filippo Bonchi
, Marcello M. Bonsangue
, Georgiana Caltais, Jan J. M. M. Rutten, Alexandra Silva:
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
, Marcello M. Bonsangue
, Jan J. M. M. Rutten:
Quantitative Kleene coalgebras. Inf. Comput. 209(5): 822-849 (2011) - [j16]Mohammad Izadi, Marcello M. Bonsangue
, Dave Clarke:
Büchi automata for modeling component connectors. Softw. Syst. Model. 10(2): 183-200 (2011) - [c48]Joost Winter, Marcello M. Bonsangue
, Jan J. M. M. Rutten:
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
, Frank S. de Boer, Stijn de Gouw
:
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
, Marcello M. Bonsangue
, Jan J. M. M. Rutten:
Generalizing the powerset construction, coalgebraically. FSTTCS 2010: 272-283 - [c44]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 - [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
, Einar Broch Johnsen
, Amy L. Murphy, Jan Vitek:
Preface. Theor. Comput. Sci. 410(2-3): 113 (2009) - [c43]Filippo Bonchi
, Marcello M. Bonsangue
, Jan J. M. M. Rutten, Alexandra Silva:
Deriving Syntax and Axioms for Quantitative Regular Behaviours. CONCUR 2009: 146-162 - [c42]Marcello M. Bonsangue
, Dave Clarke, Alexandra Silva:
Automata for Context-Dependent Connectors. COORDINATION 2009: 184-203 - [c41]Marcello M. Bonsangue
, Jan J. M. M. Rutten, Alexandra Silva:
A Kleene Theorem for Polynomial Coalgebras. FoSSaCS 2009: 122-136 - [c40]Marcello M. Bonsangue
, Mohammad Izadi:
Automata Based Model Checking for Reo Connectors. FSEN 2009: 260-275 - [c39]Marcello M. Bonsangue
, Jan J. M. M. Rutten, Alexandra Silva:
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
, Jan J. M. M. Rutten, Alexandra Silva:
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
, Dave Clarke:
Modeling Component Connectors: Synchronisation and Context-Dependency. SEFM 2008: 303-312 - [c35]Frank S. de Boer, Marcello M. Bonsangue
, Andreas Grüner, Martin Steffen:
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
, Alexander Kurz
:
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
, Alexander Kurz
:
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, Alexander Kurz
:
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
, Luuk Groenewegen, Andries Stam, S. Stevens, Leendert W. N. van der Torre
:
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
, Leendert W. N. van der Torre
:
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
, Joost N. Kok:
Infinite intersection types. Inf. Comput. 186(2): 285-318 (2003) - [j6]Marcello M. Bonsangue
, Joost N. Kok, Gianluigi Zavattaro:
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
, 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 - [c20]Frank S. de Boer, Marcello M. Bonsangue
:
Preface. CVUML 2003: 1-2 - [c19]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. 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
, 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) - [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
, Joost N. Kok:
Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems. Inf. Comput. 155(1-2): 170-201 (1999) - [c11]Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro:
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
, 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) - [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
, Joost N. Kok:
Infinitary Domain Logic for Finitary Transition Systems. TACS 1997: 213-232 - 1995
- [j2]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) - [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
, Joost N. Kok:
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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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-08-08 20:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint