EVENTS

Summary

• October 23-24, 2008: PaCo kick-off meeting (Bertinoro, Italy)
• June 25-26, 2009: PaCo first mid-term meeting (Lucca, Italy)
• March 2-3, 2010: PaCo second mid-term meeting (L'Aquila, Italy)

---

October 23-24, 2008: PaCo kick-off meeting (Bertinoro, Italy)

October 23, 2008

09:30 - 11:15 - Firenze

• Stochastic Process Algebras and Stochastic Model Checking
  Michele Loreti
• Calculi for Services and their Markovian Extensions
  Rocco De Nicola
• Probabilistic May Testing
  Mieke Massink

11:30 - 13:00 - Torino

• Probabilistic Timed Automata
  Jeremy Sproston
• UML and Dependability Analysis
  Jeremy Sproston

14:00 - 16:15 - Urbino

• Process Algebraic Architectural Description Languages
  Marco Bernardo
• Component-Oriented Specification of Performance Measures
  Alessandro Aldini
• Markovian Behavioral Equivalences
  Marco Bernardo
• Equivalence-Based Analysis of Performability-Aware Systems
  Alessandro Aldini

16:30 - 18:30 - L'Aquila

• Model-Driven Non-Functional Analysis
  Vittorio Cortellessa
• Security Proofs
  Monica Nesi
• Moving Model-Based Analysis at Run-Time
  Antinisca Di Marco

October 24, 2008

09:00 - 11:00 - Camerino

• Performance and Other Non-Functional Aspects of Systems (part 1)
  Maria Rita di Berardini
• Performance and Other Non-Functional Aspects of Systems (part 2)
  Luca Tesei

---

June 25-26, 2009: PaCo first mid-term meeting (Lucca, Italy)

June 25, 2009

10:30 - 12:30 - Torino

• Strict Divergence for Probabilistic Timed Automata
  Angelo Troina
• Dependability Modeling and Analysis with the MARTE-DAM Profile
  Simona Bernardi
• Dependability Requirement Gathering in UP with the MARTE-DAM Profile
  Simona Bernardi

14:00 - 16:00 - Urbino

• Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes
  Marco Bernardo
• Markovian Testing Equivalence and Exponentially Timed Internal Actions
  Marco Bernardo
• A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference
  Alessandro Aldini

16:30 - 18:30 - Firenze

• A Process Algebra Approach to Fuzzy Reasoning
  Liliana D'Errico
• A Stochastic Logic for Mobility and Global Computing
  Diego Latella
• Model Checking Stochastic Logic for Mobility
  Michele Loreti

June 26, 2009

09:00 - 11:00 - L'Aquila

• Model-Based Feedback for Software Performance Improvement
  Catia Trubiani
• Non-Functional Analysis of Mobile Context-Aware Software Systems
  Vittorio Cortellessa

11:00 - 13:00 - Camerino

• Performance Evaluation in a Process Algebra with Read-Actions
  Maria Rita Di Berardini
• FASE: A Tool for Worst-Case Evaluation
  Federico Buti
• Ongoing Work Paco@UniCam
  Luca Tesei

---

March 2-3, 2010: PaCo second mid-term meeting (L'Aquila, Italy)

March 2, 2010

14:00 - 14:30 - Introduction

14:30 - 16:00 - L'Aquila

• Performability Modeling and Analysis in UML
  Luca Berardinelli
• Modeling and Detection of Performance Antipatterns in UML
  Catia Trubiani

16:00 - 17:30 - Torino

• Performability Measure Specification: Combining CSRL and MSL
  Jeremy Sproston
• Probabilistic Timed Automata: Simulation and Games
  Jeremy Sproston

March 3, 2010

09:00 - 10:30 - Camerino

• Characterization of an Input/Output Performance Preorder
  Maria Rita Di Berardini
• Improving the Algorithms for Performance Evaluation in FASE
  Massimo Callisto

10:30 - 12:00 - Firenze

• ULTRAS: Unified Labelled Transition Systems
  Rocco De Nicola
• Model Checking for Performance Analysis of Klaim Systems
  Michele Loreti

12:00 - 13:30 - Urbino

• Weak Markovian Bisimulation Equivalences and Exact CTMC-Level Aggregations
  Marco Bernardo
• Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior
  Alessandro Aldini

---

Last update: Wed Mar 17 09:40:28 CET 2010