Software Engineering for Service-Oriented Overlay Computers

A Formal Approach to Service Component Architecture
José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi.
Proceedings of Web Services and Formal Methods (WSFM'07). Manuel Nunez, Mario Bravetti and Gianluigi Zavattaro (Eds.). pp. 193-213. Lecture Notes in Computer Science vol. 4184. Springer Verlag. 2006. pdf bibtex

A Logical View of Choreography
Carlo Montangero, Laura Semini.
Coordination Models and Languages, Coordination 2006. pp. 179--193. Lecture Notes in Computer Science vol. 4038. 2006. abstract pdf bibtex

Logic-based detection of conflicts in APPEL policies
Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini.
IPM International Symposium on Fundamentals of Software Engineering . Marjan Sirjani and Farhad Arbab (Eds.). pp. 257--271. LNCS vol. 4767. Springer. 2007. abstract pdf bibtex

StPowla: SOA, Policies and Workflows
Stephen Gorton, Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini.
ISOC2007 Workshops, WESOA. LNCS 4907. pp. 351-362. 2007. abstract pdf bibtex

Specifying and Composing Interaction Protocols for Service-Oriented System Modelling
Joao Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes.
Proceedings of International Conference on Formal Methods for Networked and Distributed Systems Special focus on Service Oriented Computing. pp. 358-373. Lecture Notes in Computer Science vol. 4574. Springer Verlag. 2007. abstract pdf bibtex

Algebraic Semantics of Service Component Modules
José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi.
Algebraic Development Techniques. Jos\'{e} Luiz Fiadeiro and Pierre-Yves Schobbens (Eds.). pp. 37-55. Lecture Noter in Computer Science vol. 4409. Springer Verlag. 2007. abstract pdf bibtex

A Model-driven Approach to Discovery, Testing, and Monitoring of Web Services
Marc Lohmann, Leonardo Mariani, Reiko Heckel.
Test and Analysis of Web Services. Luciano Baresi; Elisabetta Di Nitto (Eds.). pp. 173 -- 204. Springer. 2007. abstract pdf bibtex

A Model-Driven Approach to Service Orchestration
Philip Mayer, Andreas Schroeder, Nora Koch.
Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008). pp. 533-536. vol. 2. IEEE Computer Society. 2008. pdf bibtex

MDD4SOA: Model-Driven Service Orchestration
Philip Mayer, Andreas Schroeder, Nora Koch.
The 12th IEEE International EDOC Conference (EDOC 2008). pp. 203-212. IEEE Computer Society. 2008. abstract pdf bibtex

Leveraging Integrated Tools for Model-Based Analysis of Service Compositions
Howard Foster, Philip Mayer.
ICIW 2008: Proceedings of the 2008 Third International Conference on Internet and Web Applications and Services. pp. 72--77. IEEE Computer Society. 2008. abstract 2008.103 bibtex

From Architectural to Behavioural Specification of Servces
Laura Bocchi, Jose Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi.
Proceedings of Formal Engineering approaches to Software Components and Architectures (FESCA09). pp. 3-21. Electronic Notes in Theoretical Computer Science vol. 253 no. 1. Elsevier Science Publishers. 2009. abstract pdf bibtex

Structure and Behaviour of Virtual Organisation Breeding Environments
Laura Bocchi, Jose Luiz Fiadeiro, Noor Rajper, Stephan Reiff-Marganiec.
Formal Aspects of Virtual Organisations (FAVO09). J. Bryans and J. Fitzgerald (Eds.). Electronic Proceedings in Theoretical Computer Science. 2009. abstract bibtex

A Heterogeneous Approach to Service-Oriented Systems Specification
Alexander Knapp, Grzegorz Marczyński, Martin Wirsing, Artur Zawłocki.
Proc. of 25th Symposium On Applied Computing (SAC 2010). Dongwan Shin (Eds.). ACM. 2010. pdf bibtex

Security Issues in Service Composition
Massimo Bartoletti, Pierpaolo Degano, Gianluigi Ferrari.
Proceedings of FMOODS 2006, 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems. pp. 1--16. Lecture Notes in Computer Science vol. 4037. 2006. abstract pdf bibtex

