paco logo

index

home
project objectives
research units
events
products

PRODUCTS

Copyright Notice: The material below is presented to ensure timely dissemination of PaCo research results. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In all cases, the material below may not be reposted without explicit permission of the copyright holder.

Summary

Book chapters

The following publications are listed in chronological order:
  1. A. Aldini and M. Bernardo, "Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems", Architecting Dependable Systems 6, R. de Lemos, J.-C. Fabre, C. Gacek, F. Gadducci, and M.H. ter Beek editors, Springer, LNCS 5835:228-254, August 2009.

Journal publications

The following publications are listed in chronological order:
  1. M. Jurdzinski, F. Laroussinie, and J. Sproston, "Model Checking Probabilistic Timed Automata with One or Two Clocks", Logical Methods in Computer Science 4(3:12):1-28, September 2008.
  2. S. Donatelli, S. Haddad, and J. Sproston, "Model Checking Timed and Stochastic Properties with CSLTA", IEEE Transactions on Software Engineering 35(2):224-240, March/April 2009.
  3. F. Corradini, M.R. Di Berardini, and W. Vogler, "Liveness of a Mutex Algorithm in a Fair Process Algebra", Acta Informatica 46(3):209-235, April 2009.
  4. D. Cacciagrano, F. Corradini, and C. Palamidessi, "Explicit Fairness in Testing Semantics", Logical Methods in Computer Science 5(2:15):1-27, June 2009.
  5. L. Portinale, D. Codetta-Raiteri, and S. Montani, "Supporting Reliability Engineers in Exploiting the Power of Dynamic Bayesian Networks", International Journal of Approximate Reasoning 51(2):179-195, January 2010.
  6. D. Codetta-Raiteri, "Integrating Several Formalisms in Order to Increase Fault Trees' Modeling Power", Reliability Engineering and System Safety 96(5):534-544, May 2011.
  7. S. Bernardi, J. Merseguer, and D.C. Petriu, "A Dependability Profile Within MARTE", Software & Systems Modeling 10(3):313-336, July 2011.
  8. M. Bernardo, "On the Tradeoff between Compositionality and Exactness in Weak Bisimilarity for Integrated-Time Markovian Process Calculi", Theoretical Computer Science 563:99-143, January 2015.

Conference proceedings

