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)
- September 15, 2010: PaCo final meeting (Camerino, Italy)
October 23-24, 2008: PaCo kick-off meeting (Bertinoro, Italy)
October 23, 2008
-
- Stochastic Process Algebras and
Stochastic Model Checking
Michele Loreti - Calculi for Services and Their
Markovian Extensions
Rocco De Nicola - Probabilistic May Testing
Mieke Massink
- Stochastic Process Algebras and
Stochastic Model Checking
-
- Probabilistic Timed Automata
Jeremy Sproston - UML and Dependability Analysis
Jeremy Sproston
- Probabilistic Timed Automata
-
- 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
- Process Algebraic Architectural Description Languages
-
- Model-Driven Non-Functional Analysis
Vittorio Cortellessa - Security Proofs
Monica Nesi - Moving Model-Based Analysis at Run-Time
Antinisca Di Marco
- Model-Driven Non-Functional Analysis
October 24, 2008
-
- 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
- Performance and Other Non-Functional Aspects of Systems (part 1)
June 25-26, 2009: PaCo first mid-term meeting (Lucca, Italy)
June 25, 2009
-
- 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
- Strict Divergence for Probabilistic Timed Automata
-
- 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
- Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes
-
- 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
- A Process Algebra Approach to Fuzzy Reasoning
June 26, 2009
-
- Model-Based Feedback for Software Performance Improvement
Catia Trubiani - Non-Functional Analysis of Mobile Context-Aware Software Systems
Vittorio Cortellessa
- Model-Based Feedback for Software Performance Improvement
-
- 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
- Performance Evaluation in a Process Algebra with Read-Actions
March 2-3, 2010: PaCo second mid-term meeting (L'Aquila, Italy)
March 2, 2010
-
- Performability Modeling and Analysis in UML
Luca Berardinelli - Modeling and Detection of Performance Antipatterns in UML
Catia Trubiani
- Performability Modeling and Analysis in UML
-
- Performability Measure Specification: Combining CSRL and MSL
Jeremy Sproston - Simulation and Bisimulation Relations for Probabilistic Timed Automata
Jeremy Sproston
- Performability Measure Specification: Combining CSRL and MSL
March 3, 2010
-
- Characterization of an Input/Output Performance Preorder
Maria Rita Di Berardini - Improving the Algorithms for Performance Evaluation in FASE
Massimo Callisto De Donato
- Characterization of an Input/Output Performance Preorder
-
- ULTRAS: Unified Labelled Transition Systems
Rocco De Nicola - Model Checking for Performance Analysis of Klaim Systems
Michele Loreti
- ULTRAS: Unified Labelled Transition Systems
September 15, 2010: PaCo final meeting (Camerino, Italy)
-
- Read Operators and Their Expressiveness in Process Algebra
Maria Rita Di Berardini - A Further Application of FASE: Study of Liveness Properties on Mutual
Exclusion Algorithms
Massimo Callisto De Donato - Tayloring Shape Calculus Towards Quantitative Analysis
Federico Buti
- Read Operators and Their Expressiveness in Process Algebra
-
- Compositional Modelling of Concurrent Systems and
Their Quantitative Evaluation
Rocco De Nicola - Quantitative Analysis of Klaim Nets
Michele Loreti
- Compositional Modelling of Concurrent Systems and
Their Quantitative Evaluation
Last update: Thu Feb 19 08:59:43 CET 2015