Contract based multi-party service composition
Bravetti, Mario, Zavattaro, Gianluigi
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Get full text
Conference Proceeding
Regulating data exchange in service oriented applications
Lapadula, Alessandro, Pugliese, Rosario, Tiezzi, Francesco
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Get full text
Conference Proceeding
A model of component-based programming
Chen, Xin, He, Jifeng, Liu, Zhiming, Zhan, Naijun
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Get full text
Conference Proceeding
A behavioural congruence for web services
Bonchi, Filippo, Brogi, Antonio, Corfini, Sara, Gadducci, Fabio
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Get full text
Conference Proceeding
Is your security protocol on time?
Jakubowska, Gizela, Penczek, Wojciech
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Get full text
Conference Proceeding
Hoare logic for ARM machine code
Myreen, Magnus O., Fox, Anthony C. J., Gordon, Michael J. C.
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Get full text
Conference Proceeding
Slicing abstractions
Brückner, Ingo, Dräger, Klaus, Finkbeiner, Bernd, Wehrheim, Heike
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Get full text
Conference Proceeding
Logic-based detection of conflicts in APPEL policies
Montangero, Carlo, Reiff-Marganiec, Stephan, Semini, Laura
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Get full text
Conference Proceeding
Logical bisimulations and functional languages
Sangiorgi, Davide, Kobayashi, Naoki, Sumii, Eijiro
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Get full text
Conference Proceeding
Formal testing of systems presenting soft and hard deadlines
Merayo, Mercedes G., Núñez, Manuel, Rodrguez, Ismael
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Get full text
Conference Proceeding
Zone-based universality analysis for single-clock timed automata
Abdulla, Parosh Aziz, Ouaknine, Joël, Quaas, Karin, Worrell, James
Published in International Symposium on Fundamentals of Software Engineering, Proceedings (17.04.2007)
Published in International Symposium on Fundamentals of Software Engineering, Proceedings (17.04.2007)
Get full text
Conference Proceeding
Type abstractions of name-passing processes
Acciai, Lucia, Boreale, Michele
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Get full text
Conference Proceeding
Relationships meet their roles in object oriented programming
Baldoni, Matteo, Boella, Guido, Van Der Torre, Leendert
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Get full text
Conference Proceeding
Formal specification of multi-agent systems by using EUSMs
Merayo, Mercedes G., Núñez, Manuel, Rodríguez, Ismael
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Get full text
Conference Proceeding
Compositional semantics of system-level designs written in systemC
Razavi, Niloofar, Sirjani, Marjan
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Get full text
Conference Proceeding
Nuovo DRM paradiso: towards a verified fair DRM scheme
Dashti, M. Torabi, Nair, S. Krishnan, Jonker, H. L.
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Get full text
Conference Proceeding
An alternative algorithm for constraint automata product
Pourvatan, Bahman, Rouhy, Nima
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Get full text
Conference Proceeding