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, 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]