The following publications are listed in chronological order:
  1. M. Massink, D. Latella, M.H. ter Beek, M.D. Harrison, and M. Loreti, "A Fluid Flow Approach to Usability Analysis of Multi-User Systems", Proc. of the 7th International Workshop on Task Models and Diagrams (TAMODIA 2008), P. Forbrig and F. Paternò editors, Springer, LNCS 5247:166-180, Pisa (Italy), September 2008.
  2. S. Bernardi, J. Merseguer, and D.C. Petriu, "Adding Dependability Analysis Capabilities to the MARTE Profile", Proc. of the 11th International Conference on Model Driven Engineering Languages and Systems (MODELS 2008), Springer, LNCS 5301:736-750, Toulouse (France), September-October 2008.
  3. M. Beccuti, D. Codetta-Raiteri, G. Franceschinis, and S. Haddad, "Non Deterministic Repairable Fault Trees for Computing Optimal Repair Strategy", Proc. of the 3rd International Conference on Performance Evaluation, Methodologies and Tools (VALUETOOLS 2008), ICST, pages 1-10, Athens (Greece), October 2008.
  4. F. Corradini, M.R. Di Berardini, and W. Vogler, "Time and Fairness in a Process Algebra with Non-Blocking Reading", Proc. of the 35th Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2009), Springer, LNCS 5404:193-204, Špindlerův Mlýn (Czech Republic), January 2009.
  5. M. Bernardo, "Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes", Proc. of the 7th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2009), C. Baier and A. Di Pierro editors, Elsevier, ENTCS 253(3):3-23, York (UK), March 2009.
  6. A. Aldini and M. Bernardo, "A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference", Proc. of the 1st Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA/WITS 2009), P. Degano and L. Viganò editors, Springer, LNCS 5511:18-33, York (UK), March 2009.
  7. M. Bravetti, D. Latella, M. Loreti, M. Massink, and G. Zavattaro, "Combining Timed Coordination Primitives and Probabilistic Tuple Spaces", Proc. of the 4th International Symposium on Trustworthy Global Computing (TGC 2008), C. Kaklamanis and F. Nielson editors, Springer, LNCS 5474:52-68, Barcelona (Spain), April 2009.
  8. M. Beccuti, G. Franceschinis, D. Codetta-Raiteri, and S. Haddad, "Parametric NdRFT for the Derivation of Optimal Repair Strategies", Proc. of the 39th International Conference on Dependable Systems and Networks (DSN 2009), IEEE Computer Society, pages 399-408, Lisbon (Portugal), June 2009.
  9. R. De Nicola, D. Latella, M. Loreti, and M. Massink, "Rate-Based Transition Systems for Stochastic Process Calculi", Proc. of the 36th International Colloquium on Automata, Languages and Programming (ICALP 2009), S. Albers, A. Marchetti-Spaccamela, Y. Matias, S. Nikoletseas, and W. Thomas editors, Springer, LNCS 5556:435-446, Rhodes (Greece), July 2009.
  10. M.H. ter Beek, G. Faconti, M. Massink, P. Palanque, and M. Winckler, "Resilience of Interaction Techniques to Interrupts. A Formal Model-Based Approach", Proc. of the 12th IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2009), T. Gross, J. Gulliksen, P. Kotzé, L. Oestreicher, P. Palanque, R. Oliveira Prates, and M. Winckler editors, Springer, LNCS 5726:494-509, Uppsala (Sweden), August 2009.
  11. V. Cortellessa, A. Di Marco, R. Eramo, A. Pierantonio, and C. Trubiani, "Approaching the Model-Driven Generation of Feedback to Remove Software Performance Flaws", Proc. of the 35th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2009), Euromicro, pages 162-169, Patras (Greece), August 2009.
  12. R. De Nicola, D. Latella, M. Loreti, and M. Massink, "MarCaSPiS: A Markovian Extension of a Calculus for Services", Proc. of the 5th Workshop on Structural Operational Semantics (SOS 2008), M. Hennessy and B. Klin editors, Elsevier, ENTCS 229(4):11-26, Reykjavik (Iceland), August 2009.
  13. J. Sproston, "Strict Divergence for Probabilistic Timed Automata", Proc. of the 20th International Conference on Concurrency Theory (CONCUR 2009), M. Bravetti and G. Zavattaro editors, Springer, LNCS 5710:620-636, Bologna (Italy), September 2009.
  14. P.-A. Reynier and A. Sangnier, "Weak Time Petri Nets Strike Back!", Proc. of the 20th International Conference on Concurrency Theory (CONCUR 2009), M. Bravetti and G. Zavattaro editors, Springer, LNCS 5710:557-571, Bologna (Italy), September 2009.
  15. E. André, L. Fribourg, and J. Sproston, "An Extension of the Inverse Method to Probabilistic Timed Automata", Proc. of the 9th International Workshop on Automated Verification of Critical Systems (AVOCS 2009), M. Roggenbach editor, Electronic Communications of the EASST 23:1-18, Newtown (UK), September 2009.
  16. M. Bernardo, "Markovian Testing Equivalence and Exponentially Timed Internal Actions", Proc. of the 1st International Workshop on Quantitative Formal Methods (QFM 2009), S. Andova, A. McIver, P. D'Argenio, P. Cuijpers, J. Markovski, C. Morgan, and M. Nunez editors, EPTCS 13:13-25, Eindhoven (The Netherlands), November 2009.
  17. D. Perez-Palacin, J. Merseguer, and S. Bernardi, "Performance Aware Open-World Software in a 3-Layer Architecture", Proc. of the 1st Joint WOSP/SIPEW International Conference on Performance Engineering (WOSP/SIPEW 2010), ACM, pages 49-56, San José (USA), January 2010.
  18. A. Aldini, "Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior", Proc. of the 8th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), A. Di Pierro and G. Norman editors, EPTCS 28:1-15, Paphos (Cyprus), March 2010.
  19. L. Berardinelli, V. Cortellessa, A. Di Marco, "Performance Modeling and Analysis of Context-Aware Mobile Software Systems", Proc. of the 13th Conference on Fundamental Approaches to Software Engineering (FASE 2010), D.S. Rosenblum and G. Taentzer editors, Springer, LNCS 6013:353-367, Paphos (Cyprus), March 2010 (EASST Best Paper Award).
  20. V. Cortellessa, A. Martens, R. Reussner, and C. Trubiani, "A Process to Effectively Identify Guilty Performance Antipatterns", Proc. of the 13th Conference on Fundamental Approaches to Software Engineering (FASE 2010), D.S. Rosenblum and G. Taentzer editors, Springer, LNCS 6013:368-382, Paphos (Cyprus), March 2010.
  21. V. Cortellessa, A. Di Marco, and C. Trubiani, "Performance Antipatterns as Logical Predicates", Proc. of 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2010), IEEE Computer Society, pages 146-156, Oxford (UK), March 2010.
  22. V. Cortellessa, R. Mirandola, and P. Potena, "Selecting Optimal Maintenance Plans Based on Cost/Reliability Tradeoffs for Software Subject to Structural and Behavioral Changes", Proc. of the 14th European Conference on Software Maintenance and Reengineering (CSMR 2010), IEEE Computer Society, pages 21-30, Madrid (Spain), March 2010.
  23. S. Bernardi, J. Merseguer, and R.R. Lutz, "Reliability and Availability Requirements Engineering Within the Unified Process Using a Dependability Analysis and Modeling Profile", Proc. of the 8th European Dependable Computing Conference (EDCC 2010), IEEE Computer Society, pages 95-104, Valencia (Spain), April 2010.
  24. R. Rodríguez, J. Merseguer, and S. Bernardi, "Modelling and Analysis Resilience as a Security Issue Within UML", Proc. of the 2nd International Workshop on Software Engineering for Resilient Systems (SERENE 2010), ACM, London (UK), April 2010.
  25. M. Bernardo, "On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions", Proc. of the 1st International Symposium on Games, Automata, Logics and Formal Verification (GANDALF 2010), A. Montanari, M. Napoli, and D. Parente editors, EPTCS 25:199-213, Minori (Italy), June 2010.
  26. V. Cortellessa, C. Trubiani, L. Mostarda, and N. Dulay, "An Architectural Framework for Analyzing Tradeoffs Between Software Security and Performance", Proc. of the 1st International Symposium on Architecting Critical Systems (ISARCS 2010), H. Giese editor, Springer, LNCS 6150:1-18, Prague (Czech Republic), June 2010.
  27. E. Amparore and S. Donatelli, "Model Checking CSLTA with Deterministic and Stochastic Petri Nets", Proc. of the 40th International Conference on Dependable Systems and Networks (DSN 2010), IEEE Computer Society, pages 605-614, Chicago (USA), June-July 2010.
  28. M. Bernardo, R. De Nicola, and M. Loreti, "Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes", Proc. of the 5th International Symposium on Trustworthy Global Computing (TGC 2010), M. Wirsing, M. Hofmann, and A. Rauschmayer editors, Springer, LNCS 6084:35-56, Munich (Germany), August 2010.
  29. J. Sproston and A. Troina, "Simulation and Bisimulation for Probabilistic Timed Automata", Proc. of the 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2010), K. Chatterjee and T.A. Henzinger editors, Springer, LNCS 6246:213-227, Klosterneuburg (Austria), September 2010.
  30. M. Massink, D. Latella, A. Bracciali, and J. Hillston, "Modelling Crowd Dynamics in Bio-PEPA", Proc. of the 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010), J.T. Bradley and R.A. Hayden editors, pages 7-17, London (UK), September 2010.
  31. M. Massink, D. Latella, A. Bracciali, and M.D. Harrison, "A Scalable Fluid Flow Algebraic Approach to Emergency Egress Analysis", Proc. of the 8th International Conference on Software Engineering and Formal Methods (SEFM 2010), IEEE Computer Society, pages 169-180, Pisa (Italy), September 2010.
  32. L. Berardinelli, V. Cortellessa, A. Di Marco, "A Profile-Driven Environment for Modeling and Analyzing Context-Aware Software Services", Proc. of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2010), Euromicro, pages 199-208, Lille (France), September 2010.
  33. E. Amparore and S. Donatelli, "MC4CSLTA: An Efficient Model Checking Tool for CSLTA", Proc. of the 7th International Conference on the Quantitative Evaluation of Systems (QEST 2010), IEEE Computer Society, pages 153-154, Williamsburg (USA), September 2010.
  34. D. Codetta-Raiteri and L. Portinale, "Generalized Continuous Time Bayesian Networks and Their GSPN Semantics", Proc. of the 5th European Workshop on Probabilistic Graphical Models (PGM 2010), HIIT Publications, pages 105-112, Helsinki (Finland), September 2010.
  35. A. Aldini, M. Bernardo, and J. Sproston, "Performability Measure Specification: Combining CSRL and MSL", Proc. of the 16th ERCIM International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2011), G. Salaün and B. Schätz editors, Springer, LNCS 6959:165-179, Trento (Italy), August 2011.
  36. J. Sproston, "Discrete-Time Verification and Control for Probabilistic Rectangular Hybrid Automata", to appear in Proc. of the 8th International Conference on the Quantitative Evaluation of Systems (QEST 2011), IEEE Computer Society, Aachen (Germany), September 2011.
  37. M. Bernardo, "Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes", Proc. of the 6th International Symposium on Trustworthy Global Computing (TGC 2011), R. Bruni and V. Sassone editors, Springer, LNCS 7173:89-103, Aachen (Germany), September 2011.
  38. M. Bernardo, V. Cortellessa, and M. Flamminj, "TwoEagles: A Model Transformation Tool from Architectural Descriptions to Queueing Networks", Proc. of the 8th European Performance Engineering Workshop (EPEW 2011), N. Thomas editor, Springer, LNCS 6977:265-279, Borrowdale (UK), October 2011.
  39. M. Bernardo, "Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes", to appear in Proc. of the 10th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2012), M. Massink and H. Wiklicky editors, EPTCS, Tallinn (Estonia), April 2012.

