|
|
|
|
|
|
|
|
Marcello M. Bonsangue
|
|
||
|
|
||||
|
|
|
|||
|
|
Books1.
M.M. Bonsangue. Topological Duality in Semantics,
volume 8 of Electronic Notes in Theoretical
Computer Science, pages 1 - 299, Elsevier 1998. Revised version of author's Ph.D.
thesis. 2.
M.M. Lankhorst et al. Edited volumes1.
B.K.
Aichernig, F.S. de Boer, M.M. Bonsangue, (eds.), Formal Methods for Components and Objects, 9th International
Symposium, 2.
F.S.
de Boer, M.M. Bonsangue, S. Hallerstede and M. Leuschel (editors), Formal
Methods for Components and Objects, 8th International Symposium, 3.
F.S.
de Boer, M.M. Bonsangue and E. Madelaine (editors), Formal Methods for
Components and Objects, 7th International Symposium, 4.
M.M.
Bonsangue, E. Broch Johnsen, A. Murphy, and Jan Vitek (editors). Distributed
Computing Techniques, volume 410, issues 2--3 of Theoretical Computer
Science, pages 113 – 280,
Elsevier Science, February
2009. 5.
F. de Boer, M.M. Bonsangue, S. Graf and
W.-P. de Roever (editors) Sixth International Symposium on Formal
Methods on Components and Objects ( 6. F. de Boer, M.M. Bonsangue, S. Graf
and W.-P. de Roever (editors). Fifth
International Symposium on Formal Methods on Components and Objects ( 7. M.M.
Bonsangue and E. Broch Johnsen (editors). Proceedings of the 9th IFIP WG
6.1 International Conference on Formal Methods for Open Object-Based
Distributed Systems (FMOODS 2007), volume 4468 of Lecture Notes in
Computer Science, pages 1--315, Springer, June 2007. 8. F.S.
de Boer and M.M. Bonsangue (editors). Formal Methods
for Components and Objects, volume 365, issues 1--2 of Theoretical
Computer Science, pages 1 -- 168, Elsevier Science, November 2006. 9. F. de Boer, M.M. Bonsangue, S. Graf and
W.-P. de Roever (editors) . Fourth International
Symposium on Formal Methods on Components and Objects ( 10. F. de Boer, M.M. Bonsangue, S. Graf and
W.-P. de Roever (editors). Third International Symposium on
Formal Methods on Components and Objects ( 11. F.S.
de Boer and M.M. Bonsangue (editors). Selected papers
from the second International symposium of Formal Methods on Components and
Objects ( 12. F.S.
de Boer and M.M. Bonsangue (editors). Formal Methods for
Components and Objects - A theoretical perspective, volume
331, issues 2--3 of Theoretical Computer Science, pages 249 -- 486,
Elsevier Science, February 2005. 13. F.S.
de Boer and M.M. Bonsangue (editors). Formal Methods
for Components and Objects - Pragmatic aspects and applications, volume
55, issues 1--2 of Science of Computer Programming, pages 1--290,
Elsevier Science, March 2005. 14. F.S.
de Boer and M.M. Bonsangue (editors). Proceedings of
the Workshop on the Compositional Verification of UML Models (CVUML), volume
101 issue C of Electronic Notes in Theoretical Computer Science, pages
1--179, Elsevier Science, November 2004. 15. F.S. de Boer, M.M. Bonsangue, S. Graf
and W.-P. de Roever (editors). Revised lectures of the Second
International Symposium on Formal Methods on Components and Objects ( 16. F.S. de Boer, M.M. Bonsangue, S. Graf
and W.-P. de Roever (editors). Revised lectures of the First
International Symposium on Formal Methods on Components and Objects ( Articles in journals1.
M.M.
Bonsangue, D. Clarke and A.M. Silva. A Model of Context-Dependent Component
Connectors. To appear in Science of Computer Programming, special
issue dedicated to Coordination 2009, November 2011. 2.
F. Bonchi, A.M. Silva, M.M. Bonsangue,
J.J.M.M. Rutten, Quantitative Kleene Coalgebras. In M. Bravetti and G. Zavattaro (eds.),
Information and Computation 209(5): 822-849. Elsevier Science, May 2011. 3.
M.M.
Bonsangue, D. Clarke, M. Izadi, Buchi Automata for Modeling Component Connectors. In A. Cerone and S. Gruner
(eds.) Journal of
Software and System Modeling" 10(2): 183–200. Springer
2011. 4.
A.M. Silva, M.M. Bonsangue, J.J.M.M.
Rutten, Non-Deterministic Kleene Coalgebras. In Andrew M Pitts (ed.), Logical Methods in Computer
Science, 6(3), 2010. 5.
F. Arbab, F.S. de Boer, M.M. Bonsangue,
M.M. Lankhorst, H.A. Proper, and L. van der Torre. Integrating Architectural Models:
Symbolic, Semantics and Subjective Models in 6. M.M. Bonsangue, A. Kurz, and I.M.
Rewitzky. Coalgebraic representations of
distributive lattices with operators. In Topology and its Applications,
154(4): 778--791, Elsevier Science, February 2007. 7. J.V.
Guillen Scholten, F. Arbab, F. S. de Boer, and M. M. Bonsangue. A component coordination model
based on mobile channels. In Fundamenta
Informaticae 73:561--582,
2006. 8.
H. Jonkers, M. Lankhorst, R. van Buuren, S.
Hoppenbrouwers, M.M. Bonsangue, L. van der Torre. Concepts for modelling enterprise
architectures. In special issue on Architecture in
IT of the International Journal of Cooperative Information Systems,
13(3):257--287. World
Scientific, September 2004. 9. M.M.
Bonsangue and J.N. Kok. Infinite intersection types.
In Information and Computation 186(2):285-318, 2003. 10. M.M.
Bonsangue, J.N. Kok and G. Zavattaro. Comparing coordination models and
architectures using embeddings. In Science
of Computer Programming 46(1-2): 31-69, October 2002. 11. M.M.
Bonsangue, F. Arbab, J.W. de~Bakker, J.J.M.M. Rutten, A. Scutella', and G.
Zavattaro. A transition system semantics for
the control-driven coordination language MANIFOLD. In Theoretical
Computer Science, 240(1):3-47, July 2000. 12.
M.M. Bonsangue and J.N. Kok. Towards Towards an infinitary logic of
domains: Abramsky logic for transition systems. In Information
and Computation 155:170--201, 1999 13.
M.M. Bonsangue, F. van Breugel and J.J.M.M.
Rutten. Generalized Metric
Spaces: Completion, Topology, and Powerdomains via the Yoneda Embedding. In Theoretical
Computer Science, 193:1--51, February 1998. 14.
M.M.
Bonsangue, B. Jacobs, and J.N. Kok. Duality beyond sober spaces: topological
spaces and observation frames. In Theoretical Computer Science,
151(1):79–124, November 1995. 15.
M.M. Bonsangue and J.N. Kok. The weakest precondition calculus:
recursion and duality. In Formal Aspects of Computing, 6A:788–800,
1994. 16.
M.M. Bonsangue and J.N. Kok. The weakest precondition calculus:
recursion and duality. In Formal Aspects of Computing, 6(E):71–100,
1994. Book chapters1. F.S. de
Boer, M.M. Bonsangue, and J. Guillen-Scholten. Components:
From object to mobile channels. In He Jifeng and
Zhiming Liu (eds.), Mathematical Frameworks for Component Software --
Models for Analysis and Synthesis, volume 2 of Component-Based Development
serie, the World Scientific, 2006. Articles in conference and
workshop proceedings
1. J. Winter, M.M. Bonsangue, J.J.M.M. Rutten, Context
free languages, coalgebraically. In A. Corradini and B. Klin (eds.) Proceedings of 4th Int. Conference
on Algebra and Coalgebra in Computer science (CALCO 2011), volume 6859 of
Lecture Notes in Computer Science,
Springer, 2011. 2. B. Pourvatan, M. Sirjani, F. Arbab, and M.M.
Bonsangue, Synthesis of Reo Circuits Through Decomposition of Complete Constraint
Automata. In L.S. Barbosa and M. Lumpe (eds.), Proceedings of the 7th International Workshop on Formal Aspects of
Component Software (FACS 2010)", volume 6921 of Lecture Notes in Computer
Science, pages 237--258, Springer, 2011. 3. B. Nobakht, M.M. Bonsangue, F.S. de Boer, and S. de
Gouw, Monitoring Method Call
Sequences using Annotations. In L.S. Barbosa and M. Lumpe (eds.), Proceedings of the 7th International
Workshop on Formal Aspects of Component Software (FACS 2010)",
volume 6921 of Lecture Notes in
Computer Science, pages 237--258, Springer, 2011. 4. M.M. Bonsangue, G. Caltais, E.-I. Goriac, D.
Lucanu, J. Rutten, and A.M. Silva, A decision procedure for bisimilarity of
generalized regular expressions. In J.
Davies, L. Silva and A. da Silva Simão (eds.), Formal Methods: Foundations and Applications - Revised lectures of
the 13th Brazilian Symposium of Formal Methods (SBMF 2010), volume 6527
of Lecture Notes in Computer Science,
pages 226--241, Springer, 2011. 5. A.M. Silva, F. Bonchi, M.M. Bonsangue, and J.J.M.M.
Rutten, Generalizing the powerset construction, coalgebraically. In Kamal
Lodaya and Meena Mahajan (eds.), Proceedings
of the IARCS Annual Conference on Foundations of Software Technology and
Theoretical Computer Science (FSTTCS 2010)", volume 8 of Leibniz International Proceedings in
Informatics (LIPIcs), pages 272--283, Leibniz-Zentrum fuer Informatik,
2010. Open access available at
http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2010.272. 6. M.M. Bonsangue and M. Izadi, Automata Based Model
Checking for Reo Connectors. In F. Arbab and M. Sirjani (eds.), Proceedings
of the 3rd international conference on Foundation of Software engineering
(FSEN 2009), volume 5961 of Lecture Notes in Computer Science,
pages 260–275, Springer-Verlag, June 2009. 7. F. Bonchi, M.M. Bonsangue, J.J.M.M. Rutten and A.S.
Silva. Deriving syntax and axioms for quantitative regular behaviours. In M.
Bravetti and G. Zavattaro (eds.), Prooceedings
of Concur 2009, volume 5710 of Lecture Notes in Computer Science,
pages 146 - 162, Springer, September 2009. 8. M.M. Bonsangue, J.J.M.M. Rutten and A.S. Silva, An
algebra for Kripke polynomial coalgebras. In, Proceedings of the 24th IEEE annual symposium on Logic in
Computer Science (LICS 2009), pages 49 – 58, IEEE computer
society, August 2009. 9. F.S. de Boer,, M.M.
Bonsangue, A. Gruener, and M. Steffen. Java
Test Driver Generation from Object-Oriented Interaction Traces. In J. Zhao
and V. Stolz (eds.), Proceedings of the 2nd International Workshop on
Harnessing Theories for Tool Support in Software (TTSS 2008), volume 243
of Electronic Notes in Computer Science, pages 33-47, Elsevier, July 2009 10. M.M. Bonsangue, D. Clarke and A. Silva, Automata
for context-dependent connectors. In J.
Field and V. Vasconcelos (eds.
), Prooceedings of Coordination 2009,
volume 5521 of Lecture Notes in Computer Science, pages
184-203, Springer, June 2009. 11. M.M. Bonsangue, J.J.M.M. Rutten and A.S. Silva, A
Kleene theorem for polynomial coalgebras. In L. Alfaro (ed.), Proceedings of the 12th International Conference on Foundations of
Software Science and Computational Structures FOSSACS 2009, volume 5504 of Lecture Notes in Computer
Science, pages 122–136, Springer-Verlag, April 2009. 12. M. Izadi, M.M. Bonsangue, and D. Clarke. Modeling
Component Connectors: Synchronisation and Context-Dependency. In Proceedings
of the 6th IEEE International Conferences on Software Engineering and Formal
Methods (SEFM 2008), pages 303-312, IEEE Computer Society Press, November
2008. 13. M. Izadi and M.M. Bonsangue. Recasting Constraint
Automata into Buchi Automata. In J.S. Fitzgerald, A.E. Haxthausen, and H.
Yenigun (Eds.), Proceedings of the 5th International Colloquium on
Theoretical Aspects of Computing (ICTAC 2008), volume 5160 of Lecture
Notes in Computer Science, pages 156--170, Springer-Verlag, September
2008. 14. M.M. Bonsangue,
J.J.S.M. Rutten and A. Silva. Coalgebraic
logic and synthesis of Mealy machines. In R. Amadio (Ed.), Proceedings of the 11th International Conference on
Foundations of Software Science and Computational Structures FOSSACS
2008, volume 4962 of Lecture
Notes in Computer Science, pages 231–245, Springer-Verlag, April 2008 15. M.M. Bonsangue and A. Kurz. Pi-Calculus in Logical Form. In L. Ong (Ed.) Proceedings
of 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 07),
pages 303-312, IEEE Computer Society, July 2007. 16. M.M.
Bonsangue and A. Kurz. Presenting Functors by Operations
and Equations. L. Aceto and A. Ingolfsdottir (Eds.) Proceedings FOSSACS 2006, volume 3921
of Lecture Notes in Computer Science,
Springer, 2006. 1. A. Stam, J.
Jacob, F.S. de
Boer, M.M. Bonsangue, and L. van der Torre. Using
XML Transformations for
Enterprise Architectures. In T. Maragria, Tiziana and
B. Steffen (Eds.),
Proceedings of the 1st
International Symposium on
Leveraging Applications of Formal Methods (ISoLA 2004), volume 4313 of Lecture Notes in Computer Science,
Springer, 2006. 2. J.V. Guillen-Scholten,
F. Arbab, F.S. de Boer, and M.M. Bonsangue. Modeling the Exogenous
Coordination of Mobile Channel based Systems with Petri Nets. In
C. Canal and M. Viroli (eds.) Proceedings of the 4th workshop FoCLaSA 2005
volume 154(1) of Electronic Notes in Theoretical Computer Science,
pages 121--138, Elsevier Science, 2006. 3. M.
Steffen, A. Gruner, E. Abraham, and M.M. Bonsangue, and F.S. de Boer. Observability, connectivity, and
replay in a sequential calculus of classes. In F. de
Boer, M.M. Bonsangue, 4. F.S.
de Boer, M.M. Bonsangue, M. Steffen and E. Abraham. A fully abstract semantics for UML
Components. In F. de Boer, M.M. Bonsangue, 5. F.S. de
Boer, M.M. Bonsangue, L. Groenewegen, A. Stam, S. Stevens, and L.van der
Torre. Change Impact Analysis of
Enterprise Architectures. In Proceedings
on 2005 IEEE International Conference on Information Reuse and Integration ( 6. M.M.
Bonsangue and A. Kurz. Dualities for logics of transition
systems. in Proceedings of FOSSACS 2005,
volume 3441 of Lecture Notes in Computer Science, pages 455--469,
Springer, April 2005. 7. J.V.
Guillen-Scholten, F. Arbab, M.M. Bonsangue F. de Boer. Mocha-pi: an exogenous coordination
calculus based on mobile channels. in Proceedings
of the 20th Annual ACM Symposium on Applied Computing (SAC 2005), ACM
press, March 2005. 8. F.S.
de Boer, M.M. Bonsangue, J. Jacob, A. Stam and L. van der Torre. Enterprise architecture analysis
in XML. In Proceedings of the 9. M.J.
Wiering, M.M. Bonsangue, R. van Buuren, L.P.J. Groenewegen, H. Jonkers, and
M. Lankhorst. Investigating the mapping of an
enterprise description language into UML 2.0. in Proceedings
of the Workshop on the Compositional Verification of UML Models (CVUML)
volume 101 issue C of Electronic Notes in Theoretical Computer Science,
pages 155--179, Elsevier Science, November 2004. 10. E.
Abraham, M.M. Bonsangue, F.S. de Boer, and M. Steffen. Object connectivity and full
abstraction for a concurrent calculus of classes, in Proceedings
of First International Colloquium on Theoretical Aspects of Computing (ICTAC
2004), volume 3407 of Lecture Notes in Computer Science, pages
38--52, Springer, October 2004. 11. F.S.
de Boer, M.M. Bonsangue, J. Jacob, A. Stam, and L. van der Torre. A logical viewpoint on architectures,
in Proceedings of 8th IEEE International 12. H.
Jonkers, R. van Buuren, F. Arbab, F.S. de Boer, M.M. Bonsangue, H. Bosma, H.
ter Doest, L. Groenewegen, J. Guillen-Scholten, S. Hoppenbrouwers, M.-E.
Jacob, W. Janssen, M.Lankhorst, D. van Leeuwen, E. Proper, A. Stam, L. van
der Torre, and G. Veldhuijzen van Zanten, Towards a language for coherent
enterprise architecture descriptions. In Proceedings of the 7th IEEE
International 13. F. Arbab,
F. S. de Boer, M. M. Bonsangue, and J.V. Guillen Scholten. A channel based coordination model
for components. in Proceedings of the 1st
international Workshop on Foundations of Coordination Languages and Software
Architectures (FoCLaSA 02) volume 68 issue C of Electronic Notes in
Theoretical Computer Science, Elsevier Science, 2002. 14. J.
Guillen-Scholten, F. Arbab, F.S. de Boer, and M.M. Bonsangue. Mobile channels, implementation
within and outside components. in Proceedings
of Formal Methods and Component Interaction (FMCI 02), volume 66 issue D
of Electronic Notes in Theoretical Computer Science, Elsevier Science,
2002. 15. J.
Guillen-Scholten, F. Arbab, F.S. de Boer, and M.M. Bonsangue. MoCha: a middleware based on
mobile channels. in Proceedings of 26th international
conference on Computer Software and Application (COMPSAC 02), volume 1727
of IEEE Computer Society Press, pages 667-673, 2002. 16. M.M.
Bonsangue, J.N. Kok. Infinite intersection and union
types for the lazy lambda calculus. In Proceedings
4th international conference on Theoretical Aspects of Computer Software
volume 2215 of Lecture Notes in Computer Science, pages 448--458,
Springer Verlag, 2001. 17. F.
Arbab, M.M. Bonsangue, and F.S. de Boer. A coordination language for mobile
components. In J. Carrol, E. Damiani, H. Haddad, and
D. Oppenheim, editors, Proceedings of the 2000 ACM Symposium on Applied
Computing (SAC 2000), pages 166--173, ACM press, 2000. 18. F.
de Boer and M.M. Bonsangue. A compositional model for
dynamical data-flow networks. In M. Nielsen
and B. Rovan, editors, Proceedings of the 25nd MFCS, volume 1893 of Lecture
Notes in Computer Science, pages 212--221. Springer-Verlag, 2000. 19. F.
Arbab, M.M. Bonsangue, and F. de Boer. A logical interface description
language for components. In A. Porto and G.-R. Roman,
editors, Proceedings of COORDINATION 2000, volume 1906 of Lecture
Notes in Computer Science, pages 249--266. Springer-Verlag, 2000. 20. M.M.
Bonsangue, J.N. Kok, and K. Sere. Developing Object-based
Distributed Systems. In P. Ciancarini, A. Fantechi, and
R. Gorrieri, editors, Proceedings of the 3rd IFIP International Conference
on Formal Methods for Open Object-based Distributed Systems (FMOODS'99),
pages 19--34, Kluwer editor, 1999. 21. M.M.
Bonsangue, J.N. Kok, and G. Zavattaro. Comparing coordination models
based on shared distributed replicated data. In
J. Carroll, H. Haddad, D. Oppenheim, B. Bryant, and G.B. Lamont, editors, Proceedings
of the 1999 ACM Symposium on Applied Computing (SAC '99), pages 146 --
155. ACM press. 22. M.M.
Bonsangue, J.N. Kok, and G. Zavattaro. Comparing software architectures
for coordination languages. In P.
Ciancarini and A. Worlf, editors, Proceeding of the 3rd international
conference on Coordination Languages and Models (Coordination 99), volume
1594 of Lecture Notes in Computer Science, pages 150--164,
Springer-Verlag, 1999. 23. M.M.
Bonsangue, J.N. Kok, M. Boasson, and E. de Jong. A software architecture for
distributed control systems and its transition system semantics. In
J. Carroll, G.B. Lamont, D. Oppenheim, K.M. George, and, B. Bryant, editors, Proceedings
of the 1998 ACM Symposium on Applied Computing (SAC '98), pages 159 --
168. ACM press. 24. M.M.
Bonsangue, J.N. Kok, and Kaisa Sere. An approach to object-orientation
in action systems. In J. Jeuring editor, Proceedings
of the 4th International Conference on Mathematics of Program Construction
(MPC '98), volume 1422 of Lecture Notes in Computer Science, pages
68--95, Springer-Verlag, 1998. 25. M.M.
Bonsangue and J.N. Kok. Infinitary domain logic for
finitary transition systems. In M. Abadi and
T. Ito, editors, Proceedings of TACS'97, volume 1281 of Lecture
Notes in Computer Science, pages 213--232. Springer-Verlag, 1997. 26. M.M.
Bonsangue and J.N. Kok. Specifying computations using
hyper-transition systems. In I. Privara
and P. Ruzicka, editors, Proceedings of the 22nd MFCS, volume 1295 of Lecture
Notes in Computer Science, pages 169--178. Springer-Verlag, 1997. 27. M.M.
Bonsangue, F. van Breugel and J.J.M.M. Rutten. Alexandroff and Scott Topologies
for Generalized Metric Spaces. In S. Andima,
R. C. Flagg, G. Itzkowitz, P. Misra, Y. Kong, and R. Kopperman, editors, Papers
on General Topology and Applications: Eleventh Summer Conference at
University of Southern Maine, volume 806 of Annals of the New York
Academy of Sciences, pages 49--68, 1996. 28. M.M. Bonsangue, J.N. Kok, and E. de Vink. Metric
predicate transformer: towards a notion of refinement for concurrent
programs. In I. Lee and S.A. Smolka, editors, Proc. of 6th
international conference Concur 95: Concurrency theory, volume 962 of Lecture
Notes in Computer Science, pages 363 – 377. Springer-Verlag, 1995 29. M.M. Bonsangue and M.Z. Kwiatkowska.
Re-interpreting the modal μ-calculus. In A. Ponse, M. de Rijke, and Y.
Venema, editors, Modal Logic and Process Algebra, volume 53 of 30. M.M. Bonsangue
and J.N. Kok. Relating multifunctions
and predicate transformers through closure operators. In Masami Hagiya and
John C. Mitchell, editors, TACS ’94, 31. M.M. Bonsangue
and J.N. Kok. Semantics, orderings and
recursion in the weakest precondition calculus. In J.W. de Bakker, W.-P. de
Roever, and G. Rozenberg, editors, Rex Workshop ’92 ’Semantics:
Foundations and Applications’, volume 666 of Lecture Notes in Computer
Science, pages 91–109. Springer-Verlag, 1993. 32. M.M. Bonsangue
and J.N. Kok. Isomorphisms between
state and predicate transformers. In A.M. Borzyszkowski and S. Sokolowoski,
editors, Proceedings of MFCS’93, Other publications1.
A.M. Silva,
M.M. Bonsangue, and J.J.M.M. Rutten, Kleene Coalgebra -- an overview. In Nieuwsbrief van de Nederlandse Vereniging
voor Theoretische Informatica (NVTI), volume 15, pages 35-43, 2011. 2.
Sulla Natura della
Computazione e della Computazione in Natura. Italian
translation of Prof.Dr. G. Rozenberg (LIACS) doctoral lesson in occasion of his
laura ad honorem from the 3.
E.
Abraham, M.M. Bonsangue, F.S. de Boer, and M. Steffen. Classes,
object connectivity and observability. in Proceedings of the
Kolloquium Programmiersprachen und Grundlagen der Programmierung, 17--19
March 2004 Schloss Reinach, Freiburg-Munzingen, Technical report of 4.
E. Abraham M.M. Bonsangue F.S. de Boer
and M. Steffen. A structural operational semantics
for a concurrent class calculus. Technical
Report 0307, Department of Computer Science, 5.
M.M. Bonsangue and A. Kurz. Modal logics from coalgebras over
topological spaces. abstract presented at the International
Conference on Algebraic and Topological Methods in Non-Classical Logics, 6.
M.M. Bonsangue. Towards a type-theoretic
interpretation of components. in NVTI
Nieuwsbrief 6, pages 13-21, 2002. Book reviews
Thesis
|
|||
|
|
||||
|
||||
