Universiteit Leiden

nl en

Marcello Bonsangue

Opleidingsdirecteur / universitair hoofddocent

Naam
Dr. M.M. Bonsangue
Telefoon
+31 71 527 7095
E-mail
m.m.bonsangue@liacs.leidenuniv.nl

Marcello Bonsangue is associate professor at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University.

Meer informatie over Marcello Bonsangue

I am associate professor at the Leiden Institute of Advanced Computer Science (LIACS) of the Leiden University. From 2001 till 2006 I have been a research fellow of the Royal Dutch Academy of Arts and Sciences (in Dutch: KNAW). Previously, I have worked at the Free University in Amsterdam and at the Centre for Mathematics and Computer Science (CWI) in Amsterdam. I received my Ph.D. in Computer Science at the Free University in Amsterdam, in 1996, and my master in Computer Science at the University of Milano. 

Opleidingsdirecteur / universitair hoofddocent

  • Wiskunde en Natuurwetenschappen
  • Leiden Inst Advanced Computer Sciences

Werkadres

Snellius
Niels Bohrweg 1
2333 CA Leiden
Kamernummer 157a

Contact

  • 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.boekredactie
  • 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 ).boekredactie
  • 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.artikel in tijdschrift (refereed)
  • Rot J., Bonsangue M.M. & Rutten J. (2016), Proving Language Inclusion and Equivalence by Coinduction, Information and Computation 264: 62-76.artikel in tijdschrift (refereed)
  • Rot J. & Bonsangue M.M. (2016), Structural Congruence for Bialgebraic Semantics, Journal of Logical and Algebraic Methods in Programming 85(6): 1268-1291.artikel in tijdschrift (refereed)
  • 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: Chapman and Hall/CRC press. 189-200.boekdeel
  • Salamanca J., Bonsangue M.M. & Rot J.C. (2016), Duality of Equations and Coequations via Contravariant Adjunctions. In: 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. nr. 9608 Cham: Springer International Publishing. 73-97.congresbijdrage (refereed)
  • Bonsangue M.M., Helvensteijn M., Kok J.N. & Kokash N. (2015), Action Systems for Pharmacokinetic Modeling. In: Petre L., Sekerinski E. (red.) From Action Systems to Distributed Systems: The Refinement Approach.: Taylor and Francis. 1-14.boekdeel
  • Bonsangue M.M. (red.) (2015), Coalgebraic Methods in Computer Science, Special issue. nr. 604(2): Elsevier.boekredactie
  • 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.artikel in tijdschrift (refereed)
  • Winter J., Bonsangue M.M. & Rutten J.J.M.M. (2015), Context-free coalgebras, Journal of Computer and System Sciences 81(5): 911-939.artikel in tijdschrift (refereed)
  • Bonsangue M.M., Hansen H.H., Kurz A. & Rot J.C. (2015), Presenting Distributive Laws. In: Heckel R., Milius S. (red.) Algebra and Coalgebra in Computer Science. Logical Methods in Computer Science nr. 11.boekdeel
  • 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.artikel in tijdschrift (refereed)
  • Salamanca J., Ballester-Bolinches A., Bonsangue M.M., Cosme-Llopez E. & Rutten J.J.M.M. (2015), Regular Varieties of Automata and Coequations. In: Proceedings 12th International Conference on Mathematics of Program Construction (MPC 2015). nr. LNCS 9129. 224-237.congresbijdrage (refereed)
  • Bonsangue M.M., Rutten J.J.M.M. & Salamanca J. (2015), Equations and Coequations for Weighted Automata. In: Proceedings 40th International Symposium on Mathematical Foundations of Computer Science (MFCS 2015). nr. LNCS 9234. 444-456.congresbijdrage (refereed)
  • Fortin M., Bonsangue M.M. & Rutten J.J.M.M. (2015), (Co)algebraic semantics of heavy-weighted automata. In: Codescu M., Diaconescu R., Tutu I. (red.) Recent Trends in Algebraic Development Techniques, 22nd International Workshop (WADT 2014). nr. LNCS 9463: Springer. 48-68.congresbijdrage (refereed)
  • Rot J.C. & Bonsangue M.M. (2014), Combining Bialgebraic Semantics and Equations. In: Proceedings Foundations of Software Science and Computation Structures nr. LNCS 8412: Springer. 381-396.congresbijdrage (refereed)
  • 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. In: Proceedings ICALP 2014 nr. LNCS 8573: Springer. 62-73.congresbijdrage (refereed)
  • Bonsangue M.M. (Red.) (2014), Coalgebraic Methods in Computer Science, revise selected papers Twelfth IFIP WG 1.3 International Workshop CMCS 2014 Lectures notes in computer science nr. 8446: Springer.boekredactie
  • 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.artikel in tijdschrift
  • 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.artikel in tijdschrift (refereed)
  • Broek R. van den, Bonsangue M.M., Chaudron M.R.V. & Merode H.J.A. van (2014), Integrating Testing into Agile Software Development Processes. In: 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.congresbijdrage (refereed)
  • 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 Lectures notes in computer science nr. 8464: Springer. 124-145.boekdeel
  • Fortin M., Bonsangue M.M. & Rutten J.J.M.M. (2014), Coalgebraic semantics of heavy-weighted automata nr. FM-1405. Amsterdam, The Netherlands: CWI.rapport
  • Rot J., Bonsangue M.M. & Rutten J.J.M.M. (2013), Coalgebraic Bisimulation-up-to. In: Emde Boas P. van (Red.) Proceeding of SOFSEM 2013, track A Lecture Notes in Computer Science. 369-381.congresbijdrage (refereed)
  • Rot J., Bonsangue M.M. & Rutten J. (2013), Coinductive Proof Techniques for Language Equivalence. In: Dediu A.-H., Martin-Vide C., Truthe B. (Red.) Language and Automata Theory and Applications Lecture Notes in Computer Science nr. 7810: Springer. 480-492.congresbijdrage (refereed)
  • 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.boekredactie
  • Bonsangue M.M., Milius S. & Silva A.M. (2013), Sound and complete axiomatizations of coalgebraic language equivalence, ACM Transactions on Computational Logic 14(1): paper number 7.artikel in tijdschrift (refereed)
  • 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.artikel in tijdschrift (refereed)
  • 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): paper number 9.artikel in tijdschrift (refereed)
  • 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).artikel in tijdschrift (refereed)
  • 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.artikel in tijdschrift (refereed)
  • Rot J.C., Boer F.S. de & Bonsangue M.M. (2013), Unbounded Allocation in Bounded Heaps. In: Proceedings of Fundamentals of Software Engineering (FSEN 2013) nr. LNCS 8161: Springer-Verlag. 5-20.congresbijdrage (refereed)
  • 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. In: Post-proceedings 21st International Workshop on Algebraic Development Techniques (WADT 2012) nr. LNCS 7841: Springer-Verlag. 59-76.congresbijdrage (refereed)
  • Milius S., Bonsangue M.M., Rot J.C. & Myers R.S.R. (2013), Rational Operational Models. In: Proceedings 29th Conference on Mathematical Foundations of Programming Semantics (MFPS IXXX) nr. ENTCS 298: Elsevier. 257-282.congresbijdrage (refereed)
  • Bonsangue M.M., Hansen H.H., Kurz A. & Rot J.C. (2013), Presenting Distributive Laws. In: Proceedings Fifth Conference on Algebra and coalgebra in Computer Science (CALCO 2013) nr. LNCS 8089: Springer-Verlag. 95-109.congresbijdrage (refereed)
  • Basold H., Bonsangue M.M. & Rutten J. (2013), Algebraic characterisations of signal flow graphs. In: Seisenberger M. (Red.) Proceedings of Calco 2013 Early Ideas.congresbijdrage (refereed)
  • Rot J.C. & Bonsangue M.M. (2013), Structural Congruences for Bialgebraic Semantics. In: Uustalu T., Vain J. (Red.) Proceedings 25th Nordic Workshop on Programming Theory (NWPT 2013).congresbijdrage (refereed)
  • 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 Lectures notes in computer science nr. 7542: Springer-Verlag.boekredactie
  • 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.boekredactie
  • 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.rapport
  • 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.artikel in tijdschrift (refereed)
  • Boer F.S. de, Bonsangue M.M. & Rot J. (2012), Automated Verification of Recursive Programs with Pointers. In: Gramlich B., Miller D., Sattler U. (Red.) Automated Reasoning - 6th International Joint Conference, IJCAR 2012 Lecture Notes in Computer Science: Springer. 149-163.congresbijdrage (refereed)
  • Bonsangue M.M., Milius S. & Rot J. (2012), On the specification of operations on the rational behaviour of systems. In: Luttik B., Reniers M.A. (Red.) Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics (EXPRESS/SOS 2012). 3-18.congresbijdrage (refereed)
  • 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.boek
  • Bonsangue M.M., Clarke D. & Silva A.M. (2012), A Model of Context-Dependent Component Connectors, Science of Computer Programming 77(6): 685-706.artikel in tijdschrift (refereed)
  • Bonchi F., Bonsangue M.M., Boreale M., Rutten J.J.M.M. & Silva A.M. (2012), A Coalgebraic Perspective on Linear Weighted Automata, Information and Computation 211: 77-105.artikel in tijdschrift (refereed)
  • 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.boekdeel
  • Bonsangue M.M., Rutten J.J.M.M. & Winter Joost (2012), Defining context-free power series coalgebraically. In: Pattinson D., Schroeder L. (Red.) Proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science,(CMCS 2012) Lecture notes in Computer Science. 20-39.congresbijdrage (refereed)
  • Bonchi F., Bonsangue M.M., Caltais G., Rutten J.J.M.M. & Silva A.M. (2012), Final semantics for decorated traces. In: 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.congresbijdrage (refereed)
  • Rot J., Asavoae I.M., Boer F.S. de, Bonsangue M.M. & Lucanu D. (2012), Interacting via the Heap in the Presence of Recursion. In: 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.congresbijdrage (refereed)
  • Bonsangue M.M., Milius S. & Rot J. (2012), On the specification of operations on the rational behaviour of systems. In: 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.congresbijdrage (refereed)
  • Bonsangue M.M. (2012), Conformance Testing of Interacting Components - Abstract of Invited Presentation. In: 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.congresbijdrage (refereed)
  • 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.rapport
  • 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.rapport
  • 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.rapport
  • 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 Ninth International Workshop on Rewriting Logic and its Applications (WRLA 2012).congresbijdrage (refereed)
  • Silva A.M., Bonsangue M.M. & Rutten J.J.M.M. (2011), Kleene Coalgebra - an overview, Nieuwsbrief Nederlandse Vereniging voor Theoretische Informatica: 35-43.overig
  • 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. In: Formal Methods: Foundations and Applications - Revised lectures of the 13th Brazilian Symposium of Formal Methods (SBMF 2010) Lecture notes in Computer Science: Springer-Verlag. 226-241.congresbijdrage (refereed)
  • Nobakht B., Bonsangue M.M., Boer F.S. de & Gouw S. de (2011), Monitoring Method Call Sequences Using Annotations. In: Proceedings 7th International Workshop on Formal Aspects of Component Software (FACS 2010) Lecture Notes in Computer Science: Springer Verlag.congresbijdrage (refereed)
  • Winter Joost, Bonsangue M.M. & Rutten J.J.M.M. (2011), Context-Free Languages, Coalgebraically. In: Proceedings Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011 Lecture notes in Computer Science: Springer. 359-376.congresbijdrage (refereed)
  • Silva A., Bonchi F., Bonsangue M.M. & Rutten J.J.M.M. (2011), Quantitative Kleene coalgebras, Information and Computation 209(5): 822-849.artikel in tijdschrift (refereed)
  • Izadi M., Bonsangue M.M. & Clarke D. (2011), Büchi automata for modeling component connectors, Software and System Modeling 10(2): 183-200.artikel in tijdschrift (refereed)
  • Bonsangue M.M., Clarke D. & Silva A.M. (2011), A Model of Context-Dependent Component Connectors, Science of Computer Programming.artikel in tijdschrift (refereed)
  • Pourvatan B., Sirjani M., Arbab F. & Bonsangue M.M. (2011), Synthesis of Reo Circuits Through Decomposition of Complete Constraint Automata. In: Proceedings of the 7th International Workshop on Formal Aspects of component Software (FACS 2010) Lecture notes in Computer Science: Springer. 237-258.congresbijdrage (refereed)
  • Winter Joost, Bonsangue M.M. & Rutten J.J.M.M. (2011), Context free languages, coalgebraically. Amsterdam: CWI.rapport
  • 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.rapport
  • Bonsangue M.M., Milius S. & Silva A.M. (2011), Sound and complete axiomatizations of coalgebraic language equivalence: arxiv.org.rapport
  • 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.rapport
  • 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.rapport
  • Bonchi F., Bonsangue M.M., Rutten J.J.M.M. & Silva A.M. (2011), Brzozowski's Algorithm (Co)Algebraically. Amsterdam: CWI.rapport
  • 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.boek
  • Silva A.M., Bonsangue M.M. & Rutten J.J.M.M. (2010), Non-Deterministic Kleene Coalgebras, Logical Methods in Computer Science 6(3).artikel in tijdschrift (refereed)
  • Silva A.M., Bonchi F., Bonsangue M.M. & Rutten J.J.M.M. (2010), Generalizing the powerset construction, coalgebraically. In: 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.congresbijdrage (refereed)
  • Bonsangue M.M., Clarke D. & Izadi M. (2010), Buchi Automata for Modeling Component Connectors, Journal of Software and System Modelling, special issue dedicated to SEFM 2008.artikel in tijdschrift (refereed)
  • Bonchi F., Silva A.M., Bonsangue M.M. & Rutten J.J.M.M. (2010), Quantitative Kleene Coalgebras, Information and Computation, special issue dedicated to Concur 2009.artikel in tijdschrift (refereed)
  • Bonchi F., Bonsangue M.M., Rutten J.J.M.M. & Silva A.M. (2010), Algebraic Enriched Coalgebras. Amsterdam: CWI.rapport
  • Rot J., Boer F.S. de & Bonsangue M.M. (2010), A Pushdown System Representation for Unbounded Object Creation (Position Paper/Work in Progress). In: B. Beckert C. Marche (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.congresbijdrage (refereed)
  • Pourvatan B., Sirjani M., Arbab F. & Bonsangue M.M. (2010), Synthesis of Reo Circuits Through Decomposition of Complete Constraint Automata. In: 7th International Workshop on Formal Aspects of Component Software (FACS 2010): Springer.congresbijdrage (refereed)
  • Bonsangue M.M., Broch Johnsen E., Murphy A. & Vitek J. (Red.) (2009), Distributed Computing Techniques Theoretical Computer Science. Amsterdam: Elsevier Science.boekredactie
  • 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.boekredactie
  • Bonsangue M.M., Rutten J.J.M.M. & Silva A.S. (2009), A Kleene theorem for polynomial coalgebras. In: L. Alfaro (Red.) Proc. of the 11th Int. Conf. on Foundations of Software Science and and Computation Structures (FoSSaCS 2009) Lecture notes in Computer Science: Springer. 122-136.congresbijdrage (refereed)
  • Bonsangue M.M., Clarke D. & Silva A. (2009), Automata for context-dependent connectors. In: Field J., Vasconcelos V. (Red.) Proceedings of Coordination 2009 Lecture notes in Computer Science: Springer. 184-203.congresbijdrage (refereed)
  • de Boer F.S., Bonsangue M.M., Gruener A. & Steffen M. (2009), Java Test Driver Generation from Object-Oriented Interaction Traces. In: 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.congresbijdrage (refereed)
  • Bonsangue M.M., Rutten J.J.M.M. & Silva A. (2009), An Algebra for Kripke Polynomial Coalgebras. In: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009: IEEE Computer Society. 49-58.congresbijdrage (refereed)
  • Bonchi F., Bonsangue M.M., Rutten J.J.M.M. & Silva A. (2009), Deriving syntax and axioms for quantitative regular behaviours. In: Bravetti M., Zavattaro G. (Red.) Proceedings of Concur 2009 Lecture notes in Computer Science: Springer. 146-162.congresbijdrage (refereed)
  • Bonsangue M.M. & Izadi M. (2009), Automata Based Model Checking for Reo Connectors. In: Proceedings of Foundation of Software Engineering (FSEN 2009) Lecture notes in Computer Science: Springer. 260-275.congresbijdrage (refereed)
  • Boer F.S. de, Bonsangue M.M. & Madelaine E. (2009), Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008. Heidelberg: Springer.boek
  • Boer F.S. de, Bonsangue M.M., Gruener A. & Steffen M. (2008), Java Test Driver Generation from Object-Oriented Interaction Traces. In: Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software TTSS'08.congresbijdrage (refereed)
  • 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.boekdeel
  • Izadi M. & Bonsangue M.M. (2008), Recasting Constraint Automata into Büchi Automata. In: J.S. Fitzgerald and A. E. Haxthausen and H. Yenigün (Red.) ICTAC Lecture notes in Computer Science. Heidelberg/Berlin: Springer. 156-170.congresbijdrage (refereed)
  • Boer F.S. de, Bonsangue M.M., Graf S. & Roever W.-P. de (2008), State-of-the-Art Survey. In: F. de Boer, M.M. Bonsangue, S. Graf and W.-P. de Roever (Red.) Proceedings of FMCO 2007 Lecture notes in Computer Science: Springer. 1-320.congresbijdrage (refereed)
  • Izadi M., Bonsangue M.M. & Clarke D. (2008), Modeling Component Connectors: Synchronisation and Context-Dependency. In: In Proc. of the 6th IEEE International Conferences on Software Engineering and Formal Methods IEEE Computer Society.congresbijdrage (refereed)
  • 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.boekdeel
  • 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.artikel in tijdschrift (refereed)
  • Bonsangue M.M. & Kurz A. (2007), Pi-Calculus in Logical Form. In: Proceedings of 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 07) IEEE Computer Society. 303-312.congresbijdrage (refereed)
  • Bonsangue M.M., Kurz A. & Rewitzky I.M. (2007), Coalgebraic representations of distributive lattices with operators, Topology and its Applications 154(4): 778-791.artikel in tijdschrift (refereed)
  • Boer F.S. de, Bonsangue M.M., Graf S. & Roever W.-P. de (2007), Formal Methods for Components and Objects Lecture notes in Computer Science. Amsterdam: Springer.boek
  • Bonsangue M.M. & Johnsen E.B. (2007), Formal Methods for Open Object-Based Distributed Systems (FMOODS 2007 Lecture notes in Computer Science. Paphos, Cyprus: Springer.boek
  • Boer F.S. de, Bonsangue M.M. & Guillen-Scholten J.V. (2006), From object to mobile channels. In: Zhiming Liu and He Jifeng (Red.) Mathematical Frameworks for Component Software -- Models for Analysis and Synthesis: the World Scientific.boekdeel
  • 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 Lecture notes in Computer Science: Springer. 1-447.boekdeel
  • 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.boekdeel
  • Boer F.S. de, Bonsangue M.M. & Guillen-Scholten J.V. (2006), Component Coordination: From Objects to Mobile Channels. In: He Jifeng and Zhiming Liu (Red.) Mathematical Frameworks for Component Software - Models for Analysis and Synthesis: World Scientific.boekdeel
  • Boer F.S. de & Bonsangue M.M. (2006), Preface, Theoretical Computer Science 365: 1-2.artikel in tijdschrift (refereed)
  • Bonsangue M.M. & Kurz A. (2006), Foundations of Software Science and Computational Structures. In: L. Aceto and A. Ingolfsdottir (Red.) Foundations of Software Science and Computational Structures. Berlin/Heidelberg: Springer. 172-186.boekdeel
  • 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.artikel in tijdschrift (refereed)
  • 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. In: C. Canal and M. Viroli (Red.) Foundation of Coordination Languages and Software Architectures (FoCLaSA 2005) Electronic Notes in Theoretical Computer Science: Elsevier Science. 121-138.congresbijdrage (refereed)
  • Á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. In: Proceedings of FMCO 2004: revised lectures: Springer-Verlag. 296-316.congresbijdrage (refereed)
  • 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. In: Proceedings on 2005 IEEE International Conference on Information Reuse and Integration (IRI-2005).congresbijdrage (refereed)
  • Boer F.S. de, Bonsangue M.M., Jacob J., Stam A. & Torre L. van der (2005), Enterprise architecture analysis in xml. In: Proceedings of the Hawaii International Conference on System Sciences (HICSS-38).congresbijdrage (refereed)
  • Boer F.S. de, Bonsangue M.M., Steffen M. & Abraham E. (2005), A fully abstract semantics for UML Components. In: Proceedings of FMCO 2004: revised lectures. 49-69.congresbijdrage (refereed)
  • Bonsangue M.M. & Kurz A. (2005), Dualities for logics of transition systems. In: Proceedings of the European Joint Conferences on Theory and Practice of Software (ETAPS 2005): Springer-Verlag. 455-469.congresbijdrage (refereed)
  • Guillen-Scholten J.V., Arbab F., Boer F.S. de & Bonsangue M.M. (2005), MoCha-pi, an Exogenous Coordination Calculus based on Mobile Channels. In: Proceedings of the 20th ACM Symposium on Applied Computing (SAC 2005): ACM press. 13-17.congresbijdrage (refereed)
  • 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.artikel in tijdschrift (refereed)
  • Arbab F., Boer F.S. de, Bonsangue M.M. & Guillen Scholten J.V. (2002), A channel based coordination model for components. In: 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.congresbijdrage (refereed)
  • Guillen Scholten J.V., Arbab F., Boer F.S. de & Bonsangue M.M. (2002), MoCha: a Middleware Based on Mobile Channels. In: Proc. of 26th International conference on Computer Software and Application Conference IEEE Computer Society. 667-673.congresbijdrage (refereed)
  • Guillen Scholten J.V., Arbab F., Boer F.S. de & Bonsangue M.M. (2002), Mobile Channels, Implementation Within and Outside Components. In: Brogi, A., Pimintel, E. (Red.) Proc. of Formal Methods and Component Interaction Electronic Notes in Theoretical Computer Science (ENTCS): Elsevier Science.congresbijdrage (refereed)
  • 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.boekdeel
  • 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.boekdeel

Geen relevante nevenwerkzaamheden