Other publications

The following publications are listed in chronological order:
  1. A. Aldini, "A Note on the Approximation of Weak Probabilistic Bisimulation", paper presented at the 7th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2009), York (UK), March 2009.
  2. L. Berardinelli, S. Bernardi, V. Cortellessa, and J. Merseguer, "UML Profiles for Non-Functional Properties at Work: Analyzing Reliability, Availability and Performance", paper presented at the 2nd International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSM 2009), Denver (USA), October 2009.
  3. L. Berardinelli, V. Cortellessa, and A. Di Marco, "A Unified Approach to Model Non-Functional Properties of Mobile Context-Aware Software", paper presented at the 2nd International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSM 2009), Denver (USA), October 2009.
  4. F. Buti, M. Callisto De Donato, F. Corradini, M.R. Di Berardini, and W. Vogler, "Evaluating the Efficiency of Asynchronous Systems with FASE", short paper presented at the 1st International Workshop on Quantitative Formal Methods (QFM 2009), Eindhoven (The Netherlands), November 2009.
  5. V. Cortellessa, A. Di Marco, R. Eramo, A. Pierantonio, and C. Trubiani, "Digging into UML Models to Remove Performance Antipatterns", paper presented at the 1st International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS 2010), Cape Town (South Africa), May 2010.
  6. A. Aldini, "Behavioral Equivalences and Approximations", paper presented at the 12th Italian Conference on Theoretical Computer Science (ICTCS 2010), Camerino (Italy), September 2010.
  7. M. Bernardo, "Abstracting from Exponentially Timed Internal Actions", paper presented at the 9th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2011), Saarbrücken (Germany), April 2011.

Last update: Thu Feb 19 09:00:51 CET 2015