|
 Home
Teaching
Publications
 Books
Edited
volumes
Journals
Book
chapters
Proceedings
Others
Projects
Activities
Contact
|
1. 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.
Enterprise
Achitecture at Work: Modelling, Communication and Analysis
Springer-Verlag, May
2005.
1.
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.
2.
F.
de Boer, M.M. Bonsangue, S. Graf
and W.-P. de Roever (editors).
Sixth International
Symposium on Formal Methods on Components and Objects (FMCO 2008) -- State-of-the-Art Survey. Volume 5382
of Lecture Notes in Computer Science,
pages 1--320, Springer, December 2008.
3.
F. de Boer, M.M. Bonsangue, S. Graf and
W.-P. de Roever (editors).
Fifth
International Symposium on Formal Methods on Components and Objects (FMCO 2006)
-- revised lectures
Volume 4709 of Lecture Notes in Computer Science, pages 1--300,
Springer, December 2007.
4.
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
5.
F.S. de Boer and M.M. Bonsangue
(editors).
Formal Methods for Components and Objects. Volume 365, issues 1--2 of Theoretical
Computer Science, Elsevier Science, November 2006.
6.
F. de Boer, M.M. Bonsangue, S. Graf and W.-P. de Roever (editors).
Fourth International
Symposium on Formal Methods on Components and Objects (FMCO 2005) -- revised lectures. Volume 4111 of Lecture
Notes in Computer Science, pages 1 – 447, Springer, June 2006.
7.
F.
de Boer, M.M. Bonsangue, S. Graf and W.-P. de Roever (editors).
Third International Symposium on Formal Methods on Components and
Objects (FMCO 2004) -- revised lectures. Volume 3657 of Lecture
Notes in Computer Science, pages 1--329, Springer, November 2005.
8.
F. de Boer and M. Bonsangue (editors).
Formal Methods
on Components and Objects (FMCO
2003). Volume 343 issue 3 of Theoretical Computer Science, pages 283-530, Elsevier Science, October 2005.
9.
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, Elsevier
Science, March 2005.
10.
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.
11.
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.
12.
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 (FMCO 2003) .Volume 3188 of Lecture Notes on
Computer Science, pages 1--368, Springer-Verlag, October 2004.
13.
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 (FMCO 2002). Volume 2852
of Lecture Notes on Computer Science, Springer-Verlag, 2003.
1. M.M. Bonsangue, A. Kurz, and I.M.
Rewitzky
Coalgebraic representations of
distributive lattices with operators
To appear in
Topology and its Applications, 2006.
2. 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.
3.
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.
4. M.M.
Bonsangue and J.N. Kok
Infinite intersection types
In Information and Computation 186(2):285-318, 2003.
5. 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.
6. 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.
7. M.M.
Bonsangue and J.N. Kok
Towards an
infinitary logic of domains: Abramsky logic for transition systems
In Information and Computation 155:170--201, 1999.
8. 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.
1.
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.
1.
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.
2.
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.
- 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.
- 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, S. Graf and W.-P. de Roever (editors), Proceedings
of FMCO 2004 - revised lectures,
volume 3167 of Lecture Notes in Computer Science, pages 301--321,
Springer, 2005.
5.
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, S. Graf and
W.-P. de Roever (editors), Proceedings of FMCO 2004 -- revised lectures,
volume 3167 of Lecture Notes in Computer Science, pages 49--69,
Springer, 2005.
6.
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 (IRI-2005), IEEE Systems, Man, and Cybernetic Society,
IEEE, August 2005.
7.
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.
8.
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.
9.
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 Hawaii International Conference on System Sciences
(HICSS-38), IEEE Computer Society Press, January 2005.
10.
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.
11.
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.
12.
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 Enterprise Distributed Object
Computing Conference (EDOC 2004), pages 73--83. IEEE Computer Society Press, September
2004.
13.
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 Enterprise Distributed Object
Computing Conference (EDOC 2003), pages 28-39. IEEE Computer Society
Press, September 2003.
14.
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.
15.
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.
16.
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.
17.
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.
18.
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.
19.
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.
20.
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.
21.
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.
22.
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.
23.
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.
24.
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.
25.
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.
26.
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.
27.
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.
28.
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.
1.
M.M. Bonsangue
Book review of Continuous
Lattices and Domains by G. Gierz et al.
In Nieuw Archief voor
Wiskunde of the Koninklijk Wiskunde Genootschap, June 2004.
2.
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 Freiburg University, March 2004.
3.
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, University of Kiel,
August 2003.
4.
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, Tbilisi, Georgia,
April 2003.
5.
M.M. Bonsangue
Towards a type-theoretic
interpretation of components
in NVTI Nieuwsbrief 6, pages 13-21, 2002.
6.
M.M. Bonsangue
Topological Duality in Semantics
PhD thesis, 258 pages + vi, Vrije Universiteit
Amsterdam, November 1996. Promotors: Prof.dr. J.W. de Bakker and Prof.dr.
J.N. Kok. Referent: Prof.dr. M.W. Mislove. An abstract appeared in Bulletin of the EATCS,
61:231-234, February 1997.
|
