Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
Roberto Bruni, Karsten Wolf.
5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers. Roberto Bruni, Karsten Wolf (Eds.). Lecture Notes in Computer Science vol. 5387. Springer. 2009. abstract bibtex
9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services (SFM 2009)
Vasco T. Vasconcelos.
pp. 158--186. LNCS vol. 5569. SPRINGER. 2009. bibtex
A Backwards Composition Context Based Service Selection Approach for Service Composition
Stephan Reiff-Marganiec, Hong Qing Yu.
Proceedings of 2009 Service Computing Conferences. IEEE. 2009. bibtex
A Basic Algebra of Stateless Connectors
Roberto Bruni, Ivan Lanese, Ugo Montanari.
Theoretical Computer Science. pp. 98--120. vol. 366 no. 1-2. Elsevier. 2006. abstract pdf.gz pdf bibtex
A behavioural congruence for Web Services
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci.
Proceedings of FSEN 2007, 2nd IPM International Symposium on Fundamentals of Software Engineering. Farhad Arbab, Marjan Sirjani (Eds.). pp. 240-256. Lecture Notes in Computer Science vol. 4767. Springer. 2007. abstract pdf bibtex
A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró.
Proc. 4th International Conference on Graph Transformations, ICGT 2008. Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer (Eds.). pp. 396-410. Lecture Notes in Computer Science vol. 5214. Springer. 2008. abstract 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
A Calculus for Orchestration of Web Services
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi.
2008. (Full version). pdf bibtex
A calculus for team automata
Maurice H. ter Beek, Fabio Gadducci, Dirk Janssens.
Proceedings of SBMF 2006, 9th Brazilian Symposium on Formal Methods. Leila Ribeiro, Ana Martins Moreira (Eds.). pp. 41-55. Electronic Notes in Theoretical Computer Science vol. 195. Elsevier. 2008. abstract pdf bibtex
A calculus of contracting processes.
Massimo Bartoletti, Roberto Zunino.
2009. Technical Report DISI-09-056. abstract pdf bibtex
A Case Study in Eliciting Scalability Requirements
Leticia Duboc, Emmanuel Letier, David S. Rosenblum, Tony Wicks.
Industrial Practice and Experience Track, Proceedings of the 16th IEEE International Requirements Engineering Conference. 2008. abstract pdf bibtex
A categorical semantics of event-based architectures
José Luiz Fiadeiro, Antónia Lopes.
2006. pdf bibtex
A Category of Explicit Fusions
Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci.
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. pp. 544-562. Lecture Notes in Computer Science vol. 5065. Springer-Verlag. 2008. abstract pdf bibtex
A coalgebraic characterization of behaviours in the linear time - branching time spectrum
Recent Trends in Algebraic Development Techniques (WADT 2008). Andrea Corradini and Ugo Montanari (Eds.). LNCS. Springer. bibtex
A Coalgebraic Theory of Reactive Systems.
Filippo Bonchi, Ugo Montanari.
ENTCS. abstract bibtex
A Component Model for Architectural Programming
Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing.
Proc. 2nd Int. Wsh. Formal Aspects of Component Software (FACS'05). Elect. Notes Theo. Comp. Sci.. 2005. abstract pdf bibtex
A Compositional Coalgebraic Model of a Fragment of Fusion Calculus
Maria Grazia Buscemi, Ugo Montanari.
Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25). pp. 135-139. Electronic Notes in Theoretical Computer Science vol. 162. Elsevier. 2006. abstract bibtex
A Compositional Coalgebraic Model of Fusion Calculus
Maria Grazia Buscemi, Ugo Montanari.
Journal of Logic and Algebraic Programming. pp. 78-97 . vol. 72 no. 1. Elsevier. 2007. abstract pdf bibtex
A Concurrent Calculus with Atomic Transactions
Lucia Acciai, Michele Boreale, Silvano Dal Zilio.
Proc. of 16th European Symposium on Programming (ESOP'07). Rocco De Nicola (Eds.). pp. 48-63. Lecture Notes in Computer Science vol. 4421. Springer. 2007. abstract pdf bibtex
A Coordination Model for Service-Oriented Interactions
Joao Abreu, José Luiz Fiadeiro.
COORDINATION. pp. 1-16. 2008. bibtex
A deadlock free type system for a calculus of services and sessions
Roberto Bruni, Leonardo Gaetano Mezzina.
no. TR-08-05. 2008. abstract ps.gz bibtex
A Decentralized Implementation of Mobile Ambients
Fabio Gadducci, Giacoma Valentina Monreale.
Proceedings of ICGT 2008, 4th International Conference on Graph Transformations. Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer (Eds.). pp. 115-130. Lecture Notes in Computer Science vol. 5214. Springer. 2008. abstract pdf bibtex
A design environment for mobile applications
Stephen Gilmore, Valentin Haenel, Jane Hillston, Jennifer Tenzer.
Proc. 5th Int. Wsh. Performance Modeling, Evaluation, and Optimization of Parallel and Distributed Systems (PMEO-PDS 2006). IEEE. 2006. pdf bibtex
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Michele Loreti.
Proc. of 5th IFIP Int. Conf. on Distributed Applications and Interoperable Systems (DAIS). pp. 181--193. LNCS vol. 3543. Springer. 2005. abstract pdf bibtex
A flow-sensitive analysis of privacy properties
Flemming Nielson, Hanne Riis Nielson.
Proceedings of CSF'07. 2007. abstract pdf bibtex
A Fluid Flow Approach to Usability Analysis of Multi-user Systems
Mieke Massink, Diego Latella, Maurice H. ter Beek, Michael Harrison, Michele Loreti.
Engineering Interactive Systems 2008---Proceedings of the 2nd Conference on Human-Centered Software Engineering (HCSE\'08), Pisa, Italy. P. Forbrig, F. Paterno (Eds.). pp. 166-180. Lecture Notes in Computer Science vol. 5247. Springer-Verlag, Berlin. 2008. abstract pdf pdf bibtex
A formal account of WS-BPEL
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi.
Proc. of the 10th International Conference on Coordination Models and Languages. D. Lea and G. Zavattaro (Eds.). pp. 199-215. LNCS vol. 5052. Springer. 2008. pdf bibtex
A Formal Analysis for Capturing Replay Attacks in Communication Protocols
Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson.
Proceeding of ASIAN'07. LNCS 4846. Springer (Eds.). pp. 150-165. abstract pdf bibtex
A formal analysis of complex type flaw attacks on security protocols
Han Gao, Chiara Bodei, Pierpaolo Degano.
12th International Conference on Algebraic Methodology and Software Technology (AMAST'08). LNCS vol. 5140. Springer. abstract pdf bibtex
A Formal Approach to Event-Based Architectures.
José Luiz Fiadeiro, Antónia Lopes.
FASE. pp. 18-32. 2006. pdf bibtex
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 formal support to business and architectural design for service-oriented systems
Roberto Bruni, Howard Foster, Alberto Lluch Lafuente, Ugo Montanari, Emilio Tuosto.
Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science. Springer. 2010. abstract pdf bibtex
A formalisation of Adaptable Pervasive Flows
Antonio Bucchiarone, Alberto Lluch Lafuente, Annapaola Marconi, Marco Pistore.
WS-FM'09. Su Jianwen, Cosimo Laneve (Eds.). Lecture Notes in Computer Science. Springer. 2009. wsfm09.pdf bibtex
A formalization of credit and responsibility within the GNDC schema
Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi.
Proc. of 1st Workshop on Security and Trust Management (STM05). pp. 61-78. ENTCS vol. 157(3). Elsevier. 2006. abstract pdf bibtex
A Foundational Theory of Contracts for Multi-party Service Composition
Mario Bravetti, Gianluigi Zavattaro.
Fundamenta Informaticae. pp. 451-478. vol. 89 no. 4. IOS Press. 2008. abstract pdf bibtex
A Framework for Characterization and Analysis of Software System Scalability
Leticia Duboc, David S. Rosenblum, Tony Wicks.
Proc. Joint 11th European Software Engineering Conf. and 15th ACM SIGSOFT Int'l Symposium on the Foundations of Software Engineering (ESEC/FSE). pp. 375-384. ACM Press. 2007. abstract pdf bibtex
A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application
Paolo Greci, Fabio Martinelli, Ilaria Matteucci.
Isola. Springer Verlag. 2008. bibtex
A Framework for Dynamic ServiceOriented Architectures
Matthias Hölzl.
Proceedings of the International Lisp Conference. 2005. bibtex
A Framework for the Verification of Infinite-State Graph Transformation Systems
Paolo Baldan, Andrea Corradini, Barbara Koenig.
Information and Computation. pp. 869-907. vol. 206. 2008. 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 Ground-Complete Axiomatization of Finite-State Processes in a Generic Process Algebra
Jos C.M. Baeten, Mario Bravetti.
Mathematical Structures in Computer Science. pp. 1057-1089. vol. 18 no. 6. Cambridge University Press. 2008. abstract pdf bibtex
A Grounded Specification Language for Agent Programs
M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Meyer.
Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'07). pp. 578--585. IFAAMAS. 2007. 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
A heterogeneous approach to UML semantics
Maria Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing.
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday . P. Degano and R. De Nicola and J. Meseguer (Eds.). pp. 383--402. LNCS vol. 5065. Springer. 2008. abstract pdf pdf bibtex
A Hybrid Type System for Lock-Freedom of Mobile Processes
Naoki Kobayashi, Davide Sangiorgi.
Proc. of CAV'08. pp. 80-93. Lecture Notes in Computer Science vol. 5123. Springer. 2008. abstract bibtex
A Logic for Application Level QoS
Dan Hirsch, Alberto Lluch Lafuente, Emilio Tuosto.
3nd Workshop on Quantitative Aspects of Programming Languages. QAPL'05. A. Cerone, H. Wiklicky (Eds.). pp. 135--159. Electronic Notes in Theoretical Computer Science vol. 153. 2006. abstract 15710661 bibtex
A logic for contracts
Massimo Bartoletti, Roberto Zunino.
2009. Technical Report DISI-09-034. abstract pdf bibtex
A logic for contracts
Massimo Bartoletti, Roberto Zunino.
Proc. ICTCS. 2009. abstract 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
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
A Model Checking Verification Environment for UML Statecharts
Stefania Gnesi, Franco Mazzanti.
Proceedings XLIII AICA Annual Conference, University of Udine - AICA 2005. 2005. abstract pdf bibtex
A model transformation-based approach for the Dependability analysis of UML-based system designs with maintenance
Ábel Hegedüs.
no. rcl090601. 2009. html bibtex
A Model-Based Approach to Engineering Web Service Compositions and Choreography
Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel.
Testing and Analysis of Web Services. Baresi, Luciano; Di Nitto, Elisabetta (Eds.). pp. 87-120. Springer-Verlag Berlin and Heidelberg GmbH \& Co.. 2007. abstract 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
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 Dynamic and Adaptive Service Brokering using Modes
Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastian Uchitel.
Proceedings of IEEE International Conference on Service Oriented Computing (ICSOC 2008). 2008. 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
A model-theoretic foundation for contract-based software components
Michel Bidoit, Rolf Hennicker.
Proc. SBMF 2007, Brazilian Symposium on Formal Methods. A.C.V. de Melo, A.F. Moreira, L. Canarao, E. Pimentel (Eds.). Publishing Company Sociedade de Computacao. 2007. bibtex
A Multithreaded Typed Assembly Language
Vasco T. Vasconcelos, Francisco Martins.
Proceedings of TV06 - Multithreading in Hardware and Software: Formal Approaches to Design and Verification. pp. 133--141. 2006. martins_multithreaded-tal.pdf bibtex
A Name Abstraction Functor for Named Sets
Vincenzo Ciancia, Ugo Montanari.
Electr. Notes Theor. Comput. Sci.. pp. 49-70. vol. 203 no. 5. 2008. bibtex
A Negotiation Scheme for Access Rights Establishment in Autonomic Communication
Hristo Koshutanski, Fabio Massacci.
Journal of Network and System Management. pp. 117-136. vol. 15 no. 1. 2007. abstract pdf bibtex
A Net-based Approach to Web Services Publication and Replaceability
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci.
Fundamenta Informaticae. pp. 305-330. vol. 94 no. 3-4. IOS Press. 2009. abstract pdf bibtex
A Note on an Old-Fashioned Algebra for (Disconnected) Graphs
Fabio Gadducci.
Proceedings of TERMGRAPH 2009, 5th International Workshop on Term Graph Rewriting. Andrea Corradini (Eds.). pp. 3-15. Electronic Notes in Theoretical Computer Science vol. 253 no. 4. Elsevier. 2009. abstract pdf bibtex
A Pattern-Based Approach to Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity
Martin Wirsing, Matthias Hölzl, Lucia Acciai, Allan Clark, Federico Banti, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró.
Proc. of 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2008), Porto Sani, Greece. LNCS. Springer-Verlag. 2008. abstract pdf bibtex
A pi-calculus based semantics for WS-BPEL
Manuel Mazzara, Roberto Lucchi.
Journal of Logic and Algebraic Programming. pp. 96-118. vol. 70 no. 1. Elsevier. 2006. abstract pdf bibtex
A Process Calculus Analysis of Compensations
Luis Caires, Carla Ferreira, Hugo Vieira.
Trustworthy Global Computing 2008 Proceedings. Springer. 2008. abstract pdf bibtex
A Rewriting Logic Framework for Soft Constraints
Martin Wirsing, Carolyn Talcott, Andy Poggio, Linda Briesemeister, Grit Denker.
Proc. 6th Int. Workshop on Rewriting Logic and its Applications (WRLA 2006), Vienna, Austria. ENTCS. 2006. abstract pdf bibtex
A Rigorous Approach to Engineering Web Service Compositions
Howard Foster.
2006. PhD Thesis. abstract pdf bibtex
A Scalable Inclusion Constraint Solver Using Unification
Ye Zhang, Flemming Nielson.
Logic-Based Program Synthesis and Transformation (LOPSTR'07). pp. 87-96. 2007. Preproceedings. abstract bibtex
A Secure Simplification of the PKMv2 Protocol in IEEE 802.16e-2005
Ender Yüksel, Hanne Riis Nielson, Christoffer Rosenkilde Nielsen, Mehmet Bülent Örencik.
FCS-ARSPA'07. Informal Proceedings. abstract pdf bibtex
A Semantic Framework for Open Processes
Paolo Baldan, Andrea Bracciali, Roberto Bruni.
Theoretical Computer Science. pp. 446--483. vol. 389 no. 3. 2007. abstract bibtex
A Service Oriented Computation Model
Luis Caires, Hugo Vieira, Joao C. Seco.
no. 2007-TR-06. 2007. 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 Soft Approach to Multi-objective Optimization
Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon.
Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings. Maria Garcia de la Banda, Enrico Pontelli (Eds.). pp. 764-768. Lecture Notes in Computer Science vol. 5366. Springer. 2008. abstract pdf bibtex
A Stochastic Semantics for BioAmbients
Pierpaolo Degano.
Parallel Computing Technologies. V. Malynshkin (Eds.). pp. 22--34. LNCS vol. 4671. Springer. 2007. abstract pdf bibtex
A Survey of Constraint-based Programming Paradigms
Maria Grazia Buscemi, Ugo Montanari.
Computer Science Review. pp. 137--141. vol. 2 no. 3. Elsevier Science. 2008. abstract pdf bibtex
A Survey on Distributed Access Control Systems for Web Business Processes
Hristo Koshutanski.
International Journal of Network Security (IJNS). pp. 61-69. vol. 9 no. 1. 2009. abstract pdf bibtex
A Survey on Service Composition Languages and Models
Antonio Bucchiarone, Stefania Gnesi.
Proceedings of the 1st International Workshop on Web Services Modeling and Testing (WsMaTe'06), Palermo, Italy. 2006. pdf bibtex
A symbolic framework for multi- faceted security protocol analysis
Andrea Bracciali, Gianluigi Ferrari, Emilio Tuosto.
International Journal of Information Security. Springer (Eds.). vol. 7 no. 1. 2008. abstract pdf bibtex
A Symbolic Semantics for a Calculus for Service-Oriented Computing
Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida.
Proc. of Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'08). pp. 135-164. ENTCS vol. 241. Elsevier. 2009. pdf bibtex
A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols
Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi.
Journal of Automata, Languages and Combinatorics. pp. 345--374. vol. 11 no. 4. 2006. pdf bibtex
A Temporal Graph Logic for Verification of Graph Transformation Systems
Paolo Baldan, Andrea Corradini, Barbara Koenig, Alberto Lluch Lafuente.
18th International Workshop on Algebraic Development Techniques (WADT'06). pp. 1-20. 2007. abstract pdf bibtex
A Term-Graph Syntax for Algebras over Multisets
Fabio Gadducci.
Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers. Andrea Corradini, Ugo Montanari (Eds.). pp. 152-165. Lecture Notes in Computer Science vol. 5486. Springer. 2009. 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
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
A Tool for Checking Probabilistic Properties of COWS Services
Igor Cappello, Paola Quaglia.
2010. In Proc. TGC 2010. bibtex
A tool for rapid development of WS-BPEL applications
Luca Cesari, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi.
Proc. of 25th Symposium On Applied Computing (SAC 2010). ACM Press. 2010. pdf bibtex
A type system for client progress in a service-oriented calculus
Lucia Acciai, Michele Boreale.
Concurrency, Graphs and Models. Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. pp. 642-658. LNCS vol. 5065. 2008. abstract pdf bibtex
A Typed Calculus for Querying Distributed XML Documents
Lucia Acciai, Michele Boreale, Silvano Dal Zilio.
Proc. of the 2nd symposium on Trustworthy Global Computing (TGC'06). U. Montanari, D. Sannella, and R. Bruni (Eds.). pp. 167-182. Lecture Notes in Computer Science vol. 4661. Springer. 2007. abstract pdf bibtex
A Typed Lambda Calculus with Intersection Types
Viviana Bono, Betti Venneri, Lorenzo Bettini.
Theoretical Computer Science. pp. 95-113. vol. 398 no. 1-3. Elsevier. 2008. abstract pdf bibtex
A Typed Model for Multiparty Conversations
Luis Caires, Hugo Vieira.
vol. 3. DI FCT UNL. 2008. abstract pdf bibtex
A uniform framework for the modeling and analysis of security and trust
Fabio Martinelli, Marinella Petrocchi.
Proc. of 1st Workshop on Information and Computer Security- ICS 2006. ENTCS. Elsevier. 2006. pdf bibtex
A Use-Case Driven Approach to Formal Service-Oriented Modelling
Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes.
Proceedings of International Symposium on Leveraging Applications of Formal Methods Verification and Validation. pp. 155-169. Communications in Computer and Information Science vol. 17. Springer Berlin Heidelberg. 2008. 0.pdf bibtex
A WSDL-based type system for WSBPEL
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi.
Proc. of the Eighth International Conference on Coordination Models and Languages. Paolo Ciancarini, Herbert Wiklicky (Eds.). pp. 145-163. LNCS vol. 4038. Springer. 2006. abstract ps bibtex
About permutation algebras, (pre)sheaves and named sets
Fabio Gadducci, Marino Miculan, Ugo Montanari.
Higher-Order and Symbolic Computation. pp. 283-304. vol. 19. Springer. 2006. abstract pdf bibtex
Abstract Processes in Orchestration Languages
Maria Grazia Buscemi, Hernán Melgratti.
Proceedings of the 18th European Symposium on Programming . Giuseppe Castagna (Eds.). pp. 301-315. Lecture Notes in Computer Science vol. 5502. Springer-Verlag. 2009. abstract pdf bibtex
Activity-Driven Synthesis of State Machines
Rolf Hennicker, Alexander Knapp.
Proc. of FASE 2007, Fundamental Approaches to Software Engineering, Conference at ETAPS 2007 (Joint Conferences on Theory and Practice of Software). M.B. Dwyer, A. Lopes (Eds.). pp. 87--101. LNCS vol. 4422. Springer-Verlag. 2007. bibtex
Adapting Proofs-as-Programs: The Curry--Howard Protocol
Iman Poernomo, John Crossley, Martin Wirsing.
pp. 420. Springer Monographs in Computer Science. Springer. 2005. bibtex
Adaptive Fuzzy-valued Service Selection
Davide Bacciu, Maria Grazia Buscemi, Lusine Mkrtchyan.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC). ACM. 2010. abstract pdf bibtex
Adding mobility to Software Architectures
Antónia Lopes, José Luiz Fiadeiro.
Science of Computer Programming. pp. 114--135. vol. 61. 2006. pdf bibtex
Addressing New Concerns in Model-Driven Web Engineering Approaches
Nathalie Moreno, Nora Koch, Santiago Meliá, Antonio Vallecillo.
Proc. of 9th Int. Conference on Web Information Systems Engineering (WISE 2008), Auckland, New Zealand. pp. 426-442. LNCS 5175. Springer-Verlag. 2008. 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
Algebraic Semantics of OCL-Constrained Metamodel Specifications
Artur Boronat, José Meseguer.
TOOLS (47). Manuel Oriol, Bertrand Meyer (Eds.). pp. 96-115. LNBIP. Springer. 2009. 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
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
An Algebra of Hierarchical Graphs
Roberto Bruni, Fabio Gadducci, Alberto Lluch Lafuente.
TGC 2010, 5th Symposium on Trustworthy Global Computing. Martin Wirsing, Martin Hofmann (Eds.). Lecture Notes in Computer Science. Springer. 2010. abstract tgc10.pdf bibtex
An Algebraic Semantics for MOF
Artur Boronat, José Meseguer.
FASE. pp. 377-391. 2008. bibtex
An algebraic semantics for MOF
Artur Boronat, José Meseguer.
Formal Aspects of Computing. Springer. 2009. bibtex
An Algorithm for the Appraisal of Assurance Indicators for Complex Business Processes
Fabio Massacci, Artsiom Yautsiukhin.
Proceedings of the 2007 ACM Workshop on Quality of Protection (QoP 2007). October 29th, 2007. Alexandria (USA). pp. 22--27. ACM. 2007. abstract pdf bibtex
An Approach for the Specification, Verification and Synthesis of Secure Systems
Fabio Martinelli, Ilaria Matteucci.
Electr. Notes Theor. Comput. Sci.. pp. 29-43. vol. 168. 2007. abstract pdf bibtex
An extensible analysable system model
Christian W. Probst, René Rydhof Hansen.
Information Security Tech. Report . pp. 235-246 . vol. 13. abstract pdf bibtex
An Institution for Interacting Components
Artur Zawłocki.
2006. Technical report. Extended abstract presented on WADT'06 . pdf bibtex
Analysis of Communication Models in Web Service Compositions
Raman Kazhamiakin, Marco Pistore, Luca Santuari.
Proceedings of the 15th International Conference on World Wide Web (WWW 2006). May 23rd-26th, 2006. Edinburgh, Scotland (UK). pp. 267-276. ACM. 2006. abstract pdf bibtex
Analysis of Realizability Conditions for Web Service Choreographies
Raman Kazhamiakin, Marco Pistore.
Proceedings of the 26th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2006 - IFIP WG 6.1). September 26th. Elie Najm, Jean-Fran\c{c}ois Pradat-Peyre,V{\'e}ronique Donzeau-Gouge (Eds.). pp. 61-76. LNCS vol. 4229. Springer Berlin / Heidelberg. 2006. abstract bibtex
Approximate Model Checking of Stochastic COWS
Paola Quaglia, Stefano Schivo.
2010. In Proc. TGC 2010. bibtex
Architectural Design Rewriting as an Architecture Description Language
Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari, Emilio Tuosto.
Proceedings of R2D2 2008, The Rise and Rise of the Declarative Datacentre. Karthik Bhargavan, Andy Gordon, Tim Harris, Peter Toft (Eds.). pp. 15--16. 2008. Technical Report Microsoft Research MSR-TR-2008-61. abstract r2d208.pdf bibtex
Architectural Style - Based Modeling and Simulation of Complex Software Systems
Ping Guo, Gregor Engels, Reiko Heckel.
12th Asia-Pacific Software Engineering Conference (APSEC'05). pp. 367-374. IEEE Computer Society. 2005. abstract 2005.41 bibtex
Architectural Transformations: From Legacy to Three-tier and Services
Reiko Heckel, Rui Correia, Carlos Matos, Mohammad El-Ramly, Georgios Koutsoukos, Luis Andrade.
Software Evolution. Tom Mens, Serge Demeyer (Eds.). pp. 139 170. Springer. 2008. bibtex
Architecture and Behaviour Analysis for Engineering Software Modes
Howard Foster.
in 2nd Workshop on Principles of Engineering Service Oriented Systems (PESOS) at ICSE 2009. IEEE. 2009. abstract pdf bibtex
Architecture Migration driven by Code Categorization
Carlos Matos, Mohammad El-Ramly, Rui Correia, Reiko Heckel.
Proc. European Conference on Software Architecture (ECSA 2007). Flavio Oquendo (Eds.). pp. 115-122. Lecture Notes in Computer Science vol. 4758. Springer. 2007. bibtex
Aspect-Oriented Modeling of Access Control in Web Applications
Gefei Zhang, Hubert Baumeister, Nora Koch, Alexander Knapp.
Proc. 6th Int. Wsh. Aspect Oriented Modeling (WAOM'05). 2005. abstract pdf bibtex
Assisting the Design of a Groupware System
Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni.
Istituto di Scienza e Tecnologie dell'Informazione, CNR no. 2008-TR-13. 2008. pdf bibtex
Assisting the design of a groupware system---Model checking usability aspects of thinkteam
Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni.
Journal of Logic and Algebraic Programming. pp. 191--232. vol. 78 no. 4. 2009. jlap.2008.11.004 pdf bibtex
Assume-Guarantee Verification of Concurrent Systems
Liliana DÉrrico, Michele Loreti.
Proc. of COORDINATION 2009. John Field and Vasco Thudichum Vasconcelos (Eds.). pp. 288-305. Lecture notes in Computer Science vol. 5521. Springer. 2009. bibtex
Atomic Commit and Negotiation in Service Oriented Computing
Laura Bocchi, Roberto Lucchi.
Proceedings of Coordination Models and Languages (Coordination'06). pp. 16-27. Lecture Notes in Computer Science vol. 4038. Springer Verlag. 2006. pdf bibtex
Attacking Right-to-Left Modular Exponentiation with Timely Random Faults
Michele Boreale.
Fault Diagnosis and Tolerance in Cryptography, Third International Workshop (FDTC 2006). Luca Breveglieri and Israel Koren and David Naccache and Jean-Pierre Seifert (Eds.). pp. 24-35. Lecture Notes in Computer Science vol. 4236. Springer. 2006. 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
Automatic Conformance Testing of Web Services
Reiko Heckel, Leonardo Mariani.
Proc. Fundamental Approaches to Software Engineering (FASE). pp. 34-48. LNCS vol. 2984. Springer. 2005. abstract pdf bibtex
Automatic Extraction of PEPA Performance Models from UML Activity Diagrams Annotated with the MARTE Profile
Mirco Tribastone, Stephen Gilmore.
Proceedings of the 7th International Workshop on Software and Performance (WOSP2008). pp. 67--78. ACM Press. 2008. pdf bibtex
Automatic Translation of UML Sequence Diagrams into PEPA Models
Mirco Tribastone, Stephen Gilmore.
5th International Conference on the Quantitative Evaluation of SysTems (QEST 2008). pp. 205--214. IEEE Computer Society Press. 2008. pdf bibtex
Automating Model Transformation by Example Using Inductive Logic Programming
Dániel Varró, Zoltán Balogh.
ACM Symposium on Applied Computing --- Model Transformation Track (SAC 2007). pp. 978--984. ACM Press. 2007. abstract pdf bibtex
Automotive and Finance Case Studies in CSCC
Joao C. Seco, Luis Caires, Hugo T. Vieira.
no. 2007-TR-04. 2007. pdf bibtex
Automotive CASE Study: Demonstrator
Rong Xie, Nora Koch.
CIRQUENT. 2009. report (draft). abstract pdf bibtex
Autonomous and Adaptive Web Services, Dagstuhl Seminar Proceedings 07061
J. Koehler, M. Pistore, A. P. Sheth, P. Traverso, M. Wirsing (Eds.). 2007. abstract 1035.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
Basic observables for a calculus for global computing
Rocco De Nicola, Daniele Gorla, Rosario Pugliese.
Inf. Comput.. pp. 1491-1525. vol. 205 no. 10. 2007. 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
Behavioral Refinement of Graph Transformation-Based Models.
Reiko Heckel, Sebastian Thöne.
Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions (SETra 2004). pp. 101-111. Electr. Notes Theor. Comput. Sci. vol. 127(3). 2005. abstract pdf bibtex
Behavioral-Spatial Types, Distributed Services, and Resources
Luis Caires.
International Symposium on Trustworthy Global Computing. R. Bruni, U. Montanari, D. Sannella (Eds.). LNCS. Springer. 2007. abstract pdf bibtex
Behavioural theory at work: program transformations in a service-centred calculus
Luis Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco T. Vasconcelos.
In 10th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'08). Gilles Barthe and Frank S. de Boer (Eds.). pp. 59-77. LNCS vol. 5051. Springer-Verlag. 2008. abstract etal_behavioural-theory-at-work.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
Bridging the Gap between Interaction- and Process-Oriented Choreographies
Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro.
Proc. of SEFM'08. pp. 323-332. IEEE press. 2008. abstract ps.gz bibtex
Business process management
Schahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth.
Data Knowl. Eng.. pp. 1-2. vol. 64 no. 1. 2008. bibtex
Calculi for Service-Oriented Computing
Roberto Bruni.
9th International School on Formal Methods: Web Services, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures. Marco Bernardo and Luca Padovani and Gianluigi Zavattaro (Eds.). pp. 1--41. Lecture Notes in Computer Science vol. 5569. Springer. 2009. abstract pdf.gz bibtex
Case Studies Scenarios Description: Automotive Case Study
Angelika Zobel, Nora Koch, Jan Zahalka.
pp. 13. Technical Report vol. 1 no. FAST. 2006. abstract pdf bibtex
Causality Versus True-Concurrency
Sibylle Froeschle, Sławomir Lasota.
Proc. EXPRESS'05. pp. 3--18. ENTCS vol. 154(3). Elsevier. 2006. ps.gz 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
Certificates for Tree Automata Completion
Roberto Zunino.
Proceedings of the Joint Workshop on Foundations of Computer Security, Automated Reasoning for Security Protocol Analysis and Issues in the Theory of . 2008. abstract pdf bibtex
Change-driven Model Transformations
István Ráth, Gergely Varró, Dániel Varró.
Proc. of MODELS'09, ACM/IEEE 12th International Conference On Model Driven Engineering Languages And Systems. pp. 342-356. Lecture Notes in Computer Science vol. 5795/2009. 2009. bibtex
Checking Choreography Conformance using SLMC
Luis Caires, David T. Sousa, Hugo T. Vieira.
no. 2007-TR-03. 2007. pdf bibtex
Checking correctness of transactional behaviors
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo.
28th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE08). abstract pdf bibtex
Checking Risky Events is enough for Local Policies
Massimo Bartoletti, Pierpaolo Degano, Gianluigi Ferrari.
Proceedings of ICTCS 2005, 9th Italian Conference on Theoretical Computer Science. M. Coppo, E. Lodi, G.M. Pinna (Eds.). pp. 97--112. Lecture Notes in Computer Science vol. 3701. 2005. abstract pdf bibtex
Checking the Conformance of Java Classes Against Algebraic Specifications
Isabel Nunes, Antónia Lopes, Vasco T. Vasconcelos, Joao Abreu, Luís Reis.
Proceedings of ICFEM'06. pp. 494--513. LNCS vol. 4260. SPRINGER. 2006. lopes.etal_checking-conformance.pdf bibtex
Choreography and Orchestration conformance for system design
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro.
Proc.of 8th International Conference on Coordination Models and Languages. pp. 63-81. LNCS vol. 4038. Springer. 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
Choreography Conformance Analysis: Asynchronous Communications and Information Alignment
Raman Kazhamiakin, Marco Pistore.
Proceedings of the 3rd International Workshop on Web Services and Formal Methods (WS-FM 2006). September 8th-9th, 2006. Vienna (Austria). Mario Bravetti, Manuel Nunez, Gianluigi Zavattaro (Eds.). pp. 227-241. LNCS vol. 4184. Springer Berlin / Heidelberg. 2006. abstract bibtex
Choreography Rehearsal
Chiara Bodei.
Lecture Notes in Computer Science. To appear in the Proc. of WS on Web Services and Formal Methods (WS-FM'09). abstract pdf bibtex
Classification of Model Transformation Techniques used in UML-based Web Engineering
Nora Koch.
IET Software Journal. pp. 98-111. vol. 1 no. 3. Institution of Engineering and Technology. 2007. abstract bibtex
CMC-UMC: A Framework for the Verification of Abstract Service-Oriented Properties
Dominik Berndl.
Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC'09). ACM (Eds.). pp. 1844 - 185. ACM Press. 2009. 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
Co-Algebraic Models for Quantitative Spatial Logics
Vincenzo Ciancia, Gianluigi Ferrari.
Quantitative Aspects of Programming Languages (QAPL'07). 2007. abstract pdf bibtex
Coalgebraic Models for Reactive Systems
Filippo Bonchi, Ugo Montanari.
Proceedings of CONCUR 2007. Luis Caires and Vasco T. Vasconcelos (Eds.). pp. 364-379. Lecture Notes in Computer Science no. 4703. Springer. 2007. abstract pdf bibtex
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces
Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro.
Proc. of TGC'08. Christos Kaklamanis and Flemming Nielson (Eds.). pp. 52-68. Lecture Notes in Computer Science vol. 5474. Springer. 2008. abstract pdf bibtex
Communicating by Compatibility
Davide Prandi, Corrado Priami, Paola Quaglia.
Journal of Logic and Algebraic Programming. pp. 167-181. vol. 75 no. 2. 2008. abstract pdf bibtex
Compiling Model Transformations to EJB3-Specific Transformer Plugins
András Balogh, Gergely Varró, Dániel Varró, András Pataricza.
ACM Symposium on Applied Computing --- Model Transformation Track (SAC 2006). pp. 1288-1295. ACM Press. 2006. abstract bibtex
Compiling the pi-calculus into a Multithreaded Typed Assembly Language
Tiago Cogumbreiro, Francisco Martins, Vasco T. Vasconcelos.
PLACES 2008 --- 1st International Workshop in Programming Language Approaches to Concurrency and Communication-cEntric Software, Oslo, Norway, June 7,. pp. 40--45. entcs. ELSEVIER. 2009. martins.vasconcelos_compiling-pi-into-mtal.pdf bibtex
Composing services with JOLIE
Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro.
Proceedings of ECOWS'07. pp. 13-22. IEEE. 2007. abstract pdf bibtex
Composing Transactional Services
Roberto Bruni, Hernán Melgratti, Ugo Montanari.
2006. Manuscript.. abstract ps.gz bibtex
Compositional semantics for open Petri nets based on deterministic processes
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel.
Mathematical Structures in Computer Science. pp. 1-35. vol. 15 no. 1. 2005. abstract 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
Computer-Aided Support for Secure Tropos
Fabio Massacci, John Mylopolous, Nicola Zannone.
Automated Software Engineering. pp. 341-364. vol. 14 no. 3. 2007. abstract pdf bibtex
Concurrent and Located Synchronizations in pi-calculus
Ivan Lanese.
Proc. of SOFSEM'07. pp. 388-399. LNCS vol. 4362. Springer. 2007. abstract ps.gz ps bibtex
Concurrent Rewriting for Graphs with Equivalences
Paolo Baldan, Fabio Gadducci, Ugo Montanari.
Proceedings of CONCUR 2006, 17th International Conference on Concurrency Theory. Cristel Baier, Holger Hermanns (Eds.). pp. 279-294. Lecture Notes in Computer Science vol. 4137. Springer. 2006. abstract pdf bibtex
Confining Data and Processes in Global Computing Applications
Rocco De Nicola, Daniele Gorla, Rosario Pugliese.
Science of Computer Programming. pp. 57-87. vol. 63 no. 1. Elsevier Science. 2006. abstract pdf bibtex
Congu, Checking Java Classes Against Property-Driven Algebraic Specifications
Joao Abreu, Alexandre Caldeira, Antónia Lopes, Isabel Nunes, Luís Reis, Vasco T. Vasconcelos.
no. 07--7. 2007. caldeira.etal_congu-report.pdf bibtex
Constraint-Based Policy Negotiation and Enforcement for Telco Services
Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari.
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07). He Jifeng, Jeff Sanders (Eds.). pp. 463-472. IEEE Computer Society. 2007. abstract pdf bibtex
Construction and Correctness Analysis of a Model Transformation from Activity Diagrams to Petri Nets
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Julia Padberg.
Proc. Intern. IMCAS Symposium on Mathematical Modelling (MathMod). I. Troch, F. Breitenecker (Eds.). ARGESIM-Reports. 2006. abstract pdf bibtex
Constructor-based Observational Logic
Michel Bidoit, Rolf Hennicker.
Journal of Logic and Algebraic Programming. pp. 3-51. vol. 67 no. 1-2. Elsevier. 2006. bibtex
Contract based Multi-party Service Composition
Mario Bravetti, Gianluigi Zavattaro.
Proc. of the of the IPM International Symposium on Fundamentals of Software Engineering (FSEN 2007). pp. 207-222. Lecture Notes in Computer Science vol. 4767. Springer. 2007. abstract ps bibtex
Contract Compliance and Choreography Conformance in the Presence of Message Queues
Mario Bravetti, Gianluigi Zavattaro.
Proceedings of WS-FM 2008. Roberto Bruni, Karsten Wolf (Eds.). pp. 37-54. Lecture Notes in Computer Science vol. 5387. Springer. 2008. abstract pdf bibtex
Contract-Based Discovery and Composition of Web Services
Mario Bravetti, Gianluigi Zavattaro.
Proc. of SFM'09. Marco Bernardo, Luca Padovani and Gianluigi Zavattaro (Eds.). pp. 261-295. Lecture Notes in Computer Science vol. 5569. Springer. 2009. abstract pdf bibtex
Contract-Driven Implementation of Choreographies
Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro.
Proc. of TGC'08. Christos Kaklamanis, Flemming Nielson (Eds.). pp. 1-18. LNCS vol. 5474. Springer. 2008. abstract pdf bibtex
Contributions of Team Automata in Security
Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi.
ERCIM News - Special: Security and Trust Management. pp. 38--39. vol. 63. 2005. 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
Coordination Via Types in an Event-Based Framework
Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto.
FORTE. pp. 66-80. 2007. pdf bibtex
Correct Execution of Reconfiguration for Stateful Components
Moritz Hammer, Alexander Knapp.
Proc. 5th Int. Wsh. Formal Aspects of Component Software (FACS'08). Carlos Canal, Corina Pasareanu (Eds.). 2008. bibtex
COWS: A timed service-oriented calculus
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi.
Proc. of 4th International Colloquium on Theoretical Aspects of Computing (ICTAC'07). C.B. Jones, Z. Liu, J. Woodcock (Eds.). pp. 275-290. LNCS vol. 4711. Springer. 2007. pdf bibtex
Creating Objects in the Flexible Authorization Framework
Nicola Zannone, Sushil Jajodia, Duminda Wijesekera.
Proceedings of the 20th Annual Working Conference on Data and Applications Security (IFIP WG 11.3). July 31st-August 2nd, 2006. Sofia Antipolis (Franc. Ernesto Damiani, Peng Liu (Eds.). pp. 1--14. LNCS vol. 4127 no. 20. Springer. 2006. abstract pdf bibtex
Credit Portal Implementation - Finance Case Study
Michel Alessandrini, Jannis Elgner.
technical report. 2008. 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
Data Flow Analysis for CCS
Flemming Nielson, Hanne Riis Nielson.
Festschrift dedicated to Reinhard Wilhelm's 60.~birthday. 2006. abstract bibtex
Datatypes in Memory
David Aspinall , Piotr Hoffman.
Proc. of the Conference on Algebra and Coalgebra in Computer Science CALCO'07. pp. 111--125. LNCS vol. 4624. Springer. 2007. pdf bibtex
Debugging Distributed Systems with Causal Nets
Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto.
Electronic Communications of the EASST, 3rd Workshop on Petri Nets and Graph Transformations (PNGT 2008). pdf 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
Deciding safety properties in infinite-state pi-calculus via behavioural types
Lucia Acciai, Michele Boreale.
Automata, Languages and Programming. pp. 31-42. LNCS vol. 5556. Springer Berlin / Heidelberg. 2009. abstract pdf bibtex
Design and Implementation of a Coordination Model for Distributed Simulations
Rolf Hennicker, Matthias Ludwig.
Proc. Modellierung 2006 (MOD'06). Heinrich C. Mayr, Ruth Breu (Eds.). pp. 83-97. Lect. Notes Informatics vol. P-82. Gesellschaft fuer Informatik. 2006. pdf bibtex
Design and Verification of Web Services Compositions in the Telecommunication Domain
Piergiorgio Bertoli, Laura Ferrari, Raman Kazhamiakin, Corrado Moiso, Marco Pistore, Ermes Thuegaz.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007). July 9th-13th, 2007. Salt Lake City (USA). pp. 1214-1215. IEEE Computer Society. 2007. 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
Detecting and Preventing Type flaws at Static Time
Chiara Bodei, Linda Brodo, Pierpaolo Degano, Han Gao.
Journal of Computer Security. IOS Press (Eds.). Accepted for pubblication. abstract bibtex
Detecting and Preventing Type Flaws: a Control Flow Analysis with tags
Chiara Bodei, Linda Brodo, Pierpaolo Degano, Han Gao.
Proceeding of SecCO'07. ENTCS 194. Elsevier (Eds.). pp. 3-22. abstract pdf bibtex
Detecting Conflicts between Functional and Security Requirements with Secure Tropos: John Rusnak and the Allied Irish Bank
Fabio Massacci, Nicola Zannone.
no. DIT-06-002. 2006. abstract pdf bibtex
Detecting Conflicts of Interest
Paolo Giorgini, Fabio Massacci, John Mylopolous, Nicola Zannone.
Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006). September 11th-15th 2006. Minneapolis/St.Paul (USA). pp. 308-311. IEEE Computer Society. 2006. abstract pdf bibtex
Detecting Policy Conflicts by Model Checking UML State Machines
Maurice H. ter Beek, Stefania Gnesi, Carlo Montangero, Laura Semini.
Feature Interactions in Software and Communication Systems X. M. Nakamura and S. Reiff-Marganiec (Eds.). pp. 59--74. IOS Press. 2009. pdf bibtex
Detecting Replay Attacks by Freshness Annotations
Han Gao, Pierpaolo Degano, Chiara Bodei, Hanne Riis Nielson.
Proceedings of WITS'07. 2007. abstract pdf bibtex
Deterministic Responsiveness and Closeness in the Pi-Calculus
Maxime Gamboni, António Ravara.
2006. pdf bibtex
Diagram Models for Interacting Components
Artur Zawłocki.
Preliminary Proceedings of FACS 2006. Frank de Boer and Vladimir Mencl (Eds.). pp. 231--246. UNU-IIST Technical Report vol. 344. 2006. pdf bibtex
DINO Integration and Intelligent Extension - Finance Case Study
Michel Alessandrini.
Technical report. 2009. abstract pdf bibtex
Distribution concerns in service-oriented modelling
Nasreddine Aoumeur, José Luiz Fiadeiro, Cristovao Oliveira.
International Journal on Internet Protocol Technology. pp. 144-158. vol. 3 no. 1. 2006. pdf bibtex
Dynamic Epistemic Spatial Logics
Radu Mardare, Corrado Priami.
TR UNITN DIT-06-010. 2006. abstract pdf bibtex
Dynamic Fault Handling for Service Oriented Applications
Fabrizio Montesi, Claudio Guidi, Ivan Lanese, Gianluigi Zavattaro.
Proc. of ECOWS'08. pp. 225-234. IEEE press. 2008. abstract ps.gz bibtex
Dynamic Graph Transformation Systems
Roberto Bruni, Hernán Melgratti.
Proceedings of ICGT 2006, 3rd International Conference on Graph Transformation. A. Corradini, H. Ehrig, U. Montanari, L. Ribeiro, G. Rozenberg (Eds.). pp. 230--244. Lecture Notes in Computer Science vol. 4178. Springer. 2006. abstract pdf.gz bibtex
Dynamic Interfaces
Vasco T. Vasconcelos, Simon Gay, António Ravara, Nils Gesbert, Alexandre Z. Caldeira.
International Workshop on Foundations of Object-Oriented Languages (FOOL'09). 2009. gay.etal_dynamic-interfaces.pdf bibtex
Dynamic management of capabilities in a network aware coordination language
Daniele Gorla, Rosario Pugliese.
Journal of Logic and Algebraic Programming. pp. 665-689. vol. 78 no. 8. Elsevier. 2009. bibtex
Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Techniques
Jan Hendrik Hausmann.
PhD. Thesis. University of Paderborn. 2005. pdf bibtex
Dynamic Recovering of Long Running Transactions
Cátia Vaz, Carla Ferreira, António Ravara.
Proceedings of TGC 2008. To appear. abstract pdf bibtex
Dynamic Software Architecture Development: Towards an Automated Process
Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi.
Proceedings of the 35th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA'09). pp. 105--108. IEEE Computer Society, Los Alamitos, CA. 2009. pdf bibtex
Dynamic Software Architectures for Global Computing Systems
Antonio Bucchiarone.
PhD Thesis in Computer Science and Engineering. 2008. abstract pdf bibtex
Dynamic Software Architectures Verification using DynAlloy
Antonio Bucchiarone, Juan P. Galeotti.
Proc. 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'08). C. Ermel, J. de Lara and R. Heckel (Eds.). Electronic Communications of the EASST vol. 10. European Association of Software Science and Techn. 2008. abstract pdf bibtex
Dynamically Evolvable Dependable Software: From Oxymoron to Reality
Carlo Ghezzi, Paola Inverardi, Carlo Montangero.
Concurrency, Graphs and Models. P. Degano, R. De Nicola, J. Meseguer (Eds.). pp. 330-353. LNCS vol. 5065. Springer. 2008. abstract pdf bibtex
Eclipse plugin for designing and developing Web Service
Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo.
Technical report. pdf bibtex
Efficient Model Transformations by Combining Pattern Matching Strategies
Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró.
Proc. of ICMT'09, 2nd Intl. Conference on Model Transformation. Springer. 2009. 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
Encoding Asynchronous Interactions Using Open Petri Nets
Paolo Baldan, Filippo Bonchi, Fabio Gadducci.
Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings. Mario Bravetti, Gianluigi Zavattaro (Eds.). pp. 99-114. Lecture Notes in Computer Science vol. 5710. Springer. 2009. abstract pdf bibtex
Encoding cryptographic primitives in a calculus with polyadic syncronization
Joana Martinho, António Ravara.
Proceedings of the International Conference on Theoretical and Mathematical Foundations of Computer Science. ISRST. 2008. pdf bibtex
Engage: Engineering Service Modes with WS-Engineer and Dino
Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastian Uchitel.
7th Joint International Conference on Service Oriented Computing (ICSOC09). 2009. abstract 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
Engineering Service Oriented Applications: From StPowla Processes to SRML Models
Laura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec.
Fundamental Approaches to Software Engineering. Jos{\'e} Luiz Fiadeiro and Paola Inverardi (Eds.). pp. 163-178. Lecture Notes in Computer Science vol. 4961. Springer Verlag. 2008. pdf bibtex
Engineering Service Oriented Applications: From StPowla Processes to SRML Models
Laura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec.
Formal Aspects of Computing. J.L. Fiadeiro, P. Inverardi and T.S.E. Maibaum (Eds.). Springer London. 2009. abstract bibtex
Engineering Web Applications with Roles
Gustavo Rossi, Nora Koch, Jocelyne Nanard, Marc Nanard.
Journal of Web Engineering. pp. 19-48. vol. 6 no. 1. Rinton Press. 2007. abstract pdf bibtex
Enhancing constraints manipulation in semiring-based formalisms
Stefano Bistarelli, Fabio Gadducci.
Proceedings of ECAI 2006, 17th European Conference on Artificial Intelligence. Gerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso (Eds.). pp. 63-67. Frontiers in Artificial Intelligence and Applicati vol. 141. IOS Press. 2006. abstract pdf bibtex
Enhancing UML State Machines with Aspects
Gefei Zhang, Matthias Hölzl, Alexander Knapp.
Proc. 10th Int. Conf. Model Driven Engineering Languages and Systems (MoDELS'07). Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil (Eds.). pp. 529--543. Lect. Notes. Comp. Sci. vol. 4735. Springer, Berlin. 2007. pdf bibtex
Ensuring Termination by Typability
Yuxin Deng, Davide Sangiorgi.
Information and Computation. pp. 1045-1082. vol. 204 no. 7. Elsevier. 2006. abstract ps.gz ps bibtex
Environmental Bisimulations for Higher-Order Languages
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii.
Proc. of LICS 2007. pp. 293-302. IEEE Computer Society. 2007. abstract pdf 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
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
Event based choreography
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo.
Science of Computer Programming. To appear (2010). abstract bibtex
Event Based Service Coordination over Ad-hoc Networks
Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo.
International Conference on Service Oriented Computing ICSOC 2006. Lecture Notes in Computer Science vol. 4294. Springer. 2006. abstract pdf bibtex
Event Structure Semantics for Dynamic Graph Grammars
Roberto Bruni, Hernán Melgratti, Ugo Montanari.
Proceedings of PNGT 2006, Workshop on Petri Nets and Graph Transformation. P. Baldan, H. Ehrig, J. Padberg, G. Rozenberg (Eds.). Electronic Communications of the EASST vol. 2. EASST. 2007. abstract pdf.gz bibtex
Event Structure Semantics for Nominal Calculi
Roberto Bruni, Hernán Melgratti, Ugo Montanari.
Proceedings of CONCUR 2006, 17th International Conference on Concurrency Theory. C. Baier, H. Hermanns (Eds.). pp. 295--309. Lecture Notes in Computer Science vol. 4137. Springer. 2006. abstract pdf.gz bibtex
Event-based Service Coordination
Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto.
Lecture Notes in Computer Science - P. Degano and R. De Nicola and J. Meseguer, editors - Festschrift for Ugo Montanari. vol. 5065. 2008. pdf bibtex
Experimental Assessment of Combining Pattern Matching Strategies with VIATRA2
Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró.
Journal of Software Tools in Technology Transfer. 2009. pdf bibtex
Exploiting user-definable synchronizations in graph transformation
Ivan Lanese.
Proceedings of GT-VMT'06, 5th International Workshop on Graph Transformation and Visual Modeling Techniques. Roberto Bruni and Daniel Varro (Eds.). pp. 27-28. ENTCS vol. 211. Elsevier. 2006. abstract pdf.gz pdf bibtex
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems
Mario Bravetti.
Proceedings of Express 2007. pp. 31-57. ENTCS vol. 194 no. 2. Elsevier Science. 2008. abstract pdf bibtex
Extending a Policy Language in a Structured way using Model Driven Techniques
Zohra Khowaja, Stephan Reiff-Marganiec.
SPLST'09 \& NW-MODE'09. J. Peltonen (Eds.). pp. 336-341. Tampere University of Technology. 2009. bibtex
Extensionality of Spatial Observations in Distributed Systems
Luis Caires, Hugo Vieira.
Proc. International Workshop on Expressiveness in Concurrency (EXPRESS'06). ENTCS. Elsevier Science. 2006. 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
Families of symmetries as efficient models of resource binding
Vincenzo Ciancia, Alexander Kurz, Ugo Montanari.
Electronic Notes in Theoretical Computer Science. CMCS 2010 . abstract bibtex
Feature Interactions in Software and Communications Systems
Masahide Nakamura, Stephan Reiff-Marganiec (Eds.).
IOS Press. 2009. bibtex
Finance Case Study - The Credit Portal
Jannis Elgner, Kamil Swierkot.
Technical report. 2009. pdf bibtex
Finance Case Study - Scenario descriptions
Michel Alessandrini.
pp. 11. Technical report no. 2007-SandN. S\&N AG. 2007. pdf bibtex
Fine grained access control with trust and reputation management for Globus
Maurizio Colombo, Fabio Martinelli, Paolo Mori, Marinella Petrocchi, Anna Vaccarelli.
GADA'07. LNCS 4804. 2007. pdf bibtex
Fine-grained and History-based Access Control with Trust Management for Autonomic Grid Services
Hristo Koshutanski, Fabio Martinelli, Paolo Mori, Anna Vaccarelli.
Proceedings of the 2nd International Conference on Autonomic and Autonomous Systems (ICAS'06). IEEE Computer Society. 2006. abstract pdf bibtex
Flexible Interconnection of Graph Transformation Modules - A Systematic Approach
Gregor Engels, Reiko Heckel, Alexander Cherchago.
Formal Methods in Software and System Modeling. H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer (Eds.). pp. 38-63. LNCS. Springer-Verlag. 2005. abstract pdf bibtex
Fluid Flow Approximation of PEPA models
Jane Hillston.
Proc. 2nd Int. Conf. Quantitative Evaluation of Systems (QEST 2005). IEEE. 2005. pdf bibtex
FMICS '05: Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Tiziana Margaria, Mieke Massink (Eds.).
ACM Press. 2005. General Chair-Tiziana Margaria and General Chair-Mieke Massink. 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
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
Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation
Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer.
Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05). 2005. abstract pdf bibtex
Formal Methods for Performance Evaluation: the 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007
Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone.
pp. 132--179. vol. 4486. Springer-Verlag. 2007. abstract pdf bibtex
Formal Methods for Service Composition
Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi.
Annals of Mathematics, Computing \& Teleinformatics. pp. 1-10. vol. 1 no. 5. 2007. pdf bibtex
Formal Modeling of BPEL Workflows Including Fault and Compensation Handling
Máté Kovács, László Gönczy, Dániel Varró.
EFTS '07: Proceedings of the 2007 workshop on Engineering fault tolerant systems. pp. 1. ACM. 2007. abstract 1316551 bibtex
Formal Modelling and Verification in Service-Oriented Computing
Maurice H. ter Beek, Stefania Gnesi, Fabio Martinelli, Franco Mazzanti, Marinella Petrocchi.
ERCIM News - Special: Service-Oriented Computing. pp. 27--28. vol. 70. 2007. pdf 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
Formal models and analysis of secure multicast in wired and wireless networks
Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi.
IIT TR-09-2008. 2008. abstract pdf bibtex
Formal models and analysis of secure multicast in wired and wireless networks
Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi.
Journal automated reasoning. pp. 325-364. vol. 41 no. 3/4. Springer. 2008. abstract 5216m1l6873w2242 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
Formalising the S\&N Credit Request
Christoffer Rosenkilde Nielsen, Michel Alessandrini, Michael Pollmeier, Hanne Riis Nielson.
bibtex
Formalizing languages for Service Oriented Computing
Claudio Guidi.
UBLCS vol. 2007-07. 2007. abstract 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
Foundations of Global Computing, 20.-25. February 2005 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing.
2006. 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
From BPEL to SRML: A Formal Transformational Approach
Laura Bocchi, José Luiz Fiadeiro, Yi Hong, Antónia Lopes.
Proceedings of Web Services and Formal Methods (WSFM'07). pp. 92-107. Lecture Notes in Computer Science vol. 4937. Springer Verlag. 2007. abstract pdf bibtex
From Flow Logic to Static Type Systems for Coordination Languages
Rocco De Nicola, Daniele Gorla, Rene Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese.
International conference on Coordination Models and Languages (COORDINATION'08). pp. 100-116. Lecture Notes in Computer Science vol. 5052. Springer. 2008. pdf bibtex
From Hippocratic Databases to Secure Tropos: a Computer-Aided Re-Engineering Approach
Fabio Massacci, John Mylopolous, Nicola Zannone.
International Journal of Software Engineering and Knowledge Engineering. pp. 265--284. vol. 17 no. 2. 2007. abstract pdf bibtex
From Theoretical E-barter Models to an Implementation Based on Web Services
Mario Bravetti, Adalberto Casalboni, Manuel Nunez, Ismael Rodriguez.
Proc. of the First IPM International Workshop on Foundations of Software Engineering (FSEN 2005). pp. 241-264. ENTCS vol. 159. Elsevier Science. 2006. abstract pdf bibtex
From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices
Mario Bravetti, Adalberto Casalboni, Manuel Nunez, Ismael Rodríguez.
J. UCS. pp. 2035-2075. vol. 13 no. 13. 2007. abstract pdf bibtex
From Theory to Practice in Transactional Composition of Web Services
Roberto Bruni, Gianluigi Ferrari, Hernán Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto.
Formal Techniques for Computer Systems and Business Processes: Proceedings of WS-FM 2005, 2nd International Workshop on Web Services and Formal Method. M. Bravetti, L. Kloul, G. Zavattaro (Eds.). pp. 272--286. Lecture Notes in Computer Science vol. 3670. Springer Verlag. 2005. abstract pdf.gz bibtex
From Trust to Dependability through Risk Analysis
Yudistira Asnar, Paolo Giorgini, Fabio Massacci, Nicola Zannone.
Proceedings of the 2nd International Conference on Availability, Reliability and Security (ARES 2007). April 10th-13th 2007. Vienna (Austria). pp. 19--26. IEEE Computer Society. 2007. abstract pdf bibtex
Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
FASE. Jos\'e Luiz Fiadeiro, Paola Inverardi (Eds.). Lecture Notes in Computer Science vol. 4961. Springer. 2008. bibtex
Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings
Luciano Baresi, Reiko Heckel (Eds.).
FASE. LNCS vol. 3922. Springer-Verlag. 2006. html bibtex
Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories
Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer.
Fundamenta Informaticae. pp. 31--61. vol. 74 no. 1. 2006. abstract asp?id=0trfhhrby4an2m2p bibtex
Fundamentals of Algebraic Graph Transformation
Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer.
EATCS Monographs in Theoretical Computer Science. Springer. 2006. abstract 3-540-31187-4 bibtex
G-Reactive Systems as Coalgebras.
Filippo Bonchi, Ugo Montanari.
ENTCS. abstract 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
Generic Search Plans for Matching Advanced Graph Patterns
Ákos Horváth, Dániel Varró, Gergely Varró.
Electronic Communications of the ECEASST. Karsten Ehrig and Holger Giese (Eds.). vol. 6. 2007. abstract 54 bibtex
Global computing in a dynamic network of tuple spaces
Rocco De Nicola, Daniele Gorla, Rosario Pugliese.
Sci. Comput. Program.. pp. 187-204. vol. 64 no. 2. 2007. pdf bibtex
Global coordination policies for services
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo.
Proceedings of FACS (Formal Aspects of Computing Software) 2008 . pp. 73-89. ENTCS no. 260. Elsevier. 2010. pdf bibtex
Goal-Equivalent Secure Business Process Re-engineering
Hugo A. López, Fabio Massacci, Nicola Zannone.
Proceedings of the 2nd International Workshop on Business Oriented Aspects concerning Semantics and Methodologies in Service-oriented Computing (SeMSo. Elisabetta Di Nitto and Matei Ripeanu (Eds.). pp. 212-223. LNCS vol. 4907. Springer. 2007. abstract pdf bibtex
Goal-Equivalent Secure Business Process Re-engineering for E-Health
Hugo A. López, Fabio Massacci, Nicola Zannone.
Proceedings of the Workshop on Model Based Trustworthy Health Information Systems (MOTHIS'07). September 30th, 2007. Nashville (USA). Holger Giese (Eds.). pp. 115-117. LNCS vol. 5002. Springer Berlin / Heidelberg. 2007. abstract pdf bibtex
Goal-Oriented and Procedural Service Orchestration: A Formal Comparison
M. Birna van Riemsdijk, Martin Wirsing.
Proceedings of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW'007); The First International Workshops on Agents, Web. pp. 3--18. 2007. abstract pdf bibtex
Goal-oriented Composition of Services
Sebastian Nanz, Terkel Tolstrup.
Proceedings of the 7th International Symposium on Software Composition (SC'08). pp. 109--124. Lecture Notes in Computer Science vol. 4954. Springer. 2008. pdf bibtex
Graph rewriting for the pi-calculus
Fabio Gadducci.
Mathematical Structures in Computer Science. pp. 407-437. vol. 17 no. 3. Cambridge University Press. 2007. abstract pdf 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
Graph Transformation for Concurrency and Verification, Third Intl. Workshop, GT-VC 2007
Reiko Heckel, Barbara Koenig, Arend Rensink (Eds.).
Electr. Notes Theor. Comput. Sci. vol. 213 no. 1. Elsevier. 2008. bibtex
Graph Transformation in a Nutshell
Reiko Heckel.
Proceedings of the School on Foundations of Visual Modelling Techniques (FoVMT 2004) of the SegraVis Research Training Network. pp. 187-198. ENTCS vol. 148(1). Elsevier. 2006. abstract pdf bibtex
Graph Transformations and Visual Modeling Techniques: 5th International Workshop, GT-VMT 2006, Vienna, Austria, April 1-2, 2006, Proceedings
Roberto Bruni, Dániel Varró (Eds.).
GT-VMT 2006. Electronic Notes in Theoretical Computer Science vol. 211. Elsevier. 2008. abstract bibtex
Graph Transformations and Visual Modeling Techniques: 6th International Workshop, GT-VMT 2007, Braga, Portugal, March 31 - April 1, 2007, Proceedings
Karsten Ehrig, Holger Giese.
Electronic Communications of the EASST. Tiziana Margaria, Julia Padberg, Gabriele Taentzer (Eds.). vol. 6. 2007. abstract 11 bibtex
Graph Transformations: Fourth International Conference, ICGT 2008, Leicester, UK, September 9 - 13, 2008, Proceedings
Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer (Eds.).
LNCS vol. 5214. Springer. 2008. bibtex
Graph-Based Design and Analysis of Dynamic Software Architectures
Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch Lafuente.
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. pp. 37--56. Lecture Notes in Computer Science vol. 5065. Springer. 2008. abstract pdf.gz 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
Graphical Encoding of a Spatial Logic for the pi-calculus
Fabio Gadducci, Alberto Lluch Lafuente.
Proceedings of CALCO 2007, 2nd Conference on Algebra and Coalgebra in Computer Science. Till Mossakowski, Ugo Montanari, Magne Haveraaen (Eds.). pp. 209-225. Lecture Notes in Computer Science vol. 4624. Springer. 2007. abstract pdf bibtex
Graphical verification of a spatial logic for the pi-calculus
Fabio Gadducci, Alberto Lluch Lafuente.
Proceedings of GT-VC 2005, Workshop on Graph Transformation for Verification and Concurrency. Arend Rensink, Reiko Heckel, Barbara Koenig (Eds.). pp. 31-46. Electronic Notes in Theoretical Computer Science vol. 154 no. 2. Elsevier. 2006. abstract pdf bibtex
Handling exp, * (and Timestamps) in Protocol Analysis
Roberto Zunino, Pierpaolo Degano.
Proceedings of FoSSaCS 2006, 9th International Conference on Foundations of Software Science and Computation Structures. L. Aceto, A. Ingolfsdottir (Eds.). pp. 413--427. Lecture Notes in Computer Science vol. 3921. Springer. 2006. abstract bibtex
Hard Life with Weak Binders
Massimo Bartoletti, Pierpaolo Degano, Gianluigi Ferrari, Roberto Zunino.
Electronic Notes on Theoretical Computer Science . pp. 49-72. vol. 242 no. 1. 2008. Proceedings of the 15th Workshop on Expressiveness in Concurrency (EXPRESS 2008), Toronto, Canada . abstract pdf bibtex
Hard Life with Weak Binders
Massimo Bartoletti, Pierpaolo Degano, Gianluigi Ferrari, Roberto Zunino.
2008. Technical Report TR-08-13, Dip. Informatica, Univ. Pisa. abstract pdf.gz bibtex
Heterogeneous Logical Environments for Distributed Speci cations
Till Mossakowski, Andrzej Tarlecki.
Recent Trends in Algebraic Development Techniques: 19th International Workshop. WADT-2008. Andrea Corradini, Ugo Montanari (Eds.). pp. 166--289. LNCS vol. 5486. Springer. 2009. abstract pdf bibtex
Heuristics for Safety and Security Constraints
Flemming Nielson, Hanne Riis Nielson.
Festschrift dedicated to Gordon Plotkin's 60.~birthday. 2006. abstract bibtex
Hierarchical Design Rewriting with Maude
Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari.
Proceedings of WRLA 2008, 7th International Workshop on Rewriting Logic and its Applications. pp. 45--62. Electronic Notes in Theoretical Computer Science vol. 238 no. 3. Elsevier. 2009. abstract maude.pdf bibtex
Hierarchical Hippocratic Databases with Minimal Disclosure for Virtual Organizations
Fabio Massacci, John Mylopolous, Nicola Zannone.
The International Journal on Very Large Data Bases. pp. 370--387. vol. 15 no. 4. 2006. abstract pdf bibtex
Hierarchical models for service-oriented systems
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Ugo Montanari.
Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science. Springer. 2010. To appear. abstract pdf bibtex
HiLA: High-Level Aspects for UML-State Machines
Gefei Zhang, Matthias Hölzl.
Proc. 14th Wsh. Aspect-Oriented Modeling (AOM@MoDELS'09). 2009. Best paper. pdf bibtex
History Dependent Automata for Service Compatibility
Vincenzo Ciancia, Gian-Luigi Ferrari, Marco Pistore, Emilio Tuosto.
Lecture Notes in Computer Science - P. Degano and R. De Nicola and J. Meseguer, editors - Festschrift for Ugo Montanari. pp. 625-641. vol. 5065. Springer-Verlag. 2008. abstract eG1saWQ9OTc4MzU0MDY4Njc2Ny82MzcmaW1hZ2VwYWdlPTYzNw== bibtex
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework with Mobility
Ivan Lanese, Ugo Montanari.
Proceedings of GT-VC'05, Workshop on Graph Transformation for Verification and Concurrency. Arend Rensink, Reiko Heckel, Barbara Koenig (Eds.). pp. 55--72. Electronic Notes in Theoretical Computer Science vol. 154 no. 2. Elsevier Science. 2005. abstract pdf.gz pdf bibtex
Horizontal composability revisited
Donald Sannella, Andrzej Tarlecki.
Algebra, Meaning and Computation. Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. K. Futatsugi, J.-P. Jouannaud, J. Meseguer (Eds.). pp. 296--316. LNCS vol. 4060. Springer. 2006. pdf bibtex
How to capture, model, and verify the knowledge of legal, security, and privacy experts: a pattern-based approach
Luca Compagna, Paul El Khoury, Fabio Massacci, Reshma Thomas, Nicola Zannone.
Proceedings of the 11th International Conference on Artificial Intelligence and Law, Proceedings of the Conference (ICAIL 2007). June 4th-8th, 2007. S. pp. 149--154. ACM Press. 2007. abstract pdf bibtex
Idea: Action Refinement for Security Properties Enforcement
Fabio Martinelli, Ilaria Matteucci.
ESSOS. pp. 37-42. LNCS 5429. Springer. 2009. bibtex
Implementing a distributed mobile calculus using the IMC framework
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Michele Loreti.
pp. 63-79. Electronic Notes in Theoretical Computer Science vol. 181. 2007. abstract pdf bibtex
Implementing an EJB3-Specific Graph Transformation Plugin by Database Independent Queries
Gergely Varró.
Proc. of the Fifth International Workshop on Graph Transformation and Visual Modelling Techniques. pp. 115-126. ENTCS. Elsevier. 2006. abstract bibtex
Implementing Session Centered Calculi
Lorenzo Bettini, Rocco De Nicola, Michele Loreti.
Coordination Models and Languages (COORDINATION2008). Doug Lea and Gianluigi Zavattaro (Eds.). pp. 17-32. Lecture Notes in Computer Science vol. 5052. Springer. 2008. pdf bibtex
Incremental Graph Pattern Matching: Data Structures and Initial Experiments
Gergely Varró, Andy Schürr, Dániel Varró.
Proc. International Workshop on Graph and Model Transformations (GraMoT 2006). Electronic Communications. EASST. 2006. In press. abstract bibtex
Incremental pattern matching in the VIATRA model transformation system
András Ökrös, István Ráth, Dániel Varró, Gergely Varró, Gábor Bergmann.
Proc. Graph and Model Transformations (GRAMOT 2008). Gabor Karsai, Gabriele Taentzer (Eds.). ACM. 2008. abstract pdf bibtex
Infinite Unfair Shuffles and Associativity
Maurice H. ter Beek, Jetty Kleijn.
Theoretical Computer Science. pp. 401--410. vol. 380 no. 3. 2007. pdf bibtex
Infinite Unfair Shuffles and Associativity
Maurice H. ter Beek, Jetty Kleijn.
Proceedings of the 5th International Conference on Words (WORDS\'05), Montréal (QC), Canada. S. Brlek, Ch. Reutenauer (Eds.). pp. 129--146. Publications du LACIM vol. 36. Universite du Quebec a Montreal, Montreal. 2005. pdf bibtex
Information Preserving Bidirectional Model Transformations
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer.
Proceedings Fundamental Approaches to Software Engineering (FASE). Lecture Notes in Computer Science vol. 4422. Springer. 2007. abstract pdf bibtex
Integration of intelligence into a semantic QoS aware Service Retrieval Application
Michel Alessandrini.
Proceedings of the 12th Conference on Artificial Intelligence and Soft Computing (ASC08). pp. 7--12. 2008. abstract pdf bibtex
Intelligent Service System: An Agent-based Approach for integrating Artifical Intelligence components in SOA landscapes
Michel Alessandrini, Wolfram-Manfrad Lippe, Wilhelm Nuesser.
2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology. pp. 496-499. 2008. abstract pdf bibtex
Introduction to the Sensoria Case Studies
Jannis Elgner, Stefania Gnesi, Nora Koch, Philip Mayer.
Rigorous Software Engineering for Service-Oriented Systems. LNCS. 2010. abstract bibtex
Iterative Specialisation of Horn Clauses
Lecture Notes in Computer Science. Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson (Eds.). pp. 131-145. Lecture Notes in Computer Science vol. 4960. Springer Berlin / Heidelberg. 2008. pdf bibtex
Jalapa: Securing Java with Local Policies
Massimo Bartoletti, Gabriele Costa, Roberto Zunino.
Electronic Notes on Theoretical Computer Science . pp. 145-151. vol. 253 no. 5. 2009. Proceedings of the Bytecode Semantics, Verification Workshop (BYTECODE 2009). bibtex
JOLIE: a Java Orchestration Language Interpreter Engine
Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro.
Proc.of 2nd International Workshop on Coordination and Organisation (CoOrg 2006). pp. 19-33. ENTCS vol. 181. Elsevier. 2006. abstract pdf bibtex
JSCL: A Middleware for Service Coordination
Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo.
Proceedings of FORTE 2006, 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems. Lecture Notes in Computer Science vol. 4229. Springer Verlag. 2006. abstract pdf bibtex
Klaim and its Stochastic Semantics
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink.
2006. pdf bibtex
Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding)
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale.
Proceedings of EXPRESS 2008, 15th Workshop on Expressiveness in Concurrency. Thomas Hildebrandt, Daniele Gorla (Eds.). pp. 3-15. Electronic Notes in Theoretical Computer Science vol. 242 no. 1. Elsevier. 2009. abstract pdf bibtex
Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication
Nobuko Yoshida, Vasco T. Vasconcelos.
1st International Workshop on Security and Rewriting Techniques. pp. 73--93. entcs vol. 171(4). ELSEVIER. 2007. vasconcelos:language-primitives-revisited.pdf bibtex
Leveraging Eclipse for Integrated Model-Based Engineering of Web Service Compositions
Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel.
ETX2005 Workshop at OOPSLA05, San Diego, CA, October 2005. 2005. 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
Leveraging Modes and UML2 for Service Brokering Specifications
Howard Foster, Jeff Magee, Sebastian Uchitel.
Proceedings of 4th Model-Driven Web Engineering Workshop at MoDELS 2008. 2008. pdf bibtex
Linear Type Theory for Asynchronous Session Types
Simon Gay, Vasco T. Vasconcelos.
JFP. pp. 19--50. vol. 20 no. 1. 2010. Subsumes Technical Report 2007--251, University of Glasgow. vasconcelos_linear-sessions.pdf bibtex
Live Model Transformations Driven by Incremental Pattern Matching
István Ráth, András Ökrös, Gábor Bergmann, Dániel Varró.
Proc. First International Conference on the Theory and Practice of Model Transformations (ICMT 2008). Antonio Vallecillo, Jeff Gray, Alfonso Pierantonio (Eds.). pp. 107-121. Lecture Notes in Computer Science vol. 5063. Springer. 2008. abstract 978-3-540-69927-9_8 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
Locality-based Security Policies
Terkel Tolstrup, Flemming Nielson, René Rydhof Hansen.
Proceedings of the 4th international Workshop on Formal Aspects in Security and Trust (FAST2006). 2006. abstract bibtex
Location-Aware Quality of Service Measurements for Service-Level Agreements
Ashok Argent-Katwala, Jeremy Bradley, Allan Clark, Stephen Gilmore.
Proceedings of the Third International Conference on Trustworthy Global Computing (TGC'07). Springer-Verlag. 2007. abstract pdf bibtex
LocUsT: a tool for checking usage policies
Massimo Bartoletti, Roberto Zunino.
PISA TR-08-07. 2008. abstract pdf.gz bibtex
Logic-based Conflict Detection for Distributed Policies
Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini.
Fundamenta Informaticae . pp. 511-538 . vol. 89 no. 4. 2009. 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
Logical Bisimulations and Functional Languages
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii.
Proceedings of FSEN 2007. Farhad Arbab and Marjan Sirjani (Eds.). pp. 364--379. Lecture Notes in Computer Science vol. 4767. Springer. 2007. abstract pdf bibtex
Logical Relations for Monadic Types
Jean Goubault-Larrecq, Sławomir Lasota, David Nowak.
Mathematical Structures in Computer Science. pp. 1169-1217. vol. 18 no. 6. 2008. bibtex
LTSA-WS: A Tool for Model-Based Verification of Web Service Compositions and Choreography
Sebastian Uchitel, Jeff Kramer, Jeff Magee, Howard Foster.
IEEE International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 2006.. 2006. abstract pdf bibtex
Maintaining Privacy on Derived Objects
Nicola Zannone, Sushil Jajodia, Fabio Massacci, Duminda Wijesekera.
Proceedings of the 2005 ACM Workshop on Privacy in the Electronic Society (WPES 2005). November 7th, 2005. Alexandria (USA). pp. 10-19. ACM Press. 2005. abstract pdf bibtex
Managing Socio-technical Interactions
Osama El-Hassan, José Luiz Fiadeiro, Reiko Heckel.
Proc. Workshop on Healthcare Systems Business Process Management. pp. 347-358. LNCS vol. 4928. Springer Berlin - Heidelberg. 2007. bibtex
Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming
Ivan Lanese, Ugo Montanari.
Theory and Practice of Logic Programming, Special issue on Multiparadigm Languages and Constraint Programming. pp. 123-151. vol. 7 no. 1-2. Cambridge University Press. 2007. abstract pdf.gz 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
Markov-HTN Planning Approach to Enhance Flexibility of Automatic Service Composition
Kun Chen, Stephan Reiff-Marganiec, Jiuyun Xu.
Proceedings of International Conference on Web Services 2009. IEEE. 2009. 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
MDWE2007: 3rd Workshop on Model-Driven Web Engineering
Nora Koch, Antonio Vallecillo, Geert-Jan Houben (Eds.). vol. 261. CEUR-WS. 2007. bibtex
MDWEnet: A Practical Approach to Achieving Interoperability of Model-Driven Web Engineering Methods
Antonio Vallecillo, Nora Koch, Cristina Cachero, Sara Comai, Piero Fraternali, Jaime Gómes Irene Garrigó, Gerti Kappel, Alexander Knapp, Maristella Matera, Santiago Meliá, Nathalie Moreno, Birgit Pröll, Thomas Reiter, Werner Retschitzegger, José E. Rivera, Andrea Schauerhuber, Wieland Schwinger, Manuel Wimmer, Gefei Zhang.
Proc. 3rd Int. Wsh. Model-Driven Web Engineering (MDWE'07). Nora Koch, Antonio Vallecillo, Geert-Jan Houben (Eds.). CEUR-WS vol. 261. 2007. abstract pdf bibtex
Metamodelling the Requirements of Web Systems
María José Escalona, Nora Koch.
Web Information Systems and Technologies: International Conferences WEBIST 2005 and WEBIST 2006, Revised Selected Papers. Joaquim Filipe, José Cordeiro, Vitor Pedrosa (Eds.). pp. 267-280. LNBIP vol. 1. 2007. abstract pdf bibtex
Migrating Legacy Systems to Service-Oriented Architectures
Carlos Matos, Reiko Heckel.
Post-proceedings of the International Conference on Graph Transformation 2008 (ICGT 08). vol. 16. Electronic Communications of the EASST. 2009. bibtex
MiKO: Mikado Koncurrent Objects
Francisco Martins, Liliana Salvador, Vasco T. Vasconcelos, Luís Lopes.
Foundations of Global Computing. no. 05081. Internationales Begegnungs- und Forschungszentrum . 2006. salvador.etal_mikado-koncurrent-objects.pdf bibtex
Minimal Disclosure in Hierarchical Hippocratic Databases with Delegation
Fabio Massacci, John Mylopolous, Nicola Zannone.
Proceedings of the 10th European Symposium on Research in Computer Security (ESORICS 2005). September 12th-14th, 2005. Milan (Italy). pp. 438--454. LNCS vol. 3679. Springer Berlin / Heidelberg. 2005. abstract pdf bibtex
Mobile implementation and formal verification of an e-voting system
Stefano Campanelli, Alessandro Falleni, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli.
ICIW 2008. IEEE Computer Society. abstract pdf bibtex
Mobile Processes and Termination
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi.
Semantics and Algebraic Specification. Jens Palsberg (Eds.). pp. 250-273. Lecture Notes in Computer Science vol. 5700. Springer. 2009. abstract pdf bibtex
Mobility mechanisms in service oriented computing
Claudio Guidi, Roberto Lucchi.
Proc.of 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'06). pp. 233-250. LNCS vol. 4037. Springer. 2006. abstract pdf bibtex
Modal Abstractions of Concurrent Behaviour
Hanne Riis Nielson, Flemming Nielson, Sebastian Nanz.
Proceedings of the 15th International Static Analysis Symposium (SAS'08). pp. 159--173. Lecture Notes in Computer Science vol. 5079. Springer. 2008. pdf bibtex
Model checking Dynamic Epistemic Spatial Logics
Radu Mardare, Corrado Priami.
TR UNITN DIT-06-011. 2006. abstract pdf 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
Model Checking of UML 2.0 Interactions
Alexander Knapp, Jochen Wuttke.
Proc. 5th Int. Wsh. Critical Systems Development Using Modeling Languages (CSDUML'06). Siv Hilde Houmb, Geri Georg, Robert France, Dorian C. Petriu, Jan J\"urjens (Eds.). pp. 52-67. telenor, R\&I Research Note N 20/2006. 2006. 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
Model checking usage policies
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino.
Proc. Trustworthy Global Computing (TGC 2008). LNCS vol. 5474. 2009. abstract pdf.gz bibtex
Model checking usage policies
Massimo Bartoletti, Pierpaolo Degano, Gianluigi Ferrari, Roberto Zunino.
PISA-TR. no. TR-08-06. 2008. abstract pdf.gz bibtex
Model Driven Development and Code Generation: An Automotive Case Study
Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi.
Design for Dependable Systems: Proceedings of the 13th International SDL Forum (SDL'07), Paris, France. Emmanuel Gaudin, Elie Najm, Rick Reed (Eds.). pp. 19--34. Lecture Notes in Computer Science vol. 4745. Springer. 2007. 978-3-540-74984-4_2 pdf bibtex
Model Driven Performability Analysis of Service Configurations with Reliable Messaging
László Gönczy, Zsolt Déri, Dániel Varró.
Proc. of Model Driven Web Engineering Workshop(MDWE) 2008. 2008. 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
Model Driven Software Development con Eclipse, StatechartUMC
Aldi Sulova.
Proceedings of the 4th Italian workshop on Eclipse technologies (Eclipse-IT 2009), Bergamo, Italy. pp. 113--114. Eclipse Italian Community, Bergamo, Italy. 2009. pdf pdf bibtex
Model Driven Software Development con Eclipse, StatechartUMC
Aldi Sulova.
Technical Report no. 2009-TR-50. 2009. 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
Model Transformation by Example
Dániel Varró.
Proc. Model Driven Engineering Languages and Systems (MODELS 2006). pp. 410--424. LNCS vol. 4199. Springer. 2006. abstract pdf bibtex
Model Transformation by Example Using Inductive Logic Programming
Zoltán Balogh, Dániel Varró.
Software and Systems Modeling. 2008. Appeared online. s10270-008-0092-1 bibtex
Model Transformation by Graph Transformation: A Comparative Study
Gabriele Taentzer, Karsten Ehrig, Esther Guerra, Juan de Lara, Laszlo Lengyel, Tihamer Levendovsky, Ulrike Prange, Dániel Varró, Szilvia Varró-Gyapay.
Proc. Workshop Model Transformation in Practice. 2005. abstract pdf bibtex
Model Transformation from VisualOCL to OCL using Graph Transformation
Karsten Ehrig, Jessica Winkelmann.
Proc. International Workshop on Graph and Model Transformation (GraMoT'05). ENTCS. Elsevier Science. 2005. abstract pdf bibtex
Model Transformations for Integrating and Validating Web Application Models
Alexander Knapp, Gefei Zhang.
Proc. Modellierung 2006 (MOD'06). Heinrich C. Mayr, Ruth Breu (Eds.). pp. 115-128. Lect. Notes Informatics vol. P-82. Gesellschaft fuer Informatik. 2006. abstract pdf bibtex
Model Transformations for Performability Analysis of Service Configurations
László Gönczy, Zsolt Déri, Dániel Varró.
pp. 153--166. Springer-Verlag. 2009. bibtex
Model Transformations from Requirements to Web System Design
Nora Koch, Gefei Zhang, María José Escalona.
Proc. 6th Int. Conf. Web Engineering (ICWE'06), Palo Alto, USA. ACM. 2006. abstract bibtex
Model-Based Analysis of Obligations in Web Service Choreography
Sebastian Uchitel, Jeff Kramer, Howard Foster, Jeff Magee.
IEEE International Conference on Internet \& Web Applications and Services 2006, Guadeloupe, FC. 2006. abstract pdf 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
Model-based development of web service descriptions: Enabling a precise matching concept
Jan Hendrik Hausmann, Reiko Heckel, Marc Lohmann.
International Journal of Web Services Research. pp. 67-84. vol. 2 no. 2. 2005. abstract pdf bibtex
Model-based Integration, Execution and Certification of Development Tool-chains
Balázs Polgár, István Ráth, Zoltán Szatmári, István Majzik.
2nd ECMDA Workshop on Model-Driven Tool and Process Integration. 2009. pdf bibtex
Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation System
Ajab Kahn, Paolo Torrini, Reiko Heckel.
ECEASST. 2009. pdf bibtex
Model-based Testing of Service Infrastructure Components
László Gönczy, Reiko Heckel, Dániel Varró.
Proc. of TESTCOM/FATES 2007. Petrenko et al. (Eds.). Lecture Notes in Computer Science vol. 4581. Springer. 2007. abstract pdf bibtex
Model-driven development of adaptable service-oriented business processes
Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini.
Rigorous Software Engineering for Service-Oriented Systems. LNCS. 2010. abstract bibtex
Model-Driven Development of Reactive Information Systems: From Graph Transformation Rules to JML Contracts.
Reiko Heckel, Marc Lohmann.
International Journal on Software Tools for Technology Transfer. pp. 193-207. vol. 9 no. 2. 2007. abstract pdf bibtex
Model-Driven Web Engineering
Nora Koch, Santiago Meliá, Natahlie Moreno, Vicente Pelechano, Fernando Sanchez, Juan M. Vara.
Upgrade-Novática Journal (English and Spanish), Council of European Professional Informatics Societies (CEPIS). CEPIS vol. Vol. IX No. Council of European Prof. Informatics Societies. 2008. abstract bibtex
Modeling and Verification of Reliable Messaging by Graph Transformation Systems
László Gönczy, Máté Kovács, Dániel Varró.
Proc. of the Workshop on Graph Transformation for Verification and Concurrency (GTVC2006). Elsevier. 2006. abstract pdf bibtex
Modeling of Reliable Messaging in Service Oriented Architectures
László Gönczy, Dániel Varró.
Proc. of the International Workshop on Web Services - Modeling and Testing. 2006. abstract pdf bibtex
Modeling Security Automata with process algebras and related results
Fabio Martinelli, Ilaria Matteucci.
2006. Presented at the 6th International Workshop on Issues in the Theory of Security (WITS '06) - Informa. 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
Modelling and Analysing the Finance Case Study in UMC
Maurice H. ter Beek, Franco Mazzanti.
Technical Report no. 2010-TR-07. 2010. abstract pdf pdf bibtex
Modelling calculi with name mobility using graphs with equivalences
Paolo Baldan, Fabio Gadducci, Ugo Montanari.
Proceedings of TERMGRAPH 2006, 3rd International Workshop on Term Graph Rewriting. Ian Mackie (Eds.). pp. 85-97. Electronic Notes in Theoretical Computer Science vol. 176 no. 1. Elsevier. 2007. abstract pdf bibtex
Modelling dynamic software architectures using typed graph grammars
Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán Melgratti.
Proceedings of GT-VC 2007, 3rd Workshop on Graph Transformation for Verification and Concurrency. pp. 39--53. Electronic Notes in Theoretical Computer Science vol. 213 no. 1. Elsevier Science. 2007. abstract pdf.gz bibtex
Modelling of Quality of Protection in Outsourced Business Processes
Fabio Massacci, Artsiom Yautsiukhin.
Proceedings of the 3rd International Symposium on Information Assurance and Security (IAS 2007). August 29th-31st, 2007. Manchester (United Kingdom). pp. 247-252. IEEE Computer Society. 2007. abstract pdf bibtex
Modelling of Web Applications
Wieland Schwinger, Nora Koch.
Web Engineering: Systematic Development of Web Applications. Gerti Kappel, Birgit Proll, Siegfried Reich, Werner Retschitzegger (Eds.). pp. 39-64. John Wiley. 2006. bibtex
Modelling Security and Trust with Secure Tropos
Paolo Giorgini, Haralambos Mouratidis, Nicola Zannone.
Integrating Security and Software Engineering: Advances and Future Vision. Haralambos Mouratidis, Paolo Giorgini (Eds.). Idea Group. 2007. abstract pdf bibtex
Modelling the CoCoME with the Java/A Component Model
Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing.
The Common Component Modeling Example: Comparing Software Component Models. Andreas Rausch, Ralf Reussner, Raffaela Mirandola, Frantisek Plasil (Eds.). pp. 207--237. Lect. Notes Comp. Sci. vol. 5153. 2008. pdf bibtex
Models for Cryptographic Protocol Analysis
Roberto Zunino.
Technical report. 2006. abstract pdf bibtex
Models for Open Transactions (extended abstract)
Roberto Bruni, Ugo Montanari.
Pre-proceedings of FLACOS 2009, 3rd Workshop on Formal Languages and Analysis of Contract-Oriented Software, 24-25 September 2009, Toledo, Spain . Gordon J. Pace and Gerardo Schneider (Eds.). Technical Report Research Report vol. 358. Department of Informatics, University of Oslo. 2009. abstract pdf.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
Modulare Analyse Stochastischer Graphtransformationssysteme
Reiko Heckel, Georgios Lajios, Sebastian Menge.
Proc. Software Engineering 2005. P. Liggesmeyer, K. Pohl, M. Goedicke (Eds.). pp. 141--152. Lecture Notes in Informatics vol. 64. 2005. abstract pdf bibtex
MoSL: A Stochastic Logic for StoKlaim
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink.
no. ISTI-06-35. 2006. pdf bibtex
Multi Labelled Transition Systems for Nominal Calculi and their Logics
Rocco De Nicola, Michele Loreti.
Mathematical Structures in Computer Science. pp. 107-143. vol. 18 no. 1. 2008. abstract pdf bibtex
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi
Rocco De Nicola, Michele Loreti.
pp. 133-146. Electronic Notes in Theoretical Computer Science vol. 169. 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
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
Non-sequential behaviour of dynamic nets
Roberto Bruni, Hernán Melgratti.
Proceedings of ATPN 2006, 27th International Conference on Application and Theory of Petri Nets and Other Models Of Councurrency. S. Donatelli, P.S. Thiagarajan (Eds.). pp. 105--124. Lecture Notes in Computer Science vol. 4024. Springer Verlag. 2006. abstract pdf.gz bibtex
Notes on non-Markovian Extension of Value Passing CCS
Diego Latella, Michele Loreti, Mieke Massink.
no. CNR-ISTI 2. 2008. pdf bibtex
nu-types for Effects and Freshness Analysis
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino.
Proc. ICTAC. pp. 80-95. LNCS vol. 5684. Springer. 2009. abstract pdf bibtex
Observability concepts in abstract data type specificiations, 30 years later
Donald Sannella, Andrzej Tarlecki.
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. P. Degano and R. De Nicola and J. Meseguer (Eds.). pp. 593--617. LNCS vol. 5065. Springer. 2008. pdf bibtex
Observational Interpretation of CASL Specifications
Michel Bidoit, Donald Sannella, Andrzej Tarlecki.
Mathematical Structures in Computer Science. pp. 325--371. no. 18. 2008. pdf bibtex
Observing Reductions in Nominal Calculi via a Graphical Encoding of Processes.
Fabio Gadducci, Ugo Montanari.
Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday. Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel C. de Vrijer (Eds.). pp. 106-126. Lecture Notes in Computer Science vol. 3838. Springer. 2005. abstract pdf 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
On observing dynamic prioritised actions in SOC
Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida.
Proc. of 36th International Colloquium on Automata, Languages and Programming (ICALP'09). pp. 558-570. LNCS vol. 5556. Springer. 2009. pdf bibtex
On secure implementation of an IHE XUA-based protocol for authenticating healthcare professionals
Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi.
Proc. of 5th International Conference on Information Systems Security (ICISS'09). pp. 55-70. LNCS vol. 5905. Springer. 2009. pdf bibtex
On Symbolic Semantics for Name-decorated Contexts
Andrea Bracciali, Roberto Bruni, Alberto Lluch Lafuente.
1st Interaction and Concurrency Experience (ICE'08). pp. 37--58. Electronic Notes in Theoretical Computer Science vol. 229 no. 3. Elsevier. 2009. abstract pdf bibtex
On the Complexity of Termination Inference for Processes
Romain Demangeon, Daniel Hirschkoff, Naoki Kobayashi, Davide Sangiorgi.
Proceedings of TGC 2007. Gilles Barthe and C\'edric Fournet (Eds.). pp. 140--155. Lecture Notes in Computer Science vol. 4912. Springer. 2007. abstract pdf bibtex
On the Expressive Power of Global and Local Priority in Process Calculi
Cristian Versari, Nadia Busi, Roberto Gorrieri.
Proceedings of CONCUR'07. pp. 241-255. Lecture Notes in Computer Science vol. 4703. Springer. 2007. abstract pdf bibtex
On the expressive power of process interruption and compensation
Mario Bravetti, Gianluigi Zavattaro.
Mathematical Structures in Computer Science. pp. 565-599. vol. 19 no. 3. Cambridge University Press. 2009. abstract pdf bibtex
On the Expressive Power of Process Interruption and Compensation
Mario Bravetti, Gianluigi Zavattaro.
Proc. of WS-FM'08. Roberto Bruni and Karsten Wolf (Eds.). pp. 1-18. Lecture Notes in Computer Science vol. 5387. Springer. 2008. abstract pdf bibtex
On the Expressiveness and Decidability of Higher-Order Process Calculi
Ivan Lanese, Jorge Perez Parra, Davide Sangiorgi, Alan Schmitt.
Proc. of LICS'08. pp. 145-155. IEEE Computer Society. 2008. abstract ps.gz bibtex
On the Expressiveness of Forwarding in Higher-Order Communication
Cinzia Di Giusto, Jorge Perez Parra, Gianluigi Zavattaro.
Proc. of ICTAC'09. Martin Leucker and Carroll Morgan (Eds.). pp. 155-169. Lecture Notes in Computer Science vol. 5684. Springer. 2009. abstract pdf 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 the origins of bisimulation and coinduction
Davide Sangiorgi.
ACM Trans. Program. Lang. Syst.. vol. 31 no. 4. ACM press. 2009. abstract pdf bibtex
On the relationship between spatial logics and behavioral simulations
Lucia Acciai, Michele Boreale, Gianluigi Zavattaro.
FOSSACS 2010. C.-H. L. Ong (Eds.). LNCS vol. 6014. Springer Berlin / Heidelberg. 2010. abstract pdf bibtex
On the Use of Behavioural Equivalences for Web Services' Development
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci.
Fundamamenta Informaticae. pp. 479-510. vol. 89 no. 4. IOS Press. 2008. abstract pdf bibtex
On Weak Modal Compatibility, Refinement, and the MIO Workbench
Sebastian S. Bauer, Philip Mayer, Andreas Schroeder.
Proceedings of TACAS 2010. pp. 1-15. 2010. 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
Optimization in Graph Transformation Systems Using Petri Net Based Techniques
Szilvia Varró-Gyapay, Dániel Varró.
Workshop on Petri Nets and Graph Transformations. vol. 2. 2007. Selected papers from the Workshop on Petri Nets and Graph Transformations. abstract bibtex
Overview of Formal Concepts for Model Transformations based on Typed Attributed Graph Transformation
Hartmut Ehrig, Karsten Ehrig.
Proc. International Workshop on Graph and Model Transformation (GraMoT'05). ENTCS. Elsevier Science. 2005. abstract pdf bibtex
Parallel and Sequential Independence for Borrowed Contexts
Filippo Bonchi, Fabio Gadducci, Tobias Heindel.
Proceedings of ICGT 2008, 4th Internationa Conference on Graph Transformations. Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer (Eds.). pp. 226-241. Lecture Notes in Computer Science vol. 5214. Springer. 2008. abstract pdf bibtex
Parallelization of Graph Transformation Based on Incremental Pattern Matching
Gábor Bergmann, István Ráth, Dániel Varró.
Electronic Communications of the EASST, Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques. vol. 18. 2009. pdf bibtex
Parametric synchronizations in mobile nominal calculi
Roberto Bruni, Ivan Lanese.
Theoretical Computer Science. pp. 102--119. vol. 402 no. 2-3. Elsevier Science. 2008. abstract ps.gz ps bibtex
Partial-Order Reduction for General State Exploring Algorihtms
Alberto Lluch Lafuente, Dragan Bosnacki, Stefan Leue.
International Journal on Software Tools for Technology Transfer (STTT). pp. 39-51. vol. 11 no. 1. Springer Verlag. 2009. abstract pdf sttt06.draft.pdf bibtex
Passage-End Analysis
Allan Clark, Adam Duguid, Stephen Gilmore.
Computer Performance Engineering, 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009, Proceedings. Jeremy T. Bradley (Eds.). pp. 110-115. Lecture Notes in Computer Science vol. 5652. Springer. 2009. pdf bibtex
Pattern composition in graph transformation rules
András Balogh, Dániel Varró.
International Workshop on Composition of Model Transformations (CMT 2006). 2006. abstract bibtex
Performance analysis of Stochastic Process Algebra models using Stochastic Simulation
Jeremy T. Bradley, Stephen Gilmore, Nigel Thomas.
Proc. 5th Int. Wsh. Performance Modeling, Evaluation, and Optimization of Parallel and Distributed Systems (PMEO-PDS 2006). IEEE. 2006. pdf bibtex
Petri Nets Are Dioids
Paolo Baldan, Fabio Gadducci.
Proceedings of AMAST 2008, 12th International Conference on Algebraic Methodology and Software Technology. Jos\'e Meseguer, Grigore Rosu (Eds.). pp. 51-66. Lecture Notes in Computer Science vol. 5140. Springer. 2008. abstract pdf bibtex
PLACES 2008 --- 1st International Workshop in Programming Language Approaches to Concurrency and Communication-cEntric Software, Oslo, Norway, June 7, 2008, Proceedings
Vasco T. Vasconcelos, Nobuko Yoshida (Eds.). DI/FCUL TR no. 08--14. Department of Informatics, University of Lisbon. 2008. bibtex
Planning and Verifying Service Composition
Massimo Bartoletti, Pierpaolo Degano, Gianluigi Ferrari.
Journal of Computer Security. vol. 17 no. 5. IOS Press. 2009. abstract pdf bibtex
Plans for Service Composition
Massimo Bartoletti, Pierpaolo Degano, Gianluigi Ferrari.
Proceedings of WITS 2006, 6th International Workshop on Issues in the Theory os Security. 2006. abstract pdf bibtex
Policy Driven Business Management over Web Services
Stephen Gorton, Stephan Reiff-Marganiec.
Integrated Network Management. pp. 721-724. IEEE. 2007. pdf bibtex
Policy Support for Business-oriented Web Service Management
Stephen Gorton, Stephan Reiff-Marganiec.
Proc. of LA-WEB 2006. IEEE Computer Society. 2006. pdf bibtex
Policy Support for Call Control
K. J. Turner, Stephan Reiff-Marganiec, L. Blair, J. Pang, T. Gray, P. Perry, J. Ireland.
Computer Standards and Interfaces. pp. 635-649. vol. 28/6. Elsevier Science. 2005. pdf bibtex
Polyadic Stochastic COWS
Stefano Schivo.
TR UNITN DISI-08-35. 2008. abstract pdf bibtex
PRISMA: A mobile calculus with parameterized synchronization
Roberto Bruni, Ivan Lanese.
Proceedings of TGC 2006, the second symposium on Trustworthy Global Computing. pp. 132--149. Lecture Notes in Computer Science vol. 4661. Springer Verlag. 2006. abstract pdf.gz pdf bibtex
Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2009), Pisa, Italy, 17-19 June
Maurice H. ter Beek (Eds.). Electronic Proceedings in Theoretical Computer Science vol. 2. arXiv:0906.4900v1 [cs.SE]. 2009. 4900v1 bibtex
Proceedings of GT-VC 2005, Workshop on Graph Transformation for Verification and Concurrency
Arend Rensink, Reiko Heckel, Barbara Koenig (Eds.).
Proceedings of GT-VC 2005, Workshop on Graph Transformation for Verification and Concurrency. Electronic Notes in Theoretical Computer Science vol. 154 no. 2. Elsevier. 2006. bibtex
Proceedings of the School of the SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004)
Reiko Heckel (Eds.).
ENTCS vol. 148(1). Elsevier. 2006. abstract entcs.2005.12.009 bibtex
Proceedings of the Second International Workshop on Views On Designing Complex Architectures (VODCA 2006), Bertinoro, Italy, 16-17 September 2006
Maurice H. ter Beek, Fabio Gadducci (Eds.). Electronic Notes in Theoretical Computer Science vol. 168. Elsevier Science, Amsterdam. 2007. bibtex
Proceedings of the Third International Workshop on Views On Designing Complex Architectures (VODCA 2008), Bertinoro, Italy, 30-31 August 2008
Alessandro Aldini, Maurice ter Beek, Fabio Gadducci (Eds.). Electronic Notes in Theoretical Computer Science vol. 236. Elsevier Science Publishers, Amsterdam. 2009. bibtex
Process Bisimulation via a Graphical Encoding
Filippo Bonchi, Fabio Gadducci, Barbara Koenig.
Proceedings of ICGT 2006, 3rd International Conference on Graph Transformation. Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg (Eds.). pp. 168-183. Lecture Notes in Computer Science vol. 4178. Springer. 2006. abstract pdf bibtex
Process Modeling using UML
Gregor Engels, Alexander Förster, Reiko Heckel, Sebastian Thöne.
Process-Aware Information Systems. M. Dumas, W. van der Aalst, A. ter Hofstede (Eds.). pp. 85-117. Wiley Publishing. 2005. pdf bibtex
Processes as formal power series: A coinductive approach to denotational semantics
Michele Boreale, Fabio Gadducci.
Theoretical Computer Science. pp. 440-458. vol. 360. Elsevier. 2006. abstract pdf bibtex
Programming Sagas in SOCK
Ivan Lanese, Gianluigi Zavattaro.
Proc. of SEFM'09. pp. 189-198. IEEE press. 2009. abstract pdf bibtex
Protocol Stack for Services
Han Gao, Flemming Nielson, Hanne Riis Nielson.
Proceeding of Workshop on Foundations of Computer Security. 2009. abstract pdf bibtex
Provably correct implementations of services
Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina.
Proceedings of TGC 2008, 4th Symposium on Trustworthy Global Computing. pp. 69-86. Lecture Notes in Computer Science vol. 5474. Springer. 2009. abstract pdf.gz bibtex
Proving Behavioral Refinements of COL-specifications
Michel Bidoit, Rolf Hennicker.
Goguen Festschrift. J. Meseguer K. Futatsugi (Eds.). pp. 333-354. Lecture Notes in Computer Science vol. 4060. Springer. 2006. pdf bibtex
QoS Negotiation in Service Composition
Maria Grazia Buscemi, Ugo Montanari.
Submitted to Journal of Logic and Algebraic Programming. Elsevier. 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
Quality of Protection: Security Measurements and Metrics
Dieter Gollmann, Fabio Massacci, Artsiom Yautsiukhin.
Dieter Gollmann, Fabio Massacci, Artsiom Yautsiukhin (Eds.). Advances in Information Security vol. 23. Springer. 2006. abstract bibtex
Quantifying information leakage in process calculi
Michele Boreale.
Proc.of Automata, Languages and Programming, 33rd International Colloquium (ICALP 2006). Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener (Eds.). pp. 119-131. LNCS vol. 4052. Springer. 2006. abstract pdf bibtex
Quantifying Information leakage in process calculi
Michele Boreale.
Information and Computation. pp. 699-725. vol. 207(6). Elsevier. 2009. abstract pdf 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
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
Rate-based transition systems for stochastic process calculi
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink.
ICALP 2009 - Automata, Languages and Programming. 36th International Colloquium. pp. 435 - 446. Lecture Notes in Computer Science. Springer. 5556. Proceedings, vol. II. bibtex
Reactive Systems, Barbed Semantics, and the Mobile Ambients
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale.
Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Proceedings. Luca de Alfaro (Eds.). pp. 272-287. Lecture Notes in Computer Science vol. 5504. Springer. 2009. abstract pdf bibtex
Reasoning about interaction patterns in Choreography
Roberto Gorrieri, Claudio Guidi, Roberto Lucchi.
Proc.of 2nd International Workshop on Web Services and Formal Methods (WS-FM'05). pp. 333-348. LNCS vol. 3670. Springer. 2005. abstract pdf bibtex
Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
WADT. Jos\'e Luiz Fiadeiro, Pierre-Yves Schobbens (Eds.). Lecture Notes in Computer Science vol. 4409. Springer. 2007. bibtex
Recursive Graph Pattern Matching: With Magic Sets and Global Search Plans
Dániel Varró, Ákos Horváth, Gergely Varró.
Proc. Third International Workshop and Symposium on Applications of Graph Transormation with Industrial Relevance (AGTIVE 2007). Andy Schurr and Manfred Nagl and Albert Zundorf (Eds.). Lecture Notes in Computer Science vol. 5088. Springer. abstract bibtex
Refactoring Long Running Transactions
Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto.
5th Internation Workshop on Web Services and Formal Methods - WSFM 2008. pp. 127-142. LNCS vol. 5387. Springer. 2009. abstract pdf bibtex
Regulating data exchange in service oriented applications
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi.
Proc. of IPM International Symposium on Fundamentals of Software Engineering (FSEN'07). F. Arbab and M. Sirjani (Eds.). pp. 223-239. LNCS vol. 4767. Springer. 2007. pdf bibtex
Relating Layered Queueing Networks and Process Algebra Models
Mirco Tribastone.
First Joint WOSP/SIPEW International Conference on Performance Engineering. ACM. 2010. bibtex
Relational Analysis for Delivery of Services
Flemming Nielson, Hanne Riis Nielson, Jörg Bauer, Henrik Pilegaard, Christoffer Rosenkilde Nielsen.
Trustworthy Global Computing. pp. 73-89. Lecture Notes in Computer Science vol. 4912 no. 2008. 2008. abstract 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
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
Representation, Verification, and Computation of Timed Properties in Web Service Compositions
Raman Kazhamiakin, Paritosh Pandya, Marco Pistore.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), September 18th-22nd 2006. Chicago (USA). pp. 497 - 504. 2006. abstract pdf bibtex
Representing Models as Diagrams of Constructions
Grzegorz Marczyński.
2006. Technical report. Extended abstract presented on WADT'2006. pdf bibtex
Requirements Engineering for Trust Management: Model, Methodology, and Reasoning
Paolo Giorgini, Fabio Massacci, John Mylopolous, Nicola Zannone.
The International Journal of Information Security. pp. 257--274. vol. 5 no. 4. 2006. abstract pdf bibtex
Responsiveness in Process Calculi
Lucia Acciai, Michele Boreale.
Proc. of 11th Annual Asian Computing Science Conference (ASIAN'06). Mitsu Okada and Ichiro Sato (Eds.). pp. 136-150. Lecture Notes in Computer Science vol. 4435. Springer-Verlag. 2007. abstract pdf bibtex
Responsiveness in process calculi
Lucia Acciai, Michele Boreale.
Theoretical Computer Science. pp. 59-93. vol. 409. Elsevier. 2008. abstract pdf bibtex
Reversibility and Models for Concurrency
Iain Phillips, Irek Ulidowski.
4th Workshop on Structural Operational Semantics SOS 2007. ENTCS. 2007. bibtex
Reversing Algebraic Process Calculi
Iain Phillips, Irek Ulidowski.
Journal of Logic and Algebraic Programming. pp. 70--96. vol. 73. 2007. bibtex
Review on stochastic comparison relations
Stefano Schivo.
TR UNITN DISI-08-34. 2008. abstract pdf bibtex
Rewriting Logic Semantics and Verification of Model Transformations
Artur Boronat, Reiko Heckel, José Meseguer.
FASE. pp. 18-33. LNCS vol. 5503. Springer. 2009. bibtex
Rule-Level Verification of Business Process Transformations using CSP
Dénes Bisztray, Reiko Heckel.
Electronic Communications of the EASST. Karsten Ehrig, Holger Giese (Eds.). pp. 13. vol. 6. 2007. abstract 47 bibtex
Run Time Monitoring of Instances and Classes of Web Service Compositions
Paolo Traverso, Fabio Barbon, Marco Pistore, Michele Trainotti.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006). September 18th-22nd, 2006. Chicago (USA). pp. 63-71. IEEE Computer Society. 2006. abstract pdf bibtex
Runtime checking Java code using Congu
Vasco T. Vasconcelos, Isabel Nunes, Antónia Lopes, Pedro Crispim, Nuno Ramiro.
ECOOP'08 International Workshop on Advanced Software Development Tools and Techniques (WASDeTT). 2008. nunes.etal_runtime-checking-java.pdf bibtex
Safe and Flexible Objects with Subtyping
Lorenzo Bettini, Viviana Bono, Silvia Likavec.
Object Technology, Special Issue: OOPS Track at SAC 2005. pp. 5-29. vol. 4 no. 10. 2005. abstract article1 bibtex
Safety and Response-Time Analysis of an Automotive Accident Assistance Service
Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone.
Proceedings of the 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science no. 17. Springer-Verlag. 2008. To appear. 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
Satisfying Maintenance Goals
Koen Hindriks, M. Birna van Riemsdijk.
Declarative Agent Languages and Technologies V (DALT'07). pp. 86--103. LNAI vol. 4897. 2008. bibtex
Saturated Semantics for Reactive Systems
Filippo Bonchi, Barbara Koenig, Ugo Montanari.
Proceedings of LICS 2006, 21st Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society. 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
Secure and Dependable Patterns in Organizations: An Empirical Approach
Yudistira Asnar, Roberto Bonato, Paolo Giorgini, Fabio Massacci, Valentino Meduri, Carlo Riccucci, Ayda Saidane.
Proceedings of the 15th IEEE International Conference on Requirements Engineering (RE 2007). October 15th-19th, 2007. New Delhi (India). pp. 287-292. IEEE Press. 2007. abstract pdf bibtex
Secure Dynamic Program Repartitioning
René Rydhof Hansen, Christian W. Probst.
Nordic Workshop on Secure IT Systems. 2005. revised version. pdf bibtex
Secure Service Orchestration
Massimo Bartoletti, Pierpaolo Degano, Gianluigi Ferrari, Roberto Zunino.
FOSAD 2007. Lecture Notes in Computer Science vol. 4677. Springer. 2007. abstract pdf bibtex
Secure shared data-space Coordination Languages: a Process Algebraic survey
Riccardo Focardi, Roberto Lucchi, Gianluigi Zavattaro.
Science of Computer Programming. pp. 3--15. vol. 63. Elsevier. 2006. abstract pdf bibtex
Securing Java with Local Policies
Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Gianluigi Ferrari, Fabio Martinelli, Roberto Zunino.
Proceedings of the 10th Workshop on Formal Techniques for Java-like Programs (FTfJP 2008). July 8th, 2008. Paphos (Cyprus). no. ICIS-R0801. 2008. abstract pdf bibtex
Securing Java with Local Policies
Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, Roberto Zunino.
Journal of Object Technology. vol. 8 no. 4. 2009. abstract pdf bibtex
Security and Trust Requirements Engineering
Paolo Giorgini, Fabio Massacci, Nicola Zannone.
Proceedings of the 5th International School on Foundations of Security Analysis and Design III (FOSAD 2005). September 19th-24th, 2005. Bertinoro (Ita. pp. 237--272. LNCS vol. 3655. Springer-Verlag. 2005. abstract pdf bibtex
Security issues in contract-based computing
Massimo Bartoletti, Roberto Zunino.
Proc. FAST. 2009. (short paper). abstract 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
Semantic-Based Development of Service-Oriented Systems
Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder.
Proc. 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems(FORTE'06), Paris, France. E. Najn et al. (Eds.). pp. 24-45. LNCS 4229. Springer-Verlag. 2006. abstract bibtex
Semantics-Based Design for Secure Web Services
Massimo Bartoletti, Pierpaolo Degano, Gianluigi Ferrari, Roberto Zunino.
IEEE Transactions on Software Engineering. pp. 33-49. vol. 34. 2008. abstract pdf bibtex
Sensoria - Software Engineering for Service-Oriented Overlay Computers
Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer.
Rigorous Software Engineering for Service-Oriented Systems. LNCS. 2010. abstract bibtex
SENSORIA Automotive Case Study: UML Specification of On Road Assistance Scenario
Nora Koch.
pp. 19. Technical Report no. 1. FAST . 2007. abstract pdf bibtex
SENSORIA Automotive Scenario: Illustrating Service Specification
Dominik Berndl, Nora Koch.
pp. 26. Technical Report no. 2. FAST. 2007. abstract pdf bibtex
SENSORIA Process Calculi for Service-Oriented Computing
Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro.
Trustworthy Global Computing, Second Symposium, TGC 2006, Revised Selected Papers.. Don Sanella, Ugo Montanari (Eds.). pp. 30-50. Lecture Notes in Computer Science vol. 4661. Springer. 2007. abstract pdf bibtex
Sensoria: Engineering for Service-Oriented Overlay Computers
Martin Wirsing, Laura Bocchi, Jose Luiz Fiadeiro, Stephen Gilmore, Matthias Hölzl, Nora Koch, Philip Mayer, Rosario Pugliese, Andreas Schroeder.
At Your Service: Service Engineering in the Information Society Technologies Program. MIT Press 2008. 2008. In press. bibtex
Separability in the Ambient Logic
Daniel Hirschkoff, Etienne Lozes, Davide Sangiorgi.
Logical Methods in Computer Science. vol. 4 no. 3. 2008. abstract pdf bibtex
Service and Protection Level Agreements for Business Processes
Ganna Frankova, Artsiom Yautsiukhin.
Proceedings of the 2nd Young Researchers Workshop on Service Oriented Computing (YR-SOC 2007). June 11th-12th, 2007. Leicester (UK). pp. 38-43. University of Leicester. 2007. abstract pdf bibtex
Service discovery and negotiation with COWS
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi.
Proc. of 3rd International Workshop on Automated Specification and Verification of Web Systems (WWV'07). pp. 133-154. ENTCS vol. 200 no. 3. Elsevier. 2008. pdf bibtex
Service Engineering: The Sensoria Model Driven Approach
Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer, Andreas Schroeder.
Proceedings of Software Engineering Research, Management and Applications (SERA 2008). IEEE Computer Society. 2008. abstract bibtex
Service Extraction from Legacy Systems
Carlos Matos.
Proc. International Conference on Graph Transformation (ICGT 2008). Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg and Gabriele Taentzer (Eds.). pp. 505-507. Lecture Notes in Computer Science vol. 5214. Springer. 2008. 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
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
Service Specification and Matchmaking Using Description Logic: An Approach Based on Institutions
M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder.
Proceedings of the 12th international conference on Algebraic Methodology and Software Technology (AMAST'08). pp. 392--406. LNCS vol. 5140. Springer. 2008. bibtex
Service-Oriented Modelling of Automotive Systems
Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes.
Computer Software and Applications Conference (COMPSAC'08). pp. 1059-1064. IEEE Computer Society. 2008. pdf bibtex
Service-Oriented Modelling of Automotive Systems
Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes.
COMPSAC. pp. 1059-1064. 2008. bibtex
Sesqui-pushout rewriting
Andrea Corradini, Tobias Heindel, Frank Hermann, Barbara Koenig.
Proceedings of ICGT 2006, 3rd International Conference on Graph Transformation. Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg (Eds.). pp. 30--45. Lecture Notes in Computer Science vol. 4178. Springer. 2006. abstract 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
Session Types for Linear Multithreaded Functional Programming
Vasco T. Vasconcelos.
PPDP '09: Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming. pp. 1--6. ACM. 2009. bibtex
Session-based Type Discipline for Pi Calculus with Matching
Marco Giunti, Kohei Honda, Vasco T. Vasconcelos, Nobuko Yoshida.
2009. Presented at PLACES 2009 --- 2nd International Workshop in Programming Language Approaches to Concur. honda.etal_session-based-pi-matching.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
SHReQ: A Framework for Coordinating Application Level QoS
Dan Hirsch, Emilio Tuosto.
Proceedings of SEFM 2005, 3rd IEEE International Conference on Software Engineering and Formal Methods. K.A. Bernhard, B. Bernhard (Eds.). pp. 425--434. IEEE. 2005. abstract pdf bibtex
Simulating Midlet's Security Claims with Automata Modulo Theory
Fabio Massacci, Ida Sri Rejeki Siahaan.
Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security (PLAS 2008). June 8th, 2008. Tucson (USA). Ulfar Erlingsson, Marco Pistoia (Eds.). pp. 1--9. ACM. 2008. abstract pdf bibtex
Simulation and Formal Analysis of Workflow Models
Máté Kovács, László Gönczy.
Proc. of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques. Roberto Bruni, Daniel Varro (Eds.). Electronic Notes in Theoretical Computer Science. Elsevier. 2006. abstract pdf bibtex
SOA Budgetkompatibel
Michel Alessandrini.
IT Banken und Versicherungen. pp. 18-19. no. 6. AV-Finance. 2008. 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
Software Engineering for Ensembles
Martin Wirsing, Axel Rauschmayer, Matthias Hölzl.
bibtex
Software Intensive Systems
Martin Wirsing, Matthias Hölzl.
Anticipating Future and Emerging Information Society Technologies. Dimitris Plexousakis (Eds.). ERCIM EEIG. 2006. html bibtex
Software-Intensive Systems and New Computing Paradigms---State of the Art and Future Challenges
Matthias Hölzl.
Software-Intensive Systems and New Computing Paradigms---State of the Art and Future Challenges. Martin Wirsing, Jean-Pierre Banatre, Matthias Hoelzl, Axel Rauschmayer (Eds.). LNCS vol. 5380. Springer. 2008. bibtex
Some relationships between two trust management languages
Fabio Martinelli, Marinella Petrocchi.
Proc. of 2nd International Workshop on Views On Designing Complex Architectures. ENTCS. Elsevier. 2006. pdf bibtex
Spatial and behavioral types in the pi-calculus
Lucia Acciai, Michele Boreale.
In Proc. of CONCUR 2008. pp. 372-386. LNCS vol. 5201. 2008. abstract pdf bibtex
Spatial and behavioral types in the pi-calculus
Lucia Acciai, Michele Boreale.
Information and Computation. Elsevier. 2010. To appear. abstract pdf bibtex
Spatial-Behavioral Types for Concurrency and Resource Control in Distributed Systems
Luis Caires.
Theoretical Computer Science. pp. 120-141. vol. 402 no. 2-3. Elsevier. 2008. abstract pdf bibtex
Speci cation and Implementation of Demonstrators for the Case Studies
Jannis Elgner, Stefania Gnesi, Nora Koch, Philip Mayer.
Rigorous Software Engineering for Service-Oriented Systems. LNCS. 2010. abstract 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
Specification and Refinement of Mobile Systems in MTLA and Mobile UML
Alexander Knapp, Stephan Merz, Martin Wirsing, Julia Zappe.
Theoretical Computer Science. pp. 184-202. 2006. bibtex
Specifying and Analysing SOC Applications with COWS
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi.
Concurrency, Graphs and Models. P. Degano et al. (Eds.). pp. 701-720. LNCS vol. 5065. Springer. 2008. 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
Specifying Data-Flow Requirements for the Automated Composition of Web Services
Annapaola Marconi, Marco Pistore, Paolo Traverso.
Proceeding of the 4th International Conference on Software Engineering and Formal Methods (SEFM'06). pp. 147-156. IEEE Computer Society. 2006. abstract bibtex
State-aware performance analysis with eXtended Stochastic Probes
Allan Clark, Stephen Gilmore.
Proceedings of the 5th European Performance Engineering Workshop (EPEW 2008). Nigel Thomas, Carlos Juiz (Eds.). pp. 125--140. LNCS vol. 5261. Springer. 2008. pdf bibtex
Static Analysis of Stochastic Process Algebras
Fan Yang.
Technical report. 2007. abstract pdf bibtex
Static and dynamic typing for the termination of mobile processes
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi.
Proc. of IFIP TCS'08. pp. 413-427. IFIP vol. 273. Springer. 2008. abstract 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
Static Enforcement of Service Deadlines
Massimo Bartoletti, Roberto Zunino.
2010. Submitted. abstract pdf bibtex
Static Validation of Licence Conformance Policies
Rene Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst.
ares. pp. 1104-1111. IEEE Computer Society. 2008. pdf bibtex
Static Verification of Control and Data in Web Service Compositions
Raman Kazhamiakin, Marco Pistore.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006). September 18th-22nd, 2006. Chicago (USA). pp. 83-90. IEEE Computer Society. 2006. abstract pdf bibtex
Statically detecting message confusions in a multi-protocol setting
Chiara Bodei, Linda Brodo, Pierpaolo Degano, Han Gao.
Foundations of Computer Security,Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (WITS'08). abstract pdf bibtex
Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks
Reiko Heckel.
Proc. Intl. Colloquium on Theoretical Aspects of Computing (ICTAC'05), Hanoi, Vietnam. H. Dan Van, M. Wirsing (Eds.). LNCS vol. 3722. Springer-Verlag. 2005. Invited paper. abstract 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
Stochastic graph transformation systems
Reiko Heckel, Georgios Lajios, Sebastian Menge.
Fundamenta Informaticae. SPECIAL ISSUE ON ICGT 2004.. pp. 63 - 84 . vol. 74 no. 1. 2006. abstract pdf bibtex
Stochastic Simulation of Graph Transformation Systems
Paolo Torrini, Reiko Heckel, István Ráth.
FASE. 2010. To appear. abstract bibtex
STOKLAIM: A Stochastic Extension of KLAIM
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink.
no. 2006-TR-01. 2006. 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
Structural and Behavioral Compatibility of Graphical Service Specifications
Reiko Heckel, Alexander Cherchago.
Journal of Logic and Algebraic Programming. pp. 15-33. vol. 70 no. 1. 2006. 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
Structured and Architectural Specifications of Concurrent Systems
Artur Zawłocki.
2007. Technical report. pdf bibtex
Structured co-spans: an algebra of interaction protocols
José Luiz Fiadeiro, Vincent Schmitt.
Algebra and Coalgebra in Computer Science. T. Mossakowski, U. Montanari, M. Haveraaen (Eds.). pp. 194-208. LNCS vol. 4624. Springer. 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
Style-Based Modelling and Refinement of Service-Oriented Architectures
Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró.
Software and Systems Modeling. Special issue, dedicated to the 4th Working IEEE/IFIP Conference on Software Architecture (WICSA4). pp. 187-207. vol. 5 no. 2. Springer. 2006. abstract pdf bibtex
Subobject Transformation Systems
Andrea Corradini, Frank Hermann, Pawel Sobocinski.
Applied Categorical Structures. pp. 389--419. vol. 16 no. 3. 2008. abstract bibtex
Supporting user-friendly design of flexible Business Processes in StPowla
Paola Fantini, Carlo Montangero, Claudio Palasciano, Stephan Reiff-Marganiec, Laura Semini.
no. PISATR0825. 2008. abstract pdf bibtex
Symbolic Semantics Revisited
Filippo Bonchi, Ugo Montanari.
Proceedings of FOSSACS 2008. Roberto Amadio (Eds.). pp. 395-412. Lecture Notes in Computer Science no. 4962. Springer. 2008. abstract pdf bibtex
Symmetries, Local Names and Dynamic (De)-allocation of Names
Vincenzo Ciancia, Ugo Montanari.
Information and Computation. 2010. abstract bibtex
Synchronization of Abstract and Concrete Syntax in Domain-specific Modeling Languages
István Ráth, András Ökrös, Dániel Varró.
Journal of Software and Systems Modeling. 2009. pdf bibtex
Synchronization Strategies for Global Computing Models
Ivan Lanese.
Technical report. 2006. abstract pdf.gz pdf bibtex
Synchronized Hyperedge Replacement as a Model for Service Oriented Computing (Tutorial)
Gianluigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto.
Proceedings of FMCO 2005, 1st International Symposium on Formal Methods for Components and Objects. pp. 22-43. Lecture Notes in Computer Science vol. 4111. Springer. 2006. abstract pdf.gz pdf bibtex
Synchronous Multiparty Synchronizations and Transactions
Ivan Lanese, Hernán Melgratti.
Proceedings of Concurrency, Graphs and Models. Pierpaolo Degano, Rocco De Nicola, Jos\'e Meseguer (Eds.). pp. 76-95. Lecture Notes in Computer Science vol. 5065. Springer Verlag. 2008. abstract ps.gz bibtex
Synthesis of Local Controller Programs for Enforcing Global Security Properties
Fabio Martinelli, Ilaria Matteucci.
ARES 2008. pp. 1120-1127. IEEE Computer Society. 2008. abstract pdf bibtex
Synthesising CCS bisimulation using graph rewriting
Filippo Bonchi, Fabio Gadducci, Barbara König.
Information and Computation. pp. 14-40. vol. 207 no. 1. Elsevier. 2009. abstract pdf bibtex
Ten virtues of structured graphs
Roberto Bruni, Alberto Lluch Lafuente.
Proceedings of GT-VMT 2009, 8th International Workshop on Graph Transformation and Visual Modeling Techniques. Reiko Heckel and Artur Boronat (Eds.). Electronic Communications of the EASST vol. 18. EASST. 2009. abstract pdf.gz bibtex
Termination Analysis of Model Transformations by Petri Nets
Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer.
Proc. 3rd International Conference on Graph Transformation (ICGT 2006). LNCS. Springer. 2006. abstract bibtex
Termination Criteria for Model Transformation
Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay.
Proc. Fundamental Approaches to Software Engineering (FASE). M. Wermelinger, T. Margaria-Steffen (Eds.). pp. 214--228. LNCS vol. 2984. Springer. 2005. abstract pdf bibtex
Testing Decision Procedures for Security-by-Contract
Nataliia Bielova, Fabio Massacci, Ida Sri Rejeki Siahaan.
Proceedings of the Joint Workshop on Foundations of Computer Security, Automated Reasoning for Security Protocol Analysis (FCS-ARSPA-WITS 2008). June . ACM. 2008. abstract pdf bibtex
The Automotive Case Study in the Sensoria Core Calculi
Luis Cruz-Filipe, Francisco Martins, Vasco T. Vasconcelos.
2007. 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
The ipclib PEPA Library
Allan Clark.
Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST). Mor Harchol-Balter, Marta Kwiatkowska, Miklos Telek (Eds.). pp. 55--56. IEEE. 2007. bibtex
The PEPA Eclipse Plug-in
Mirco Tribastone, Adam Duguid, Stephen Gilmore.
Performance Evaluation Review. pp. 28--33. vol. 36 no. 4. 2009. bibtex
The PEPA Plug-in Project
Mirco Tribastone.
Fourth International Conference on the Quantitative Evaluation of Systems. pp. 53--54. IEEE Computer Society. 2007. abstract bibtex
The Spatial Logic Model Checker User's Manual v1.0
Hugo Vieira, Luis Caires, Ruben Viegas.
no. 2005-TR-10. 2005. abstract pdf bibtex
The UML4SOA Profile
Philip Mayer, Nora Koch, Andreas Schroeder.
Technical report LMU. www.uml4soa.eu. pdf bibtex
Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21
Dang Van Hung, Martin Wirsing.
pp. 420. Lecture Notes in Computer Science vol. 3722. Springer. 2005. bibtex
Thinkteam with Replicated Data Repositories - Stochastic Model Checking in Industry
Gianluca Trentanni, Maurizio Sebastianis, Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink.
Istituto di Scienza e Tecnologie dell'Informazione, CNR no. 2009-TR-02. 2009. pdf bibtex
Through Modeling to Synthesis of Security Automata
Fabio Martinelli, Ilaria Matteucci.
Electr. Notes Theor. Comput. Sci.. pp. 31-46. vol. 179. 2007. abstract pdf bibtex
Tiles for Reo
Farhad Arbab, Roberto Bruni, David Clarke, Ivan Lanese, Ugo Montanari.
Proceedings of WADT 2008, 19th International Workshop on Algebraic Development Techniques. Corradini, A. and Gadducci, F. (Eds.). pp. 37-55. Lecture Notes in Computer Science vol. 5486. Springer. 2009. abstract pdf bibtex
Timed Modelling and Analysis in Web Service Compositions
Raman Kazhamiakin, Paritosh Pandya, Marco Pistore.
Proceedings of the 1st International Conference on Availability, Reliability and Security (ARES 2006). April 20th-22nd, 2006. Vienna (Austria). pp. 840-846. IEEE Computer Society. 2006. abstract bibtex
To Store Or Not To Store Reloaded'': Reclaiming Memory On Demand
Moritz Hammer, Michael Weber.
Formal Methods: Application and Technology (FMICS'2006). Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol (Eds.). pp. 51--66. Lecture Notes in Computer Science vol. 4346. Springer-Verlag. 2006. 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
Tool Support for Engineering Certifiable Software
László Gönczy, István Majzik, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza, Ákos Horváth.
Proc. of First Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert08). Michaela Huhn, Hardi Hungar (Eds.). pp. 68-73. 2008. abstract bibtex
Tool Support for Safety Analysis of Service Composition and Deployment Models
Howard Foster.
Proceedings of IEEE International Conference on Web Services (ICWS 2008). 2008. pdf bibtex
Tool Supported Modeling of Mobile Systems
Christian Kroiß, Gefei Zhang.
Proc. 10th IASTED Int. Conf. Software Engineering and Applications (SEA'06). Albert Mo Kim Cheng (Eds.). pp. 14--19. ACTA Press. 2006. pdf 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
Toward a Formal Semantics for Autonomic Components
Marco Aldinucci, Emilio Tuosto.
Toward a Formal Semantics for Autonomic Components. T. Priol and M. Vanneschi (Eds.). pp. 31--45. Springer. 2008. abstract pdf bibtex
Towards a calculus for Wireless Systems.
Nicola Mezzetti, Davide Sangiorgi.
Twenty-second Conference on the Mathematical Foundations of Programming Semantic, MFPS 06. pp. 331-353. ENTCS vol. 158. Elsevier. 2006. abstract ps.gz ps bibtex
Towards a Notion of Transaction in Graph Rewriting
Paolo Baldan, Andrea Corradini, Fernando Luis Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro.
Proceedings of GT-VMT 2006, 5th International Workshop on Graph Transformations and Visual Modeling Techniques. Roberto Bruni, Daniel Varro (Eds.). pp. 39-50. Electronic Notes in Theoretical Computer Science vol. 211. Elsevier Science. 2008. abstract pdf bibtex
Towards a Task-Oriented, Policy-Driven Business Requirements Specification for Web Services
Stephen Gorton, Stephan Reiff-Marganiec.
Proc. of BPM 2006. LNCS. Springer. 2006. pdf 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
Towards a Unifying Theory for Web Services Composition
Manuel Mazzara, Ivan Lanese.
Proceedings of WS-FM'06, 3rd International Workshop on Web Services and Formal Methods. pp. 257--272. LNCS vol. 4184. Springer Verlag. 2006. abstract pdf.gz pdf bibtex
Towards an embedding of Graph Transformation in Intuitionistic Linear Logic
Paolo Torrini, Reiko Heckel.
CoRR. 2009. pdf bibtex
Towards Aspect-Oriented State Machines
Gefei Zhang.
Proc. 2nd Asian Wsh. Aspect-Oriented Software Development (AOASIA'06). Jan Hannemann, Elisa Baniassad, Kung Chen, Shigeru Chiba, Hidehiko Masuhara, Shangping Ren, Jianjun (Eds.). pp. 60--64. National Institute of Informatics, Tokyo. 2006. pdf bibtex
Towards Contract-based Testing of Web Services.
Reiko Heckel, Marc Lohmann.
Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004). Mauro Pezz\'e (Eds.). pp. 145-156. vol. 116. 2005. abstract pdf bibtex
Towards Feature Interactions in Business Processes
Stephen Gorton, Stephan Reiff-Marganiec.
ICFI. Lydie du Bousquet (Eds.). University Joseph Fourier. 2007. pdf bibtex
Towards Living Cooperative Information Systems for Virtual Organizations Using Living Systems Theory
Shiping Yang, Martin Wirsing.
1st International Joint e-Conferences on Computer, Information, and Systems Sciences, and Engineering. 2005. bibtex
Towards Model Checking Spatial Properties with SPIN
Alberto Lluch Lafuente.
Proceedings of the 14th International Workshop on Software Model Checking SPIN'07. Dragan Bosnacki and Stefan Edelkamp (Eds.). pp. 223-242. Lecture Notes in Computer Science no. 4595. Springer Verlag. 2007. abstract pdf bibtex
Towards Model Transformation in Generated Eclipse Editor Plug-Ins
Karsten Ehrig, Claudia Ermel, Stephan Hänsgen.
Proc. International Workshop on Graph and Model Transformation (GraMoT'05). ENTCS. Elsevier Science. 2005. abstract 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
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
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
Towards Testing the Implementation of Graph Transformations
Andrea Darabos, András Pataricza, Dániel Varró.
Proc. of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques. Roberto Bruni, Daniel Varro (Eds.). Electronic Notes in Theoretical Computer Science. Elsevier. 2006. abstract bibtex
Transactional Service Level Agreements
Maria Grazia Buscemi, Hernán Melgratti.
Post-Proceedings of 3rd Symposium on Trustworthy Global Computing (TGC'07). pp. 124--139. Lecture Notes in Computer Science vol. 4912. Springer. 2008. abstract pdf bibtex
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
Dániel Varró, Márk Asztalos, Dénes Bisztray, Artur Boronat, Duc-Hanh Dang, Rubino Geiss, Pieter Van Gorp, Joel Greenyer, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, Erhard Weinell.
Proc. Third International Workshop and Symposium on Applications of Graph Transormation with Industrial Relevance (AGTIVE 2007). Andy Sch\"rr, Manfred Nagl, Albert Z\"undorf (Eds.). pp. 540--565. Lecture Notes in Computer Science vol. 5088. Springer. 2008. abstract bibtex
Transformations in PEPA Models and Stochastic Probe Placement
Allan Clark, Stephen Gilmore.
Proceedings of the Twenty-Fifth UK Performance Engineering Workshop. Karim Djemame (Eds.). pp. 1--16. 2009. pdf bibtex
Transformations Techniques in the Model-Driven Development Process of UWE
Nora Koch.
Proc. 2nd Model-Driven Web Engineering 2006 Workshop (MDWE'06), Palo Alto, USA. Gustavo Rossi, Antonio Vallecillo, Geert-Jan Houben (Eds.). ACM DL. 2006. abstract bibtex
Translating Orc features into Petri Nets and Join Calculus
Roberto Bruni, Hernán Melgratti, Emilio Tuosto.
Proceedings of WS-FM 2006, 3rd International Workshop on Web Services and Formal Methods. M. Bravetti, G. Zavattaro (Eds.). pp. 123--137. Lecture Notes in Computer Science vol. 4184. Springer Verlag. 2006. abstract pdf.gz bibtex
Truly On-The-Fly Model Checking
Moritz Hammer, Alexander Knapp, Stephan Merz.
Proc. 11th Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05). Nicolas Halbwachs, Lenore D. Zuck (Eds.). pp. 191--205. Lect. Notes Comp. Sci. vol. 3440. Springer, Berlin. 2005. bibtex
Trustworthy Global Computing, Second Symposium, TGC 2006
Ugo Montanari, Roberto Bruni, Donald Sannella (Eds.).
Lecture Notes in Computer Science vol. 4661. Springer Verlag. 2007. bibtex
Type abstractions of name-passing processes
Lucia Acciai, Michele Boreale.
Proc. of 2nd International Symposium on Foundations of Software Engineering (FSEN'07). pp. 302-317. LNCS vol. 4767. Springer-Verlag. 2007. abstract pdf bibtex
Type Access Analysis: Towards Informed Interface Design
Friedricht Steimann, Philip Mayer.
Journal of Object Technology, vol 6. no. 9, Special Issue: TOOLS Europe 2007, October 2007. pp. 147--164. vol. 5. JOT. 2007. pdf bibtex
Type Inference for Deadlock Detection in a Multithreaded Typed Assembly Language
Vasco T. Vasconcelos, Francisco Martins, Tiago Cogumbreiro.
2009. Presented at PLACES 2009 --- 2nd International Workshop in Programming Language Approaches to Concur. martins.cogumbreiro_type-inference-mil.pdf bibtex
Type Systems for Bigraphs
Ebbe Elsborg, Thomas Hildebrandt, Davide Sangiorgi.
Proc. of TGC'08. Christos Kaklamanis and Flemming Nielson (Eds.). pp. 126-140. Lecture Notes in Computer Science vol. 5474. Springer. 2008. abstract bibtex
Type-Directed Compilation for Multicore Programming
Kohei Honda, Vasco T. Vasconcelos, Nobuko Yoshida.
PLACES 2008 --- 1st International Workshop in Programming Language Approaches to Concurrency and Communication-cEntric Software, Oslo, Norway, June 7,. pp. 46--51. entcs. ELSEVIER. 2009. vasconcelos.yoshida_compilation-multicore-programming.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
Types and deadlock freedom in a calculus of services, sessions and pipelines
Roberto Bruni, Leonardo Gaetano Mezzina.
Proceedings of AMAST 2008, 12th International Conference on Algebraic Methodology and Software Technology. G. Rosu, J. Meseguer (Eds.). pp. 100--115. Lecture Notes in Computer Science vol. 5140. Springer Verlag. 2008. abstract pdf.gz bibtex
Types and effects for Resource Usage Analysis
Massimo Bartoletti, Pierpaolo Degano, Gianluigi Ferrari, Roberto Zunino.
Foundations of Software Science and Computation Structures, FOSSACS'07. Lecture Notes in Computer Science vol. 4423. Springer. 2007. abstract pdf bibtex
Types and Effects for Secure Service Orchestration
Massimo Bartoletti, Pierpaolo Degano, Gianluigi Ferrari.
Proceedings of CSFW-19 2006, 19th IEEE Computer Security Foundations Workshop. pp. 35--40. 2006. abstract pdf bibtex
Types for Dynamic Reconfiguration
Joao C. Seco, Luis Caires.
Symposium on Programming Languages and Systems (ESOP'06), Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 200. Lecture Notes in Computer Science. Springer-Verlag. 2006. abstract pdf bibtex
Typing Services
Leonardo Gaetano Mezzina.
Technical report. 2009. abstract pdf bibtex
UMC 3.3 User Guide
Franco Mazzanti.
pp. 43. no. 2006-TR-33. 2006. pdf bibtex
UML Extensions for Service-Oriented Systems
Howard Foster, László Gönczy, Nora Koch, Philip Mayer, Carlo Montangero, Dániel Varró.
Rigorous Software Engineering for Service-Oriented Systems. LNCS. 2010. abstract bibtex
UML-based Web Engineering: An Approach based on Standards
Nora Koch, Gefei Zhang, Hubert Baumeister, Alexander Knapp.
Web Engineering: Modelling and Implementing Web Applications. Gustavo Rossi, Oscar Pastor, Daniel Schwabe, Luis Olsina (Eds.). pp. 157-191. HCI vol. 12. Springer Verlag. 2008. 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
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
Koen Hindriks, M. Birna van Riemsdijk.
Declarative Agent Languages and Technologies VI (DALT'08). pp. 215-232. LNAI vol. 5397. 2009. bibtex
Verification of Architectural Refactorings by Rule Extraction
Dénes Bisztray, Reiko Heckel.
Proc. Fundamental Approaches to Software Engineering. pp. 347-361. LNCS vol. 4961. Springer Berlin - Heidelberg. 2008. abstract zip 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
Verification of Reconfiguration Mechanisms in Service-Oriented Architectures
László Gönczy.
in Proceedings of Conference of PhD Students in Computer Science. pp. 52. 2006. pdf bibtex
Verifying Interaction Protocol Compliance of Service Orchestrations
Andreas Schroeder, Philip Mayer.
Proc. of Conference Service-Oriented Computing (ICSOC 2008). pp. 545-550. LNCSS vol. 5364. Springer-Verlag. 2008. pdf bibtex
Web Service Composition Approaches: From Industrial Standards to Formal Methods
Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi.
Proceedings of the 2nd International Conference on Internet and Web Applications and Services (ICIW'07). IEEE Computer Society, Los Alamitos, CA. 2007. pdf bibtex
Web Services and Formal Methods, 4th International Workshop, Brisbane, Australia, September 28-29, 2007. Proceedings WS-FM 2007
Marlon Dumas, Reiko Heckel (Eds.).
LNCS vol. 4937. Springer. 2008. bibtex
Website Performance Analysis - Success Assessment of Information Driven Website on User Traces
Michael Barth, Carsten Stolz.
International Journal of Information Technology and Web Engineering. vol. Vol.2 No.3. IGI. 2007. bibtex
Weighted Bisimulation in Linear Algebraic Form
Michele Boreale.
Proceedings of CONCUR 2009. Mario Bravetti and Gianluigi Zavattaro (Eds.). pp. 163-177. LNCS vol. 5710. Springer Berlin / Heidelberg. 2009. abstract pdf bibtex
What Do Semantics Matter When the Meat Is Overcooked?
José Luiz Fiadeiro.
Concurrency, Graphs and Models. pp. 563-580. 2008. bibtex
Where can an Insider attack?
Christian W. Probst, René Rydhof Hansen, Flemming Nielson.
Proceedings of the 4th international Workshop on Formal Aspects in Security and Trust (FAST2006). abstract pdf bibtex
Which Soft Constraints do you Prefer?
Matthias Hölzl, Max Meier, Martin Wirsing.
Proceedings of the 7th International Workshop on Rewriting Logic and its Applications (WRLA'08). Grigore Rosu (Eds.). Electronic Notes in Theoretical Computer Science. 2008. To appear. abstract pdf bibtex
WS-Engineer 2008: A Service Architecture, Behaviour and Deployment Verification Platform
Sebastian Uchitel, Howard Foster, Jeff Magee, Jeff Kramer.
Proceedings of IEEE International Conference on Service Oriented Computing (ICSOC 2008). 2008. pdf bibtex
WS-Security in komplexen Landschaften
Michael Pollmeier, Michel Alessandrini, Wilhelm Nuesser.
Java Spektrum. pp. 8 - 12. no. 4. SIGS-DATACOM GmbH. 2007. professional article. abstract pdf bibtex
WS-Trust: Ein Einstieg in die Praxis
Michael Pollmeier, Michel Alessandrini, Wilhelm Nuesser.
Java Spektrum. pp. 13 - 16. no. 4. SIGS-DATACOM GmbH. 2007. professional article. abstract pdf bibtex
XPi: a typed process calculus for XML messaging
Lucia Acciai, Michele Boreale.
Science of Computer Programming. pp. 110-143. vol. 71 no. 2. 2008. abstract pdf bibtex
|
