Marcello Bonsangue
Scientific Director / Professor Computer Science
- Name
- Prof.dr. M.M. Bonsangue
- Telephone
- +31 71 527 7095
- m.m.bonsangue@liacs.leidenuniv.nl
- ORCID iD
- 0000-0003-3746-3618
Marcello Bonsangue is scientific director, coordinator for the international students and relationships and member of the Scientific Council of LIACS.
More information about Marcello Bonsangue
News
-
Programming problem patched: Leiden PhD candidate discovers breakthrough in software security -
Marcello is the new scientific director of LIACS: 'It's time to give something back to the institute' -
Marcello Bonsangue new Scientific Director of the LIACS institute -
New way to rapidly detect fake news -
New research project makes the internet even better -
Cyber Security Governance Essentials -
Leiden University as source of inspiration for new Master's programme in Artificial Intelligence and Data Science -
Leiden University Day in China -
Computer Science in Leiden offers highest quality education -
Science delegation enhances influence in China -
Chinese exchange professors meet Faculty of Science -
Faculty of Science reinforces collaboration in China
See also
Former PhD candidates
He is also a full professor at the Leiden Institute of Advanced Computer Science (LIACS) of the Leiden University. From 2001 till 2006 he was a research fellow of the Royal Dutch Academy of Arts and Sciences (in Dutch: KNAW). Previously, he worked at the Free University in Amsterdam and at the Centre for Mathematics and Computer Science (CWI) in Amsterdam. He received his Ph.D. in Computer Science at the Free University in Amsterdam, in 1996, and his master in Computer Science at the University of Milano.
Scientific Director / Professor Computer Science
- Science
- Leiden Inst of Advanced Computer Science
- Feng H. & Bonsangue M.M. (2024), Concurrent NetKAT with ports, SAC '24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing. SAC '24: 39th ACM/SIGAPP Symposium on Applied Computing 8 April 2024 - 12 April 2024. New York, N.Y., U.S.A.: Association for Computing Machinery. 1722-1730.
- van der Meulen A., Armenia S., Bonsangue M., Carlini C. & Casey O. (2024), International higher education students: needs, challenges and opportunities. International Technology, Education and Development Conference 4 March 2024 - 6 March 2024 4169-4177.
- Barbero G., Bonsangue M.M. & Hermans F.F.J. (2023), How to Evaluate Games in Education: A Literature Review. Anutariya C., Liu D., Kinshuk T.A., Yang J. & Chang M. (Eds.), Proceedings of the 7th International Conference on Smart Learning Environments: smart learning for a sustainable society. 7th International Conference on Smart Learning Environments.ICSLE 2023 31 August 2023 - 1 September 2023. Lecture Notes in Educational Technology . Singapore: Springer. 32-41.
- Chen X., Zhou F., Trajcevski G. & Bonsangue M.M. (2022), Multi-view learning with distinguishable feature fusion for rumor detection, Knowledge-Based Systems 240: 108085.
- Feng H., Bonsangue M.M. & Lion B. (2022), From symbolic constraint automata to Promela, Journal of Logical and Algebraic Methods in Programming 128: 100794.
- Javanmardi S., Latif A.M., Sadeghi M.T., Jahanbanifard M., Bonsangue M.M. & Verbeek F.J. (2022), Caps captioning: a modern image captioning approach based on improved capsule network, Sensors 22(21): 8376.
- Chu W., Chen S. & Bonsangue M.M. (2022), Non-linear optimization methods for learning regular distributions. Riesco A. & Zhang M. (Eds.), Formal methods and software engineering. 23rd International Conference on Formal Engineering Methods, ICFEM 2022 24 October 2022 - 27 October 2022 no. 13478. Cham: Springer. 54-70.
- Chen X., Zhouf F., Zhang F.L. & Bonsangue M.M. (2021), Catch me if you can: a participant-level rumor detection framework via fine-grained user representation learning, Information Processing and Management 58(5): 102678.
- Chen X., Zhou F., Zhang F.L. & Bonsangue M.M. (2021), Modeling microscopic and macroscopic information diffusion for rumor detection, International Journal of Intelligent Systems 36(10): 5449-5471.
- Chen X., Zhang F.L., Zhou F. & Bonsangue M.M. (2021), Multi-scale graph capsule with influence attention for information cascades prediction, International Journal of Intelligent Systems 37(3): 2584-2611.
- Boer F.S. de & Bonsangue M.M. (2021), Symbolic execution formally explained, Formal Aspects of Computing 33(4-5): 617-636.
- Soomlek S. & Rijn J.N. van Bonsangue M.M. (2021), Automatic human-like detection of code smells. Soares C. & Torgo L. (Eds.), Proceedings of the 24th International Conference Discovery Science (DS 2021), Halifax, NS, Canada, October 11-13, 2021. 24th International Conference on Discovery Science, DS 2021 11 October 2021 - 13 October 2021 no. Lecture Notes in Computer Science . Cham: Springer. 19-28.
- Chu W., Chen S. & Bonsangue M.M. (2021), Learning probabilistic automata using residuals. Cerone A. & Olveczky P.C. (Eds.), Proceedings of the 18th International Colloquium Theoretical Aspects of Computing - {ICTAC} 2021 - , Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021. International Colloquium on Theoretical Aspects of Computing ICTAC 2021 8 September 2021 - 10 September 2021 no. Lecture Notes in Computer Science. Cham: Springer. 295-313.
- Chu W. & Bonsangue M.M. (2021), Learning probabilistic languages by k-testable machines. Aoki T. & Li Q. (Eds.), Proceedings international symposium on theoretical aspects of software engineering (TASE). International Symposium on Theoretical Aspects of Software Engineering (TASE) 11 December 2020 - 13 December 2020: IEEE. 129-136.
- Xiang S.Q., Zhu H.B., Wu X., Xiao L.L., Bonsangue M.M., Xie W.L. & Zhang L. (2020), Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra, Science of Computer Programming 187: 102343.
- Peng C., Bonsangue M.M. & Xu Z.W. (2019), Model Checking Longitudinal Control in Vehicle Platoon Systems, IEEE Access 7: 112015-112025.
- Bonsangue M.M. & Deng Y.X. (2018), Preface for the special issue of the 10th international symposium on theoretical aspects of software engineering (TASE 2016), Science of Computer Programming 162: 1-2.
- Bonsangue M.M. & Deng Y. (Eds.) (2018), Science of Computer Programming special issue on the 10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016). Science of Computer Programming: Elsevier.
- Boer F.S. de, Bonsangue M.M. & Rutten J.J.M.M. (Eds.) (2018), It is all about Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab. Lecture Notes in Computer Science no. 10865. Cham: Springer International Publishing.
- Rot J., Bonchi F., Bonsangue M.M., Pous D., Rutten J.J.M.M. & Silva A. (2017), Enhanced coalgebraic bisimulation, Mathematical Structures in Computer Science 27(7): 1236-1264.
- Bonsangue M.M., Helvensteijn M., Kok J.N. & Kokash N. (2016), Action Systems for Pharmacokinetic Modeling. In: Petre L. & Sekerinski E. (Eds.), From Action Systems to Distributed Systems: The Refinement Approach. Boca Raton: Taylor and Francis. 189-200.
- Abraham E., Bonsangue M.M. & Broch Johnsen E. (Eds.) (2016), Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Lecture Notes in Computer Science no. 9660. Cham: Springer Verlag (Germany): Series.
- Salamanca J., Bonsangue M.M. & Rot J.C. (2016), Duality of Equations and Coequations via Contravariant Adjunctions. Hasuo I. (Ed.), Coalgebraic Methods in Computer Science. 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers. The 13th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science 2 April 2016 - 3 April 2016 no. 9608. Cham: Springer International Publishing. 73-97.
- Bonsangue M.M. & Deng Y. (Eds.) (2016), Proceedings of the 10th international conference on Theoretical Aspects of Software Engineering (TASE 2016): Institute of Electrical and Electronics Engineers ( IEEE ).
- Rot J., Bonsangue M.M. & Rutten J. (2016), Proving Language Inclusion and Equivalence by Coinduction, Information and Computation 264: 62-76.
- Rot J. & Bonsangue M.M. (2016), Structural Congruence for Bialgebraic Semantics, Journal of Logical and Algebraic Methods in Programming 85(6): 1268-1291.
- Bonchi F., Bonsangue M.M., Caltais G., Rutten J. & Silva A.M. (2016), A Coalgebraic View on decorated traces, Mathematical Structures in Computer Science 26(7): 1234-1269.
- Boer F.S. de, Bonsangue M.M. & Rot J.C. (2015), It is Pointless to Point in Bounded Heaps, Science of Computer Programming 112(1): 102-118.
- Asavoae I.M., Boer F.S. de, Bonsangue M.M., Lucanu D. & Rot J.C. (2015), Model Checking Recursive Programs Interacting via the Heap, Science of Computer Programming 100: 61-83.
- Bonsangue M.M., Hansen H.H., Kurz A. & Rot J.C. (2015), Presenting Distributive Laws, Logical Methods in Computer Science 11(3:2): 1-23.
- Fortin M., Bonsangue M.M. & Rutten J.J.M.M. (2015), (Co)algebraic semantics of heavy-weighted automata. Codescu M., Diaconescu R. & Tutu I. (Eds.), Recent Trends in Algebraic Development Techniques. WADT 2015. Recent Trends in Algebraic Development Techniques, 22nd International Workshop (WADT 2014) 4 September 2014 - 7 September 2014 no. LNCS 9463. Cham: Springer. 48-68.
- Bonsangue M.M., Rutten J.J.M.M. & Salamanca J. (2015), Equations and Coequations for Weighted Automata. Italiano G.F., Pighizzini G. & Sannella D.T. (Eds.), Mathematical Foundations of Computer Science 2015. 40th International Symposium on Mathematical Foundations of Computer Science (MFCS 2015) 24 August 2015 - 28 August 2015 no. LNCS 9234. Berlin, Heidelberg: Springer. 444-456.
- Bonsangue M.M. (Ed.) (2015), Coalgebraic Methods in Computer Science, Special issue. Lecture Notes in Computer Science no. 8446. Berlin, Heidelberg: Elsevier.
- Salamanca J., Ballester-Bolinches A., Bonsangue M.M., Cosme-Llopez E. & Rutten J.J.M.M. (2015), Regular Varieties of Automata and Coequations, Proceedings 12th International Conference on Mathematics of Program Construction (MPC 2015). 12th International Conference on Mathematics of Program Construction (MPC 2015) 24 August 2015 - 28 August 2015 no. LNCS 9129 224-237.
- Winter J., Bonsangue M.M. & Rutten J.J.M.M. (2015), Context-free coalgebras, Journal of Computer and System Sciences 81(5): 911-939.
- Basold H., Bonsangue M.M., Hansen H.H. & Rutten J.J.M.M. (2014), (Co)Algebraic Characterizations of Signal Flow Graphs. In: Breugel F. van (Ed.), Horizons of the Mind. A Tribute to Prakash Panangaden no. 8464: Springer. 124-145.
- Broek R. van den, Bonsangue M.M., Chaudron M.R.V. & Merode H.J.A. van (2014), Integrating Testing into Agile Software Development Processes. Hammoudi S., Ferreira Pires L. & César das Neves R. (Eds.), Proceedings Second International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014). : SciTePress. 561-569.
- Bonsangue M.M., Rot J.C., Ancona D., Boer F.S. de & Rutten J.J.M.M. (2014), A Coalgebraic Foundation for Coinductive Union Types, Proceedings ICALP 2014. no. LNCS 8573: Springer. 62-73.
- Rot J.C. & Bonsangue M.M. (2014), Combining Bialgebraic Semantics and Equations, Proceedings Foundations of Software Science and Computation Structures. no. LNCS 8412: Springer. 381-396.
- Bonsangue M.M. (Ed.) (2014), Coalgebraic Methods in Computer Science, revise selected papers Twelfth IFIP WG 1.3 International Workshop CMCS 2014 no. 8446: Springer.
- Fortin M., Bonsangue M.M. & Rutten J.J.M.M. (2014), Coalgebraic semantics of heavy-weighted automata no. FM-1405. Amsterdam, The Netherlands: CWI.
- Bonchi F., Bonsangue M.M., Hansen H.H., Panangaden P., Rutten J.J.M.M. & Silva A. (2014), Algebra-coalgebra duality in Brzozowski's minimization algorithm, ACM Transactions on Computational Logic 15(1): paper number 3.
- Nobakht B., Bonsangue M.M., Boer F.S. de, Gouw S. de & Jaghoori M.M. (2014), Method Call Sequences using Annotations, Science of Computer Programming 94(3): 362-378.
- Bonsangue M.M., Caltais G., Goriac E.-I., Lucanu D., Rutten J. & Silva A.M. (2013), Automatic equivalence proofs for non-deterministic coalgebras, Science of Computer Programming 798(9): 1324-1345.
- Bonsangue M.M., Milius S. & Silva A.M. (2013), Sound and complete axiomatizations of coalgebraic language equivalence, ACM Transactions on Computational Logic 14(1): 7.
- Basold H., Bonsangue M.M. & Rutten J. (2013), Algebraic characterisations of signal flow graphs. Seisenberger M. (Ed.), Proceedings of Calco 2013 Early Ideas. .
- Rot J., Bonsangue M.M. & Rutten J.J.M.M. (2013), Coalgebraic Bisimulation-up-to. Emde Boas P. van (Ed.), Proceeding of SOFSEM 2013, track A. 369-381.
- Rot J.C. & Bonsangue M.M. (2013), Structural Congruences for Bialgebraic Semantics. Uustalu T. & Vain J. (Eds.), Proceedings 25th Nordic Workshop on Programming Theory (NWPT 2013). .
- Rot J., Bonsangue M.M. & Rutten J. (2013), Coinductive Proof Techniques for Language Equivalence. Dediu A.-H., Martin-Vide C. & Truthe B. (Eds.), Language and Automata Theory and Applications. LATA no. 7810: Springer. 480-492.
- Milius S., Bonsangue M.M., Rot J.C. & Myers R.S.R. (2013), Rational Operational Models, Proceedings 29th Conference on Mathematical Foundations of Programming Semantics (MFPS IXXX). no. ENTCS 298: Elsevier. 257-282.
- Bonsangue M.M., Hansen H.H., Kurz A. & Rot J.C. (2013), Presenting Distributive Laws, Proceedings Fifth Conference on Algebra and coalgebra in Computer Science (CALCO 2013). no. LNCS 8089: Springer-Verlag. 95-109.
- Rot J.C., Boer F.S. de & Bonsangue M.M. (2013), Unbounded Allocation in Bounded Heaps, Proceedings of Fundamentals of Software Engineering (FSEN 2013). no. LNCS 8161: Springer-Verlag. 5-20.
- Asavoae I.M., Boer F.S. de, Bonsangue M.M., Lucanu D. & Rot J.C. (2013), Bounded Model Checking of Recursive Programs with Pointers in K, Post-proceedings 21st International Workshop on Algebraic Development Techniques (WADT 2012). no. LNCS 7841: Springer-Verlag. 59-76.
- Haenle R., Giachino E., Boer F.S. de & Bonsangue M.M. (Eds.) (2013), Formal Methods for Components and Objects, 11th International Symposium, FMCO 2012, Proceedings HATS summer school 2012, State-of-the-Art Survey no. LNCS 7866: Springer-Verlag.
- Beckert B., Damiani F., Boer F.S. de & Bonsauge M.M. (Eds.) (2013), Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers no. 7542: Springer-Verlag.
- Bonchi F., Bonsangue M.M., Hansen H.H., Panangaden P., Rutten J.J.M.M. & Silva A.M. (2013), Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm, ACM Transactions on Computational Logic 15(1): .
- Winter J., Bonsangue M.M. & Rutten J.J.M.M. (2013), Coalgebraic characterizations of context-free languages, Logical Methods in Computer Science 9(3:14): 1-39.
- Silva A.M., Bonchi F., Bonsangue M.M. & Rutten J.J.M.M. (2013), Generalizing Determinization from Automata to Coalgebras, Logical Methods in Computer Science 9(1): 1-27.
- Beckert F., Damiani F., Boer F.S. de & Bonsangue M.M. (2012), Formal Methods for Components and Objects, 10th International Symposium FMCO 2011, State-of-the-Art Survey. Heidelberg, Berlin: Springer.
- Bonchi F., Bonsangue M.M., Rutten J.J.M.M. & Silva A.M. (2012), Brzozowski's algorithm (co)algebraically. In: , Logic and Program Semantics - Essays dedicated Logic and Program Semantics - Essays dedicated. Heidelberg, Berlin: Springer. 12-23.
- Bonsangue M.M. (2012), Conformance Testing of Interacting Components - Abstract of Invited Presentation. Carbone M., Lanese I., Silva A. & Sokolova A. (Eds.), Proceedings of the 5th Interaction and Concurrency Experience (ICE 2012). . Electronic Proceedings in Theoretical Computer Science 1-1.
- Rot J., Asavoae I.M., Boer F.S. de, Bonsangue M.M. & Lucanu D. (2012), Interacting via the Heap in the Presence of Recursion. Carbone M., Lanese I., Silva A. & Sokolova A. (Eds.), Proceedings of the 5th Interaction and Concurrency Experience (ICE 2012). . Electronic Proceedings in Theoretical Computer Science 99-113.
- Bonsangue M.M., Rutten J.J.M.M. & Winter Joost (2012), Defining context-free power series coalgebraically. Pattinson D. & Schroeder L. (Eds.), Proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science,(CMCS 2012). 20-39.
- Asavoae I.M., Boer F.S. de, Bonsangue M.M., Lucanu D. & Rot J. (2012), Bounded Model Checking of Recursive Program with Pointers in K Abstract, Pre-proceedings Ninth International Workshop on Rewriting Logic and its Applications (WRLA 2012). .
- Boer F.S. de, Bonsangue M.M. & Rot J. (2012), Automated Verification of Recursive Programs with Pointers. Gramlich B., Miller D. & Sattler U. (Eds.), Automated Reasoning - 6th International Joint Conference, IJCAR 2012. : Springer. 149-163.
- Bonchi F., Bonsangue M.M., Caltais G., Rutten J.J.M.M. & Silva A.M. (2012), Final semantics for decorated traces. Berger U. & Mislove M. (Eds.), Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2012). . Electronic Notes in Theoretical Computer Science 73-86.
- Bonsangue M.M., Milius S. & Rot J. (2012), On the specification of operations on the rational behaviour of systems. Luttik B. & Reniers M.A. (Eds.), Proceedings of Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics (Express/SOS 2012). . Electronic Proceedings in Theoretical Computer Science 3-18.
- Aichernig B.K., Boer F.S. de & Bonsangue M.M. (Eds.) (2012), Ninth International Symposium on Formal Methods for Components and Objects (FMCO 2010). Heidelberg: Springer.
- Asavoae I.M., Boer F.S. de, Bonsangue M.M., Lucanu D. & Rot J. (2012), Model Checking Programs with Dynamic Linked Structures: LIACS, Leiden University.
- Asavoae I.M., Boer F.S. de, Bonsangue M.M., Lucanu D. & Rot J. (2012), Bounded Model Checking of Recursive Programs with Pointers in K: Universidad Complutense de Madrid.
- Asavoae I.M., Boer F.S. de, Bonsangue M.M., Lucanu D. & Rot J. (2012), Model Checking Programs with Dynamic Linked Structures: LIACS, Universiteit Leiden.
- Asavoae I.M., Boer F.S. de, Bonsangue M.M., Lucanu D. & Rot J. (2012), Bounded Model Checking of Recursive Program with Pointers in K, abstract in Pre proceedings of the Ninth International Workshop on Rewriting Logic and its Applications (WRLA 2012): Tallinn University of Technology.
- Bonchi F., Bonsangue M.M., Boreale M., Rutten J.J.M.M. & Silva A. (2012), A coalgebraic perspective on linear weighted automata, Information and Computation 211: 77-105.
- Bonsangue M.M., Clarke D. & Silva A.M. (2012), A Model of Context-Dependent Component Connectors, Science of Computer Programming 77(6): 685-706.
- Pourvatan B., Sirjani M., Arbab F. & Bonsangue M.M. (2011), Synthesis of Reo Circuits Through Decomposition of Complete Constraint Automata, Proceedings of the 7th International Workshop on Formal Aspects of component Software (FACS 2010). : Springer. 237-258.
- Nobakht B., Bonsangue M.M., Boer F.S. de & Gouw S. de (2011), Monitoring Method Call Sequences Using Annotations, Proceedings 7th International Workshop on Formal Aspects of Component Software (FACS 2010). : Springer Verlag.
- Bonsangue M.M., Caltais G., Goriac E.-I., Lucanu D., Rutten J.J.M.M. & Silva A.M. (2011), A Decision Procedure for Bisimilarity of Generalized Regular Expressions, Formal Methods: Foundations and Applications - Revised lectures of the 13th Brazilian Symposium of Formal Methods (SBMF 2010). : Springer-Verlag. 226-241.
- Winter Joost, Bonsangue M.M. & Rutten J.J.M.M. (2011), Context-Free Languages, Coalgebraically, Proceedings Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011. : Springer. 359-376.
- Winter Joost, Bonsangue M.M. & Rutten J.J.M.M. (2011), Context free languages, coalgebraically. Amsterdam: CWI.
- Bonsangue M.M., Milius S. & Silva A.M. (2011), Sound and complete axiomatizations of coalgebraic language equivalence: arxiv.org.
- Bonchi F., Bonsangue M.M., Rutten J.J.M.M. & Silva A.M. (2011), Brzozowski's Algorithm (Co)Algebraically. Amsterdam: CWI.
- Bonchi F., Bonsangue M.M., Boreale M., Rutten J.J.M.M. & Silva A.M. (2011), A coalgebraic perspective on linear weighted automata. Amsterdam: CWI.
- Bonsangue M.M., Caltais G., Goriac E.-I., Lucanu D., Rutten J.J.M.M. & Silva A.M. (2011), Automatic Equivalence Proofs for Non-Deterministic Coalgebras (revised and extended version). Amsterdam: CWI.
- Bonsangue M.M., Caltais G., Goriac E.-I., Lucanu D., Rutten J.J.M.M. & Silva A.M. (2011), Automatic Equivalence Proofs for Non-Deterministic Coalgebras. Amsterdam: CWI.
- Silva A.M., Bonsangue M.M. & Rutten J.J.M.M. (2011), Kleene Coalgebra - an overview, Nieuwsbrief Nederlandse Vereniging voor Theoretische Informatica : 35-43.
- Silva A., Bonchi F., Bonsangue M.M. & Rutten J.J.M.M. (2011), Quantitative Kleene coalgebras, Information and Computation 209(5): 822-849.
- Izadi M., Bonsangue M.M. & Clarke D. (2011), Büchi automata for modeling component connectors, Software and Systems Modeling 10(2): 183-200.
- Bonsangue M.M., Clarke D. & Silva A.M. (2011), A Model of Context-Dependent Component Connectors, Science of Computer Programming : .
- Bonchi F., Silva A.M., Bonsangue M.M. & Rutten J.J.M.M. (2010), Quantitative Kleene Coalgebras, Information and Computation : .
- Bonsangue M.M., Clarke D. & Izadi M. (2010), Buchi Automata for Modeling Component Connectors, Software and Systems Modeling : .
- Boer F.S. de, Bonsangue M.M., Hallerstede S. & Leuschel M. (2010), Formal Methods for Components and Objects, 8th International Symposium FMCO 2009 - State of the Art Survey. Heidelberg Berlin: Springer.
- Silva A.M., Bonchi F., Bonsangue M.M. & Rutten J.J.M.M. (2010), Generalizing the powerset construction, coalgebraically. Lodaya K. & Mahajan M. (Eds.), Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010). . Leibniz International Proceedings in Informatics (LIPICS): Leibniz Zentrum fuer Informatik. 272-283.
- Rot J., Boer F.S. de & Bonsangue M.M. (2010), A Pushdown System Representation for Unbounded Object Creation (Position Paper/Work in Progress). Beckert B. & Marche C. (Eds.), Papers presented at the first International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010). . Karlsruhe Institute of Technology Reports in Informatics 2010.
- Pourvatan B., Sirjani M., Arbab F. & Bonsangue M.M. (2010), Synthesis of Reo Circuits Through Decomposition of Complete Constraint Automata, 7th International Workshop on Formal Aspects of Component Software (FACS 2010). : Springer.
- Bonchi F., Bonsangue M.M., Rutten J.J.M.M. & Silva A.M. (2010), Algebraic Enriched Coalgebras. Amsterdam: CWI.
- Silva A.M., Bonsangue M.M. & Rutten J.J.M.M. (2010), Non-Deterministic Kleene Coalgebras, Logical Methods in Computer Science 6(3): 1-39.
- Boer F.S. de, Bonsangue M.M. & Madelaine E. (2009), Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008. Heidelberg: Springer.
- Bonsangue M.M., Rutten J.J.M.M. & Silva A. (2009), An Algebra for Kripke Polynomial Coalgebras, Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009. LICS: IEEE Computer Society. 49-58.
- De Boer F.S., Bonsangue M.M., Gruener A. & Steffen M. (2009), Java Test Driver Generation from Object-Oriented Interaction Traces. Zhao J. & Stolz V. (Eds.), Proc. of the 2nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2008). . Electronic Notes in Theoretical Computer Science: Elsevier. 33-47.
- Bonchi F., Bonsangue M.M., Rutten J.J.M.M. & Silva A. (2009), Deriving syntax and axioms for quantitative regular behaviours. Bravetti M. & Zavattaro G. (Eds.), Proceedings of Concur 2009. Concur 2009: Springer. 146-162.
- Bonsangue M.M., Rutten J.J.M.M. & Silva A.S. (2009), A Kleene theorem for polynomial coalgebras. Alfaro L. (Ed.), Proc. of the 11th Int. Conf. on Foundations of Software Science and and Computation Structures (FoSSaCS 2009). FOSSACS 2009: Springer. 122-136.
- Bonsangue M.M., Clarke D. & Silva A. (2009), Automata for context-dependent connectors. Field J. & Vasconcelos V. (Eds.), Proceedings of Coordination 2009. : Springer. 184-203.
- Bonsangue M.M. & Izadi M. (2009), Automata Based Model Checking for Reo Connectors, Proceedings of Foundation of Software Engineering (FSEN 2009). FSEN 2009: Springer. 260-275.
- Bonsangue M.M., Broch Johnsen E., Murphy A. & Vitek J. (Eds.) (2009), Distributed Computing Techniques. Amsterdam: Elsevier Science.
- De Boer F.S., Bonsangue M.M. & Madelaine E. (Eds.) (2009), Formal Methods for Components and Objects, 7th International Symposium FMCO 2008, State-of-the-art-survey. Heidelberg: Springer.
- Boer F.S. de, Bonsangue M.M., Graf S. & Roever W.-P. de (2008), Formal Methods for Components and Objects. In: Boer F.S. de & Bonsnague M.M. (Eds.), 6th International Symposium, FMCO 2007: Springer. 1-168.
- Bonsangue M.M., Rutten J.J.M.M. & Silva A. (2008), Coalgebraic Logic and Synthesis of Mealy Machines. In: , Foundations of Software Science and Computational Structures. Heidelberg / Berlin: Springer. 231-245.
- Boer F.S. de, Bonsangue M.M., Gruener A. & Steffen M. (2008), Java Test Driver Generation from Object-Oriented Interaction Traces, Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software TTSS'08. ICTAC 2008 satellite workshop.
- Boer F.S. de, Bonsangue M.M., Graf S. & Roever W.-P. de (2008), State-of-the-Art Survey. Boer F. de, Bonsangue M.M., Graf S. & Roever W.-P. de (Eds.), Proceedings of FMCO 2007. : Springer. 1-320.
- Izadi M. & Bonsangue M.M. (2008), Recasting Constraint Automata into Büchi Automata. Fitzgerald J.S., Haxthausen A.E. & Yenigün H. (Eds.), ICTAC. . Heidelberg/Berlin: Springer. 156-170.
- Izadi M., Bonsangue M.M. & Clarke D. (2008), Modeling Component Connectors: Synchronisation and Context-Dependency, In Proc. of the 6th IEEE International Conferences on Software Engineering and Formal Methods. . IEEE Computer Society.
- Bonsangue M.M., Kurz A. & Rewitzky I.M. (2007), Coalgebraic representations of distributive lattices with operators, Topology and its Applications 154(4): 778-791.
- Bonsangue M.M., Boer F.S. de, Arbab F., Torre L. van der, Proper E. & Lankhorst M. (2007), Integrating Architectural Models: Symbolic Semantics and Subjective Models in Enterprise Architecture, SIG-MoBIS 1(2): 40-57.
- Boer F.S. de, Bonsangue M.M., Graf S. & Roever W.-P. de (2007), Formal Methods for Components and Objects. Amsterdam: Springer.
- Bonsangue M.M. & Johnsen E.B. (2007), Formal Methods for Open Object-Based Distributed Systems (FMOODS 2007. Paphos, Cyprus: Springer.
- Bonsangue M.M. & Kurz A. (2007), Pi-Calculus in Logical Form, Proceedings of 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 07). . IEEE Computer Society 303-312.
- Scholten J.V., Arbab F., Boer F.S. de & Bonsangue M.M. (2006), A component coordination model based on mobile channels, Fundamenta Informaticae 73: 561-582.
- Boer F.S. de & Bonsangue M.M. (2006), Preface, 365: 1-2.
- Bonsangue M.M. & Kurz A. (2006), Foundations of Software Science and Computational Structures. In: Aceto L. & Ingolfsdottir A. (Eds.), Foundations of Software Science and Computational Structures. Berlin/Heidelberg: Springer. 172-186.
- Boer F.S. de & Bonsangue M.M. (2006), Formal Methods for Components and Objects. In: Boer F.S. de & Bonsnague M.M. (Eds.), Theoretical Computer Science: Elsevier Science. 1-168.
- Boer F.S. de, Bonsangue M.M. & Guillen-Scholten J.V. (2006), From object to mobile channels. In: Liu Zhiming & He Jifeng (Eds.), Mathematical Frameworks for Component Software -- Models for Analysis and Synthesis: the World Scientific.
- Boer F.S. de, Bonsangue M.M., Graf S. & Roever W.-P. de (2006), Proceedings of FMCO 2005 -- revised lectures. In: Boer F., Bonsangue M.M., Graf S. & Roever W.-P. (Eds.), Proceedings of FMCO 2005 -- revised lectures: Springer. 1-447.
- Boer F.S. de, Bonsangue M.M. & Guillen-Scholten J.V. (2006), Component Coordination: From Objects to Mobile Channels. In: He Jifeng & Liu Zhiming (Eds.), Mathematical Frameworks for Component Software - Models for Analysis and Synthesis: World Scientific.
- Guillen Scholten J.V., Arbab F., Boer F.S. de & Bonsangue M.M. (2006), Modeling the Exogenous Coordination of Mobile Channel based Systems with Petri Nets. Canal C. & Viroli M. (Eds.), Foundation of Coordination Languages and Software Architectures (FoCLaSA 2005). . Electronic Notes in Theoretical Computer Science: Elsevier Science. 121-138.
- Guillen-Scholten J., Arbab F., Boer F.S. de & Bonsangue M.M. (2006), Modeling the exogenous coordination of mobile channel-based systems with Petri Nets, Electronic Notes in Theoretical Computer Science 154(1): 121-138.
- Bonsangue M.M. & Kurz A. (2006), Presenting functors by operations and equations. Aceto L. & Ingólfsdóttir A. (Eds.), Foundations of software science and computation structures. 9th International Conference, FOSSACS 2006 25 March 2006 - 31 March 2006. Lecture Notes in Computer Science no. 3921: Springer-Verlag. 172-186.
- Boer F.S. de, Bonsangue M.M., Steffen M. & Abraham E. (2005), A fully abstract semantics for UML Components, Proceedings of FMCO 2004: revised lectures. 49-69.
- Ábraham E., Bonsangue M.M., Boer F.S. de, Grüner A. & Steffen M. (2005), Observability, Connectivity, and Replay in a Sequential Calculus of Classes, Proceedings of FMCO 2004: revised lectures. : Springer-Verlag. 296-316.
- Bonsangue M.M. & Kurz A. (2005), Dualities for logics of transition systems, Proceedings of the European Joint Conferences on Theory and Practice of Software (ETAPS 2005). : Springer-Verlag. 455-469.
- Boer F.S. de, Bonsangue M.M., Jacob J., Stam A. & Torre L. van der (2005), Enterprise architecture analysis in xml, Proceedings of the Hawaii International Conference on System Sciences (HICSS-38). .
- Boer F.S. de, Bonsangue M.M., Groenewegen L.P.J., Stam A., Stevens S. & Torre L. van der (2005), Change impact analysis of enterprise architectures, Proceedings on 2005 IEEE International Conference on Information Reuse and Integration (IRI-2005). .
- Guillen-Scholten J.V., Arbab F., Boer F.S. de & Bonsangue M.M. (2005), MoCha-pi, an Exogenous Coordination Calculus based on Mobile Channels, Proceedings of the 20th ACM Symposium on Applied Computing (SAC 2005). : ACM press. 13-17.
- Bonsangue M.M. & Kurz A. (2005), Duality for logics of transition systems. Sassone V. (Ed.), Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005. 8th International Conference, FOSSACS 2005 4 April 2005 - 8 April 2005. Lecture Notes in Computer Science no. 3441. Berlin, Heidelberg: Springer. 455-469.
- Boer F.S. de & Bonsangue M.M. (2005), Preface, Science of Computer Programming 55(1-3): 1-2.
- Jonkers H., Lankhorst M., Buuren R. van, Hoppenbrouwers S., Bonsangue M. & Torre L. van der (2004), Concepts for modeling enterprise architectures, International Journal of Cooperative Information Systems 13(3): 257-287.
- Bonsangue M.M. & Kok J.N. (2003), Infinite intersection types, Information and Computation 186(2): 285-318.
- Guillen Scholten J.V., Arbab F., Boer F.S. de & Bonsangue M.M. (2002), MoCha: a Middleware Based on Mobile Channels, Proc. of 26th International conference on Computer Software and Application Conference. . IEEE Computer Society 667-673.
- Arbab F., Boer F.S. de, Bonsangue M.M. & Guillen Scholten J.V. (2002), A channel based coordination model for components. Brogi A. & Jacquet J.-M. (Eds.), Proceedings of the 1st International Workshop on Foundations of Coordination Languages and Software Architectures. . Electronic Notes in Theoretical Computer Science (ENTCS): Elsevier Science. 3.
- Guillen Scholten J.V., Arbab F., Boer F.S. de & Bonsangue M.M. (2002), Mobile Channels, Implementation Within and Outside Components. Brogi A. & Pimintel E. (Eds.), Proc. of Formal Methods and Component Interaction. . Electronic Notes in Theoretical Computer Science (ENTCS): Elsevier Science.
- Bonsangue M.M., Kok J.N. & Zavattaro G. (2002), Comparing coordination models and architectures using embeddings, Science of Computer Programming 46(1-2): 31-69.
- Bonsangue M.M. & Kok J.N. (1999), Toward an infinitary logic of domains: abramsky logic for transition systems, Information and Computation 155(1-2): 170-201.
- Bonsangue M.M., Kok J.N. & Zavattaro G. (1999), Comparing software architectures for coordination languages. Ciancarini P. & Wolf A.L. (Eds.), Coordinatio languages and models. COORDINATION 1999: Proceedings third international conference, COORDINATION'99. Coordinatio Languages and Models. COORDINATION 1999 26 April 1999 - 28 April 1999. Lecture Notes in Computer Science no. 1594. Berlin, Heidelberg: Springer. 150-165.
- Bonsangue M.M., Kok J.N. & Sere K. (1998), An Approach to Object-Orientation in Action Systems. In: Jeuring J. (Ed.), Proceedings of the 4th International Conference on Mathematics of Program Constructions (MPC'98). Berlijn, Duitsland: Springer-Verlag. 68-95.
- Bonsangue M.M., Kok J.N., Boasson M. & Jong E. de (1998), A software architecture for distributed control systems and its transition systems semantics. In: Carroll J., Lamont G.B., Oppenheim D., George K.M. & Bryant B. (Eds.), Proceedings of the 1998 ACM Symposium on Applied Computing (SAC'98). New York, U.S.A.: ACM Press. 159-168.
- Bonsangue M.M., Breugel F. van & Rutten J.J.M.M. (1998), Generalized metric spaces: : Completion, topology, and powerdomains via the Yoneda embedding, Theoretical Computer Science 193(1-2): 1-51.