Choreography and Orchestration: a synergic approach for system design
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro.
Proc.of 3rd International Conference on Service Oriented Computing (ICSOC'05). pp. 228-240. LNCS vol. 3826. Springer. 2005. abstract pdf bibtex

Cryptographic Pattern Matching
Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson.
Proceedings of the 2nd Workshop on Views On Designing Complex Architectures (VODCA 2006). 2006. abstract bibtex

SCC: a Service Centered Calculus
Michele Boreale, Roberto Bruni, Luis Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco T. Vasconcelos, Gianluigi Zavattaro.
Proceedings of WS-FM 2006, 3rd International Workshop on Web Services and Formal Methods. M. Bravetti, G. Zavattaro (Eds.). pp. 38--57. Lecture Notes in Computer Science vol. 4184. Springer Verlag. 2006. abstract pdf.gz pdf bibtex

Typechecking a Multithreaded Functional Language with Session Types
Vasco T. Vasconcelos, Simon Gay, António Ravara.
Theoretical Computer Science. pp. 64-87. vol. 368 no. 1-2. 2006. abstract pdf bibtex

A Calculus for Orchestration of Web Services
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi.
Proc. of 16th European Symposium on Programming (ESOP'07). R. De Nicola (Eds.). pp. 33-47. LNCS vol. 4421. Springer. 2007. pdf bibtex

Formalizing mobility in Service Oriented Computing
Claudio Guidi, Roberto Lucchi.
Journal of Software. pp. 1-13. vol. 2 no. 1. Academy Publisher. 2007. abstract pdf bibtex

SOCK: A Calculus for Service Oriented Computing
Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro.
Proceedings of ICSOC'06. pp. 327-338. Lecture Notes in Computer Science vol. 4294. Springer. 2006. abstract pdf bibtex

A Theory for Strong Service Compliance
Mario Bravetti, Gianluigi Zavattaro.
Proceedings of COORDINATION 2007. Amy L. Murphy andJan Vitek (Eds.). pp. 96-112. Lecture Notes in Computer Science vol. 4467. Springer. 2007. abstract pdf bibtex

Multiparty sessions in SOC
Roberto Bruni, Ivan Lanese, Hernán Melgratti, Emilio Tuosto.
Proceedings of COORDINATION 2008, 10th International Conference on Coordination Models and Languages. Doug Lea, Gianluigi Zavattaro (Eds.). pp. 67--82. Lecture Notes in Computer Science vol. 5052. Springer Verlag. 2008. abstract ps.gz pdf bibtex

Session Centered Calculi for Service Oriented Computing (Invited Talk)
Rocco De Nicola.
Proc. 10th Italian Conference on Theoretical Computer Science. G.F. Italiano, E. Moggi, L. Laura (Eds.). pp. 6-10. World Scientific. 2007. abstract pdf bibtex

A Calculus for Orchestration of Web Services
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi.
2008. (Full version). pdf bibtex

The Conversation Calculus: a Model of Service Oriented Computation
Hugo Vieira, Joao C. Seco, Luis Caires.
Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008. Sophia Drossopoulou (Eds.). 2008. pdf bibtex

Sessions and Pipelines for Structured Service Programming
Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti.
Proceedings of FMOODS 2008, 10th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems. Gilles Barthe and Frank S. de Boer (Eds.). pp. 19--38. Lecture Notes in Computer Science vol. 5051. Springer. 2008. abstract pdf.gz bibtex

On the Interplay Between Fault Handling and Request-Response Service Invocations
Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro.
Proc. of ACSD'08. pp. 190-199. IEEE Computer Society. 2008. abstract ps.gz bibtex

On a uniform framework for the definition of stochastic process languages
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink.
Proc. of the 14th `international Workshop on Formal Methods for Industria Critical Systems (FMICS09). M. Alpuente, B. Cook, C. Joubert (Eds.). pp. 9 - 25. LNCS vol. 5825. Springer-Verlag. 2009. FMICS 2009 - Formal Methods for Industrial Critical Systems. 14th International Workshop (Eindhoven,. pdf bibtex

Sandboxing in myKlaim
Christian W. Probst, Flemming Nielson, René Rydhof Hansen.
The First International Conference on Availability, Reliability and Security, ARES 2006. 2006. abstract bibtex

Decidable extensions of Hennessy-Milner logic
Radu Mardare, Corrado Priami.
Proceedings of the 26th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2006 - IFIP WG 6.1). September 26th. E. Najn et al. (Eds.). pp. 196-211. LNCS vol. 4229 no. 1. Springer-Verlag. 2006. abstract bibtex

Data Flow Analysis for CCS
Flemming Nielson, Hanne Riis Nielson.
Festschrift dedicated to Reinhard Wilhelm's 60.~birthday. 2006. abstract bibtex

Topology-dependent Abstractions of Broadcast Networks
Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson.
Proceedings of the 18th International Conference on Concurrency Theory (CONCUR'07). 2007. pdf bibtex

A flow-sensitive analysis of privacy properties
Flemming Nielson, Hanne Riis Nielson.
Proceedings of CSF'07. 2007. abstract pdf bibtex

A model checking approach for verifying COWS specifications
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi.
Proc. of Fundamental Approaches to Software Engineering (FASE'08). J. L. Fiadeiro, P. Inverardi (Eds.). pp. 230-245. LNCS vol. 4961. Springer. 2008. pdf bibtex

Relational Analysis of Correlation
Flemming Nielson, Jörg Bauer, Hanne Riis Nielson, Henrik Pilegaard.
The 15th International Static Analysis Symposium (SAS'08). pp. 32 - 46. Lecture Notes In Computer Science vol. 5079. Springer. 2008. pdf bibtex

An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti.
Revised Selected Papers of the 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'07), Berlin, Germany. S. Leue, P. Merino (Eds.). pp. 133-148. LNCS vol. 4916. Springer-Verlag, Berlin. 2008. pdf pdf bibtex

Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci.
Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings. Kees M. van Hee, R\"udiger Valk (Eds.). pp. 52-71. Lecture Notes in Computer Science vol. 5062. Springer. 2008. abstract pdf bibtex

Conversation Types
Luis Caires, Hugo Vieira.
Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009. Giuseppe Castagna (Eds.). Springer. 2009. pdf bibtex

Formal analysis of BPEL workflows with compensation by model checking
Máté Kovács, László Gönczy, Dániel Varró.
International Journal of Computer Systems and Engineering. 2008. abstract pdf bibtex

Local Policies for Resource Usage Analysis
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino.
ACM Transactions on Programming Languages and Systems. vol. 31 no. 6. ACM Press. 2009. abstract pdf bibtex

CMC-UMC: A Framework for the Verification of Abstract Service-Oriented Properties
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC'09), Honolulu, Hawaii, USA. pp. 2111--2117. ACM Press. 2009. pdf bibtex

Static Detection of Logic Flaws in Service-Oriented Applications
Chiara Bodei, Linda Brodo, Roberto Bruni.
Foundations and Applications of Security Analysis, Joint Wk on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security. Pierpaolo Degano, Luca Vigan\`o (Eds.). pp. 70--87. Lecture Notes in Computer Science vol. 5511. Springer. 2009. abstract pdf bibtex

A model-checking approach for service component architectures
Franco Mazzanti, Jose Luiz Fiadeiro, Stefania Gnesi, Joao Abreu.
Proceedings FMOODS/FORTE 2009 - Formal Techniques for Distributed Systems. Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP W. D. Lee, A. Lopes,A. Poetzsch-Heffter (Eds.). pp. 219-224. LNCS vol. 5522. Springer. 2009. bibtex

Service Oriented Computing from a Process Algebraic Perspective
Mario Bravetti, Gianluigi Zavattaro.
Journal of Logic and Algebraice Programming. pp. 3-14. vol. 70 no. 1. Elsevier. 2007. abstract pdf bibtex

Beta-binders for biological quantitative experiments
Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia.
Electronic Notes in Theoretical Computer Science. pp. 101-117. vol. 3 no. 164. Elsevier. 2006. abstract pdf bibtex

STOKLAIM: A Stochastic Extension of KLAIM
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink.
no. 2006-TR-01. 2006. pdf bibtex

Stochastic COWS
Davide Prandi, Paola Quaglia.
Proceedings of the 5th International Conference on Service-Oriented Computing (ICSOC 2007). September 17th-20th, 2007. Vienna (Austria). LNCS vol. 4749. Springer Berlin / Heidelberg. 2007. abstract pdf bibtex

Extensions of standard weak bisimulation machinery: finite-state general processes, refinable actions, maximal-progress and time
Mario Bravetti.
Proc. of LIX colloquium Emerging Trends in Concurrency Theory. C. Palamidessi, F.D. Valencia (Eds.). pp. 83-106. ENTCS vol. 209C. Elsevier Science. 2006. abstract ps bibtex

Evaluating quality of service for service level agreements
Allan Clark, Stephen Gilmore.
Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems. Lubo\v{s} Brim, Martin Leucker (Eds.). pp. 181--194. LNCS vol. 4346. Springer-Verlag. 2006. pdf bibtex

Basic Observables for Probabilistic May Testing
Maria Carla Palmeri, Rocco De Nicola, Mieke Massink.
Fourth International Conference on the Quantitative Evaluation of Systems. pp. 189-198. IEEE. 2007. abstract bibtex

Model checking mobile stochastic logic
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink.
Theor. Comput. Sci.. pp. 42-70. vol. 382 no. 1. 2007. bibtex

Formal Analysis of BPMN Via a Translation into COWS
Davide Prandi, Paola Quaglia, Nicola Zannone.
Proceedings of the 10th International Conference on Coordination Models and Languages (COORDINATION 2008). June 4th-6th, 2008. Oslo (Norway). Doug Lea and Gianluigi Zavattaro (Eds.). pp. 249--263. LNCS vol. 5052. 2008. abstract pdf bibtex

MarCaSPiS: a Markovian Extension of a Calculus for Services
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink.
Proceedings of SOS 2008. pp. 11-26. ENTCS, Elsevier vol. 229 no. 4. Elsevier. 2009. abstract pdf bibtex

Approximate Model Checking of Stochastic COWS
Paola Quaglia, Stefano Schivo.
2010. In Proc. TGC 2010. bibtex

A Tool for Checking Probabilistic Properties of COWS Services
Igor Cappello, Paola Quaglia.
2010. In Proc. TGC 2010. bibtex

Quantitative Analysis of Services
Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, Stefano Schivo.
LNCS. 2010. SENSORIA Book, Part V. bibtex

Graph Transactions as Processes
Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci.
Proceedings of ICGT 2006, 3rd International Conference on Graph Transformation. Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg (Eds.). pp. 199-214. Lecture Notes in Computer Science vol. 4178. Springer. 2006. abstract pdf bibtex

Quantitative Information in the Tuple Space Coordination Model
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro.
Theoretical Computer Science. pp. 28--57. vol. 346. Elsevier. 2006. abstract ps bibtex

Composing Transactional Services
Roberto Bruni, Hernán Melgratti, Ugo Montanari.
2006. Manuscript.. abstract ps.gz bibtex

Modes for Software Architectures
Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastian Uchitel.
Proceedings of EWSA 2006, 3rd European Workshop on Software Architecture. Lecture Notes in Computer Science. Springer Verlag. 2006. abstract pdf bibtex

CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
Maria Grazia Buscemi, Ugo Montanari.
Proc. of the 16th European Symposium on Programming (ESOP 2007). R. De Nicola (Eds.). pp. 18-32. Lecture Notes in Computer Science vol. 4421. Springer. 2007. abstract pdf bibtex

Service Oriented Architectural Design
Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari, Emilio Tuosto.
Proceedings of the 3rd International Symposium on Trustworthy Global Computing (TGC'07). pp. 186--203. Lecture Notes in Computer Science. Springer Verlag. 2007. abstract pdf.gz bibtex

Towards a Unifying Theory for Choreography Conformance and Contract Compliance
Mario Bravetti, Gianluigi Zavattaro.
Proc. of 6th International Symposium on Software Composition. pp. 34-50. Lecture Notes in Computer Science vol. 4829. Springer. 2007. abstract pdf bibtex

Using Goals for Flexible Service Orchestration: A First Step
M. Birna van Riemsdijk, Martin Wirsing.
Service-Oriented Computing: Agents, Semantics, and Engineering (SOCASE'07). J. Huang, R. Kowalczyk, Z. Maamar, D. Martin, I. Mueller, S. Stoutenburg, K. Sycara (Eds.). pp. 31--48. LNCS vol. 4504. 2007. abstract pdf bibtex

Style Based Architectural Reconfigurations
Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari, Emilio Tuosto.
Bulletin of the European Association for Theoretical Computer Science (EATCS). pp. 161--180. vol. 94. 2008. abstract eatcs07.pdf.gz bibtex

Open bisimulation for the concurrent constraint pi-calculus
Maria Grazia Buscemi, Ugo Montanari.
Proceedings of ESOP 2008, 17th European Symposium on Programming. pp. 254--268. LNCS vol. 4960. Springer. 2008. abstract pdf bibtex

A Service-Oriented UML Profile with Formal Support
Roberto Bruni, Matthias Hölzl, Nora Koch, Alberto Lluch Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing.
Service-Oriented Computing. pp. 455-469. LNCS vol. 5900. Springer Verlag. 2009. abstract bibtex

A Graph Syntax for Processes and Services
Roberto Bruni, Fabio Gadducci, Alberto Lluch Lafuente.
WS-FM'09. Su Jianwen, Cosimo Laneve (Eds.). Lecture Notes in Computer Science. Springer. 2009. wsfm.pdf bibtex

A theory of contracts for strong service compliance
Mario Bravetti, Gianluigi Zavattaro.
Mathematical Structures in Computer Science. pp. 601-638. vol. 19 no. 3. Cambridge University Press. 2009. abstract pdf bibtex

QoS Negotiation in Service Composition
Maria Grazia Buscemi, Ugo Montanari.
Submitted to Journal of Logic and Algebraic Programming. Elsevier. abstract pdf bibtex

Enabling Confidentiality in Content-Based Publish/Subscribe Infrastructures
Costin Raiciu, David S. Rosenblum.
Proc. Second IEEE Communications Society/CreateNet Int. Conf. on Security and Privacy in Communication Networks (SecureComm 2006). 2006. abstract html bibtex

Model-based deployment of web services to standards-compliant middleware
János Ávéd, Dániel Varró, László Gönczy.
Proc. of the Iadis International Conference on WWW/Internet 2006(ICWI2006). Miguel Baptista Nunes Pedro Isaias (Eds.). Iadis Press. 2006. abstract pdf bibtex

Towards specification, modelling and analysis of fault tolerance in self managed systems
Jeff Magee, Tom Maibaum.
SEAMS '06: Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems. pp. 30--36. ACM Press. 2006. abstract pdf bibtex

Model Checking Service Compositions under Resource Constraints
Howard Foster, Wolfgang Emmerich, Jeff Magee, Jeff Kramer, David S. Rosenblum, Sebastian Uchitel.
the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE). 2007. abstract pdf bibtex

Towards Self-Management in Service-oriented Computing with Modes
Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel.
Proceedings of Workshop on Engineering Service-Oriented Applications (WESOA07), Vienna, Austria. 2007. abstract pdf bibtex

QoS-Aware Service Composition in Dino
Arun Mukhija, Andrew Dingwall-Smith, David S. Rosenblum.
Proceedings of the 5th European Conference on Web Services (ECOWS 2007), Halle, Germany. IEEE Computer Society. 2007. abstract pdf bibtex

Model Driven Performability Analysis of Service Configurations with Reliable Messaging
László Gönczy, Zsolt Déri, Dániel Varró.
4th Model-Driven Web Engineering Workshop (MDWE'08). Nora Koch, Antonio Vallecillo, Geert-Jan Houben (Eds.). 2008. pdf bibtex

Engineering Service Oriented Applications with Reliability and Security Requirements
László Gönczy, Dániel Varró.
Jun Suzuki (Eds.). IGI Global. 2010. pdf bibtex

Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework
Enrico Biermann, Karsten Ehrig, Christian Köhler, Günter Kuhns, Gabriele Taentzer, Eduard Weiss.
Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006. LNCS. Springer. 2006. pdf bibtex

Fluid Flow Approximation of PEPA models
Jane Hillston.
Proc. 2nd Int. Conf. Quantitative Evaluation of Systems (QEST 2005). IEEE. 2005. pdf bibtex

Verification of Model Transformations: A Case Study with BPEL
Luciano Baresi, Karsten Ehrig, Reiko Heckel.
Proc. of the 2nd symposium on Trustworthy Global Computing (TGC'06). LNCS vol. 4661. Springer. 2007. abstract pdf bibtex

Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System
Stephen Gilmore, Mirco Tribastone.
Third International Workshop on Web Services and Formal Methods (WS-FM 2006). Springer-Verlag. 2006. pdf bibtex

Model Transformation by Example
Dániel Varró.
Proc. 9th International Conference on Model Driven Engineering Languages and Systems (MODELS 2006). LNCS. Springer. 2006. In press. abstract bibtex

Advanced Model Transformation Language Constructs in the VIATRA2 Framework
András Balogh, Dániel Varró.
ACM Symposium on Applied Computing --- Model Transformation Track (SAC 2006). pp. 1280--1287. ACM Press. 2006. abstract pdf bibtex

Tool Integration by Model Transformations based on the Eclipse Modeling Framework
Karsten Ehrig, Gabriele Taentzer, Dániel Varró.
EASST Newsletter. vol. 12. 2006. pdf bibtex

Designing Security Requirements Models through Planning
Volha Bryl, Fabio Massacci, John Mylopolous, Nicola Zannone.
Proceedings of the 18th International Conference on Advanced Information Systems Engineering (CAiSE 2006). June 5th-9th, 2006. Luxembourg (Luxembourg). Eric Dubois, Klaus Pohl (Eds.). pp. 33--47. LNCS vol. 4001. Springer-Verlag. 2006. abstract pdf bibtex

Generation of Visual Editors as Eclipse Plug-Ins
Karsten Ehrig, Claudia Ermel, Stephan Hänsgen, Gabriele Taentzer.
Proc. 20th IEEE/ACM International Conference on Automated Software Engineering. ACM Press. 2005. abstract pdf bibtex

Barbed Model--Driven Software Development: A case study
Carlo Montangero, Laura Semini.
Proc. 1st Int. Workshop on Harnessing Theories for Tool Support in Software (TTSS'07). ENTCS no. 207. Elsevier. 2008. abstract pdf bibtex

Attributed Graph Transformation with Node Type Inheritance
Hartmut Ehrig, Karsten Ehrig, de Lara Juan, Ulrike Prange, Bardohl Roswitha, Gabriele Taentzer.
Theoretical Computer Science. pp. 139-163. vol. 376 no. 3. Elsevier. 2007. FASE.2007.pdf bibtex

Replicating Web Services for Scalability
Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone.
Trustworthy Global Computing. pp. 204-221. LNCS vol. 4912. Springer. 2007. abstract pdf bibtex

The PEPA Eclipse Plug-in
Mirco Tribastone, Adam Duguid, Stephen Gilmore.
Performance Evaluation Review. pp. 28--33. vol. 36 no. 4. 2009. bibtex

Non-functional Properties in the Model-Driven Development of Service-Oriented Systems
Stephen Gilmore, László Gönczy, Nora Koch, Philip Mayer, Mirco Tribastone, Dániel Varró.
Journal of Software and Sytems Modeling. B. Schätz and C. Pahl and D. Gasevic and M. Boskovi (Eds.). Springer Verlag. 2010. abstract bibtex

Formal Modelling and Verification of an Asynchronous Extension of SOAP
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso.
Proceedings of the 4th IEEE European Conference on Web Services (ECOWS'06), Zurich, Switzerland. A. Bernstein, T. Gschwind, W. Zimmermann (Eds.). pp. 287--296. IEEE Computer Society, Los Alamitos, CA. 2006. pdf bibtex

Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks
Maurice H. ter Beek, Corrado Moiso, Marinella Petrocchi.
Proceedings of the 3rd Advanced International Conference on Telecommunications (AICT '07). IEEE Computer Society, Los Alamitos, CA. 2007. pdf bibtex

Modelling and Analysing an Identity Federation Protocol: Federated Network Providers Scenario
Maurice H. ter Beek, Corrado Moiso, Marinella Petrocchi.
Proceedings of the 2nd European Young Researchers Workshop on Service Oriented Computing (YR-SOC'07), Leicester, UK. S. Gorton, M. Solanki, S. Reiff-Marganiec (Eds.). pp. 94--100. University of Leicester. 2007. pdf bibtex

Automotive and Finance Case Studies in CSCC
Joao C. Seco, Luis Caires, Hugo T. Vieira.
no. 2007-TR-04. 2007. pdf bibtex

Formal Verification of an Automotive Scenario in Service-Oriented Computing
Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti.
Proceedings of the 30th International Conference on Software Engineering (ICSE'08), Leipzig, Germany. pp. 613-622. ACM Press. 2008. abstract 1368173 pdf bibtex

Automotive CASE Study: Demonstrator
Rong Xie, Nora Koch.
CIRQUENT. 2009. report (draft). abstract pdf bibtex

Specification and analysis of SOC systems using COWS: A finance case study
Federico Banti, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi.
Proc. of the 4th International Workshop on Automated Specification and Verification of Web Systems (WWV'08). pp. 71-105. ENTCS vol. 235 no. C. Elsevier. 2009. pdf bibtex