``Bounded and Eventual Adaptation for Evolvable Components''
Submitted to European Symposium on Programming (ESOP 2011)
``A Calculus for Component Evolvability (Extended Abstract)''
In Proc. of the 7th International Workshop on Formal Aspects of Component Software (FACS 2010), to appear in LNCS, Springer
``Foundational Aspects of Service Discovery based on Behavioural Contracts''
In Proc. of the 3th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2009), to appear in Electronic Workshops in Computing (eWIC series), British Computer Society.
``Contract-Driven Implementation of Choreographies''
In Proc. of Trustworthy Global Computing, Fourth Symposium (TGC'08), LNCS 5474:1-18, Barcelona (Spain), Springer, 2009
``Combining Timed Coordination Primitives and Probabilistic Tuple Spaces''
In Proc. of Trustworthy Global Computing, Fourth Symposium (TGC'08), LNCS 5474:52-68, Barcelona (Spain), Springer, 2009
``On the Expressive Power of Process Interruption and Compensation''
In Proc. of 5th International workshop on Web Services and Formal Methods (WS-FM'08), Milan (Italy), LNCS 5387: 1-18, Springer, 2009.
``Contract Compliance and Choreography Conformance in the Presence of Message Queues''
In Proc. of 5th International workshop on Web Services and Formal Methods (WS-FM'08), Milan (Italy), LNCS 5387: 37-54, Springer, 2009.
``Replicating Web Services for Scalability''
In Proc. of Trustworthy Global Computing, Third Symposium (TGC'07), LNCS 4912:204-221, Sophia-Antipolis (France), November 2007
In Proc. of 14th International Workshop on Expressiveness in Concurrency (Express'07), ENTCS 194(2):31-57, Lisbon (Portugal), September 2007
``A Theory for Strong Service Compliance''
In Proc. of 9th International Conference on Coordination Models and Languages (Coordination'07), LNCS 4467:96-112, Paphos (Cyprus), June 2007
``Towards a Unifying Theory for Choreography Conformance and Contract Compliance''
In Proc. of 6th International Symposium on Software Composition (SC'07) , LNCS 4829:34-50, Braga (Portugal), March 2007
``Contract based Multi-party Service Composition''
In Proc. of IPM International Symposium on Fundamentals of Software Engineering (FSEN'07) , LNCS 4767:207-222, Tehran (Iran), April 2007
In Proc. of LIX colloquium Emerging Trends in Concurrency Theory, ENTCS 209C:83-106, Paris (France), November 2006
``From Theoretical E-barter Models to an Implementation Based on Web Services''
in Proc. of the IPM International Workshop on Foundations of Software Engineering (Theory and Practice) (FSEN'05), ENTCS 159:241-264, Tehran (Iran), October 2005.
``Stochastic and Real Time in Process Algebra: A Conceptual Overview''
in Proc. of the meeting Algebraic Process Calculi: The First Twenty Five Years and Beyond (PA'05), ENTCS 162:113-119, Bertinoro (Italy), August 2005
``Service Oriented Computing:a new challenge for Process Algebras''
in Proc. of the meeting Algebraic Process Calculi: The First Twenty Five Years and Beyond (PA'05), ENTCS 162:121-125, Bertinoro (Italy), August 2005
``YMCA -Why Markov Chain Algebra?-''
in Proc. of the meeting Algebraic Process Calculi: The First Twenty Five Years and Beyond (PA'05), ENTCS 162:107-112, Bertinoro (Italy), August 2005
in Proc. of the meeting Algebraic Process Calculi: The First Twenty Five Years and Beyond (PA'05), ENTCS 162:65-71, Bertinoro (Italy), August 2005
``A Ground-Complete Axiomatization of Finite State Processes in Process Algebra''
in Proc. of the 16th Int. Conf. on Concurrency Theory (CONCUR'05), LNCS 3653:248-262, San Francisco (CA, USA), August 2005
``Supporting e-commerce systems formalization with choreography languages''
in Proc. of the 20th ACM Symposium on Applied Computing (SAC'05), special track on E-Commerce Technologies, ACM Press, pp. 831-835, Santa Fe (NM, USA), March 2005
``On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda''
in Proc. of the 2nd Int. Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo'04), ENTCS 128(5):39-53, London (UK), August 2004
``Security Issues in the Tuple-Space Coordination Model''
in Proc. of the 2nd Int. Workshop on Formal Aspects in Security and Trust (FAST'04) , in IFIP International Federation for Information Processing 173, Springer, Touluse (France), August 2004
``Web Services for E-commerce: guaranteeing security access and quality of service''
in Proc. of the 19th ACM Symposium on Applied Computing (SAC'04), special track on E-Commerce Technologies , H. Haddad, A. Omicini, R.L. Wainwright and L.M. Liebrock eds., ACM Press, pp. 800-806, Nicosia (Cyprus), March 2004
``Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model''
in Proc. of the 6th Int. Conference on Coordination Models and Languages (COORDINATION 2004) , R. De Nicola, G. Ferrari and G. Meredith eds., LNCS 2949:55-70, Pisa (Italy), February 2004
``Combining partitions in SecSpaces''
in Proc. of the Mefisto (formal methods for security and time) project final workshop, M. Bravetti, R. Gorrieri eds, ENTCS 99:31-47, Pisa (Italy), November 2003.
``A formal approach for checking security properties in SecSpaces''
in Proc. of the 1st Int. Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo'03) , ENTCS 85(3), Eindhoven (The Netherlands), July 2003
``An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems''
in Proc. of the 3rd Workshop on Models for Time-Critical Systems (MTCS 2002) , ENTCS 68(5), Brno (Czech Republic), August 2002
``Revisiting Interactive Markov Chains''
in Proc. of the 3rd Workshop on Models for Time-Critical Systems (MTCS 2002) , ENTCS 68(5), Brno (Czech Republic), August 2002
in Proc. of the 2nd Int. Joint Workshop on Process Algebra and Performance Modelling, Probabilistic Methods in Verification (PAPM-PROBMIV 2002) , LNCS 2399:209-210
``Non-Determinism in Probabilistic Timed Systems with General Distributions''
in Proc. of the 2nd Workshop on Models for Time-Critical Systems (MTCS 2001) , ENTCS 52(3), Aalborg (Denmark), August 2001
``Expressing Processes with Different Action Durations through Probabilities''
in Proc. of the Int. Joint Workshop on Process Algebra and Performance Modelling, Probabilistic Methods in Verification (PAPM-PROBMIV 2001) , LNCS 2165:168-183, Aachen (Germany)
``Reward Based Congruences: Can We Aggregate More?''
in Proc. of the Int. Joint Workshop on Process Algebra and Performance Modelling, Probabilistic Methods in Verification (PAPM-PROBMIV 2001) , LNCS 2165:136-151, Aachen (Germany)
in Proc. of the 1st Workshop on Models for Time-Critical Systems (MTCS 2000) , ENTCS 39(3), State College (PA), August 2000
``An Asynchronous Calculus for Generative-reactive Probabilistic Systems''
in Proc. of the 8th Int. Workshop on Process Algebras and Performance Modelling (PAPM 2000) , J.D.P. Rolim et al. editors, pp. 591-605 Carleton Scientific, Geneva (Switzerland), July 2000
``A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors''
in Proc. of the 27th Int. Colloquium on Automata, Languages and Programming (ICALP 2000) , U. Montanari, J.D.P. Rolim and E. Welzl editors, LNCS 1853:744-755, Geneva (Switzerland), July 2000
``Interactive Generalized Semi-Markov Processes''
in Proc. of the 7th Int. Workshop on Process Algebras and Performance Modeling (PAPM '99) , J. Hillston and M. Silva editors, pp. 83-98, Zaragoza (Spain), September 1999
in Proc. of the 6th Int. Workshop on Expressiveness in Concurrency (EXPRESS '99) , ENTCS 27, Eindhoven (The Netherlands), August 1999
``Towards the Integration of Real-Time and Probabilistic-Time Process Algebras''
in Proc. of the 3rd European Research Seminar on Advances in Distributed Systems (ERSADS '99) , Madeira Island (Portugal), April 1999
``Functional and Performance Modeling and Analysis of Token Ring using EMPA''
in Proc. of the 6th Italian Conf. on Theoretical Computer Science (ICTCS '98) , P. Degano, U. Vaccaro and G. Pirillo editors, World Scientific, pp. 204-215, Prato (Italy), November 1998
``A Note on the Congruence Proof for Recursion in Markovian Bisimulation Equivalence''
in Proc. of the 6th Int. Workshop on Process Algebras and Performance Modeling (PAPM '98) , C. Priami editor, pp. 153-164, Nice (France), September 1998
``Towards Performance Evaluation with General Distributions in Process Algebras''
in Proc. of the 9th Int. Conf. on Concurrency Theory (CONCUR '98) , D. Sangiorgi and R. de Simone editors, LNCS 1466:405-422, Nice (France), September 1998
``From EMPA to GSMPA: Allowing for General Distributions''
in Proc. of the 5th Int. Workshop on Process Algebras and Performance Modeling (PAPM '97) , E. Brinksma and A. Nymeyer editors, pp. 17-33, Enschede (The Netherlands), June 1997