Marcello Bonsangue
Wetenschappelijk directeur / hoogleraar Informatica
- Naam
- Prof.dr. M.M. Bonsangue
- Telefoon
- +31 71 527 7095
- m.m.bonsangue@liacs.leidenuniv.nl
- ORCID iD
- 0000-0003-3746-3618
Marcello Bonsangue is coördinator van internationale studenten en relaties en lid van de Wetenschappelijke Raad van het LIACS.
Meer informatie over Marcello Bonsangue
Promovendi
Nieuws
Zie ook
Oud-promovendi
Marcello Bonsangue is directeur onderwijs van het Leiden Institute of Advanced Computer Science (LIACS), coördinator internationale studenten en relaties, lid van het LIACS management team, en lid van de Wetenschappelijke Raad van het LIACS.
Hij is tevens hoogleraar aan het LIACS. Van 2001 tot 2006 was hij als wetenschappelijk medewerker verbonden aan de Koninklijke Nederlandse Akademie van Wetenschappen (KNAW). Daarvoor werkte hij aan de Vrije Universiteit in Amsterdam en bij het Centrum voor Wiskunde en Informatica (CWI) in Amsterdam. Hij promoveerde in 1996 in de informatica aan de Vrije Universiteit in Amsterdam en behaalde zijn master in de informatica aan de Universiteit van Milaan.
Wetenschappelijk directeur / hoogleraar Informatica
- Wiskunde en Natuurwetenschappen
- Leiden Inst of Advanced Computer Science
- 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. (red.), 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 augustus 2023 - 1 september 2023. Lecture Notes in Educational Technology . Singapore: Springer. 32-41.
- Chu W., Chen S. & Bonsangue M.M. (2022), Non-linear optimization methods for learning regular distributions. In: Riesco A. & Zhang M. (red.) Formal methods and software engineering. nr. 13478 Cham: Springer. 54-70.
- 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.
- 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.
- Chu W. & Bonsangue M.M. (2021), Learning probabilistic languages by k-testable machines. Aoki T. & Li Q. (red.), 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.
- Chu W., Chen S. & Bonsangue M.M. (2021), Learning probabilistic automata using residuals. Cerone A. & Olveczky P.C. (red.), 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 nr. Lecture Notes in Computer Science. Cham: Springer. 295-313.
- Soomlek S. & Rijn J.N. van Bonsangue M.M. (2021), Automatic human-like detection of code smells. Soares C. & Torgo L. (red.), 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 oktober 2021 - 13 oktober 2021 nr. Lecture Notes in Computer Science . Cham: Springer. 19-28.
- Boer F.S. de & Bonsangue M.M. (2021), Symbolic execution formally explained, Formal Aspects of Computing 33(4-5): 617-636.
- 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.
- 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., 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.
- 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. (red.) (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. (red.) (2018), It is all about Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab. Lecture Notes in Computer Science nr. 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.
- Rot J. & Bonsangue M.M. (2016), Structural Congruence for Bialgebraic Semantics, Journal of Logical and Algebraic Methods in Programming 85(6): 1268-1291.
- Rot J., Bonsangue M.M. & Rutten J. (2016), Proving Language Inclusion and Equivalence by Coinduction, Information and Computation 264: 62-76.
- Bonsangue M.M. & Deng Y. (red.) (2016), Proceedings of the 10th international conference on Theoretical Aspects of Software Engineering (TASE 2016): Institute of Electrical and Electronics Engineers ( IEEE ).
- Abraham E., Bonsangue M.M. & Broch Johnsen E. (red.) (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 nr. 9660. Cham: Springer Verlag (Germany): Series.
- Bonsangue M.M., Helvensteijn M., Kok J.N. & Kokash N. (2016), Action Systems for Pharmacokinetic Modeling. In: Petre L. & Sekerinski E. (red.), From Action Systems to Distributed Systems: The Refinement Approach. Boca Raton: Taylor and Francis. 189-200.
- 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.
- Salamanca J., Bonsangue M.M. & Rot J.C. (2016), Duality of Equations and Coequations via Contravariant Adjunctions. Hasuo I. (red.), 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 nr. 9608. Cham: Springer International Publishing. 73-97.
- Bonsangue M.M. (red.) (2015), Coalgebraic Methods in Computer Science, Special issue. Lecture Notes in Computer Science nr. 8446. Berlin, Heidelberg: Elsevier.
- 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. (red.), Mathematical Foundations of Computer Science 2015. 40th International Symposium on Mathematical Foundations of Computer Science (MFCS 2015) 24 augustus 2015 - 28 augustus 2015 nr. LNCS 9234. Berlin, Heidelberg: Springer. 444-456.
- 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 augustus 2015 - 28 augustus 2015 nr. LNCS 9129 224-237.
- 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.
- 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.
- Winter J., Bonsangue M.M. & Rutten J.J.M.M. (2015), Context-free coalgebras, Journal of Computer and System Sciences 81(5): 911-939.
- Fortin M., Bonsangue M.M. & Rutten J.J.M.M. (2015), (Co)algebraic semantics of heavy-weighted automata. Codescu M., Diaconescu R. & Tutu I. (red.), 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 nr. LNCS 9463. Cham: Springer. 48-68.
- 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.
- 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. (red.), 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. nr. LNCS 8573: Springer. 62-73.
- Bonsangue M.M. (red.) (2014), Coalgebraic Methods in Computer Science, revise selected papers Twelfth IFIP WG 1.3 International Workshop CMCS 2014 nr. 8446: Springer.
- 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 (red.), Horizons of the Mind. A Tribute to Prakash Panangaden nr. 8464: Springer. 124-145.
- Rot J.C. & Bonsangue M.M. (2014), Combining Bialgebraic Semantics and Equations, Proceedings Foundations of Software Science and Computation Structures. nr. LNCS 8412: Springer. 381-396.
- Fortin M., Bonsangue M.M. & Rutten J.J.M.M. (2014), Coalgebraic semantics of heavy-weighted automata nr. FM-1405. Amsterdam, The Netherlands: CWI.
- 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.
- 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.
- Basold H., Bonsangue M.M. & Rutten J. (2013), Algebraic characterisations of signal flow graphs. Seisenberger M. (red.), Proceedings of Calco 2013 Early Ideas. .
- Haenle R., Giachino E., Boer F.S. de & Bonsangue M.M. (red.) (2013), Formal Methods for Components and Objects, 11th International Symposium, FMCO 2012, Proceedings HATS summer school 2012, State-of-the-Art Survey nr. LNCS 7866: Springer-Verlag.
- Rot J.C., Boer F.S. de & Bonsangue M.M. (2013), Unbounded Allocation in Bounded Heaps, Proceedings of Fundamentals of Software Engineering (FSEN 2013). nr. LNCS 8161: Springer-Verlag. 5-20.
- 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.
- 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): .
- 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). nr. ENTCS 298: Elsevier. 257-282.
- Rot J., Bonsangue M.M. & Rutten J.J.M.M. (2013), Coalgebraic Bisimulation-up-to. Emde Boas P. van (red.), Proceeding of SOFSEM 2013, track A. 369-381.
- Rot J.C. & Bonsangue M.M. (2013), Structural Congruences for Bialgebraic Semantics. Uustalu T. & Vain J. (red.), Proceedings 25th Nordic Workshop on Programming Theory (NWPT 2013). .
- 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). nr. LNCS 8089: Springer-Verlag. 95-109.
- Beckert B., Damiani F., Boer F.S. de & Bonsauge M.M. (red.) (2013), Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers nr. 7542: Springer-Verlag.
- Rot J., Bonsangue M.M. & Rutten J. (2013), Coinductive Proof Techniques for Language Equivalence. Dediu A.-H., Martin-Vide C. & Truthe B. (red.), Language and Automata Theory and Applications. LATA nr. 7810: Springer. 480-492.
- 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.
- 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). nr. LNCS 7841: Springer-Verlag. 59-76.
- 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.
- 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.
- 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., Milius S. & Rot J. (2012), On the specification of operations on the rational behaviour of systems. Luttik B. & Reniers M.A. (red.), 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.
- 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. (red.), Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2012). . Electronic Notes in Theoretical Computer Science 73-86.
- Aichernig B.K., Boer F.S. de & Bonsangue M.M. (red.) (2012), Ninth International Symposium on Formal Methods for Components and Objects (FMCO 2010). Heidelberg: Springer.
- 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.
- 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), 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.
- Bonsangue M.M., Clarke D. & Silva A.M. (2012), A Model of Context-Dependent Component Connectors, Science of Computer Programming 77(6): 685-706.
- 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, Pre-proceedings Ninth International Workshop on Rewriting Logic and its Applications (WRLA 2012). .
- 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. (red.), 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. (red.), Proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science,(CMCS 2012). 20-39.
- Boer F.S. de, Bonsangue M.M. & Rot J. (2012), Automated Verification of Recursive Programs with Pointers. Gramlich B., Miller D. & Sattler U. (red.), Automated Reasoning - 6th International Joint Conference, IJCAR 2012. : Springer. 149-163.
- Bonsangue M.M. (2012), Conformance Testing of Interacting Components - Abstract of Invited Presentation. Carbone M., Lanese I., Silva A. & Sokolova A. (red.), Proceedings of the 5th Interaction and Concurrency Experience (ICE 2012). . Electronic Proceedings in Theoretical Computer Science 1-1.
- 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.
- 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.
- Bonsangue M.M., Clarke D. & Silva A.M. (2011), A Model of Context-Dependent Component Connectors, Science of Computer Programming : .
- 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.
- 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.
- 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.
- 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.
- Silva A.M., Bonsangue M.M. & Rutten J.J.M.M. (2011), Kleene Coalgebra - an overview, Nieuwsbrief Nederlandse Vereniging voor Theoretische Informatica : 35-43.
- 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.
- Winter Joost, Bonsangue M.M. & Rutten J.J.M.M. (2011), Context free languages, coalgebraically. Amsterdam: CWI.
- Bonchi F., Bonsangue M.M., Rutten J.J.M.M. & Silva A.M. (2011), Brzozowski's Algorithm (Co)Algebraically. 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.
- 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., Milius S. & Silva A.M. (2011), Sound and complete axiomatizations of coalgebraic language equivalence: arxiv.org.
- 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.
- Bonchi F., Silva A.M., Bonsangue M.M. & Rutten J.J.M.M. (2010), Quantitative Kleene Coalgebras, Information and Computation : .
- 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.
- Bonchi F., Bonsangue M.M., Rutten J.J.M.M. & Silva A.M. (2010), Algebraic Enriched Coalgebras. Amsterdam: CWI.
- 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. (red.), 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.
- Silva A.M., Bonchi F., Bonsangue M.M. & Rutten J.J.M.M. (2010), Generalizing the powerset construction, coalgebraically. Lodaya K. & Mahajan M. (red.), 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.
- 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.
- Bonsangue M.M., Clarke D. & Izadi M. (2010), Buchi Automata for Modeling Component Connectors, Software and Systems Modeling : .
- 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. (red.), Proceedings of Concur 2009. Concur 2009: Springer. 146-162.
- 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. (red.), 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.
- 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., Clarke D. & Silva A. (2009), Automata for context-dependent connectors. Field J. & Vasconcelos V. (red.), Proceedings of Coordination 2009. : Springer. 184-203.
- Bonsangue M.M., Rutten J.J.M.M. & Silva A.S. (2009), A Kleene theorem for polynomial coalgebras. Alfaro L. (red.), 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., 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. & Madelaine E. (red.) (2009), Formal Methods for Components and Objects, 7th International Symposium FMCO 2008, State-of-the-art-survey. Heidelberg: Springer.
- 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. (red.) (2009), Distributed Computing Techniques. Amsterdam: Elsevier Science.
- 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.
- 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.
- 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 (red.), Proceedings of FMCO 2007. : Springer. 1-320.
- 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. (red.), 6th International Symposium, FMCO 2007: Springer. 1-168.
- Izadi M. & Bonsangue M.M. (2008), Recasting Constraint Automata into Büchi Automata. Fitzgerald J.S., Haxthausen A.E. & Yenigün H. (red.), ICTAC. . Heidelberg/Berlin: Springer. 156-170.
- 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., 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.
- 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.
- Bonsangue M.M., Kurz A. & Rewitzky I.M. (2007), Coalgebraic representations of distributive lattices with operators, Topology and its Applications 154(4): 778-791.
- Boer F.S. de, Bonsangue M.M. & Guillen-Scholten J.V. (2006), Component Coordination: From Objects to Mobile Channels. In: He Jifeng & Liu Zhiming (red.), Mathematical Frameworks for Component Software - Models for Analysis and Synthesis: World Scientific.
- 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. (red.), 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. (red.), Theoretical Computer Science: Elsevier Science. 1-168.
- 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. (red.), Proceedings of FMCO 2005 -- revised lectures: Springer. 1-447.
- Boer F.S. de, Bonsangue M.M. & Guillen-Scholten J.V. (2006), From object to mobile channels. In: Liu Zhiming & He Jifeng (red.), Mathematical Frameworks for Component Software -- Models for Analysis and Synthesis: the World Scientific.
- 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.
- 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. (red.), Foundation of Coordination Languages and Software Architectures (FoCLaSA 2005). . Electronic Notes in Theoretical Computer Science: Elsevier Science. 121-138.
- 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.
- Á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., Steffen M. & Abraham E. (2005), A fully abstract semantics for UML Components, Proceedings of FMCO 2004: revised lectures. 49-69.
- 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. (2002), Mobile Channels, Implementation Within and Outside Components. Brogi A. & Pimintel E. (red.), Proc. of Formal Methods and Component Interaction. . Electronic Notes in Theoretical Computer Science (ENTCS): Elsevier Science.
- 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. (red.), Proceedings of the 1st International Workshop on Foundations of Coordination Languages and Software Architectures. . Electronic Notes in Theoretical Computer Science (ENTCS): Elsevier Science. 3.
- 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., 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. (red.), Proceedings of the 1998 ACM Symposium on Applied Computing (SAC'98). New York, U.S.A.: ACM Press. 159-168.
- Bonsangue M.M., Kok J.N. & Sere K. (1998), An Approach to Object-Orientation in Action Systems. In: Jeuring J. (red.), Proceedings of the 4th International Conference on Mathematics of Program Constructions (MPC'98). Berlijn, Duitsland: Springer-Verlag. 68-95.