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. 

For more information see my Persoonlijke website

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