Publications

For authors: Please add “This article is based upon work from COST Action ARVI IC1402, supported by COST (European Cooperation in Science and Technology).” to acknowledge the support by COST.

2016

  • Dilian Gurov, Klaus Havelund, Marieke Huisman, Rosemary Monahan, Static and Runtime Verification, Competitors or Friends? (Track Summary). In 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation – ISoLA’16 (1), volume 9952 of LNCS, pages 397 – 401. Springer, 10-14 October 2016.
  • Christian Colombo and Ylies Falcone, Organising LTL Monitors over Distributed Systems with a Global Clock, in Formal Methods in System Design, 49(1-2): 109-158, 2016.
  • Christian Colombo and Yliès Falcone, First International Summer School on Runtime Verification – As Part of the ArVi COST Action 1402, Runtime Verification, volume 10012 of LNCS, pages 17-20, 2016.
  • Gordon Pace, Raúl Pardo, and Gerardo Schneider. On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks. In 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation – ISoLA’16 (2); Track: Runtime Verification and Enforcement, the (industrial) application perspective, volume 9953 of LNCS, pages 407-412. Springer, 10-14 October 2016.
  • Gerardo Schneider. On the Specification and Enforcement of Privacy-Preserving Contractual Agreements. In 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation – ISoLA’16 (2); Track: Runtime Verification and Enforcement, the (industrial) application perspective, volume 9953 of LNCS, pages 413-419. Springer, 10-14 October 2016.
  • Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, and Gerardo Schneider. Contract Automata: An Operational View of Contracts Between Interactive Parties. Artificial Intelligence and Law, 24(3):203-243, September 2016.
  • Raúl Pardo, Ivana Kellyérová, César Sánchez, and Gerardo Schneider. Specification of Evolving Privacy Policies for Online Social Networks. In 23rd International Symposium on Temporal Representation and Reasoning (TIME’16). IEEE CPS, 2016. To Appear.
  • Raúl Pardo, Christian Colombo, Gordon Pace, and Gerardo Schneider. An Automata-based Approach to Evolving Privacy Policies for Social Networks. In The 16th International Conference on Runtime Verification (RV’16), volume 10012 of LNCS, pages 285-301. Springer, 2016.
  • Ezio Bartocci, Thang Nguyen, Radu Grosu, Stefan Jaksic, Dejan Nickovic, Konstantin Selyunin, The HARMONIA project: Hardware Monitoring for Automotive Systems-of-Systems, In Proc. of ISoLA 2016: the 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Springer, Lecture Notes in Computer Science, 2016, to appear
  • Ezio Bartocci, Ylies Falcone, Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction), In Proc. of ISoLA 2016: the 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Springer, Lecture Notes in Computer Science, 2016, to appear
  • Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Radu Grosu, Applying Runtime Monitoring for Automotive Electronic Development, In Proc. of RV 2016: the 7th International Conference on Runtime Verification, Springer, Lecture Notes in Computer Science, 2016, to appear
  • Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic, Quantitative Monitoring of STL with Edit Distance, In Proc. of RV 2016: the 7th International Conference on Runtime Verification, Springer, Lecture Notes in Computer Science, 2016, to appear
  • Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Monitoring of MTL Specifications With IBM’s Spiking-Neuron Model, In Proc. of DATE 2016: the 2016 Design, Automation & Test in Europe Conference & Exhibition, IEEE Computer Society, pp. 924-929, 2016
  • Ezio Bartocci, Ebru Aydin-Gol, Iman Haghighi, Calin Belta, A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks, accepted in IEEE Transactions on Control of Network Systems, (in press), 2016
  • Ezio Bartocci, Luca Bortolussi, Tomas Brazdil, Dimitrios Milios, Guido Sanguinetti, Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent, In Proc. of QEST 2016: the 13th International Conference on Quantitative Evaluation of SysTems, Springer, Lecture Notes in Computer Science, vol. 9826, pp. 244–259, 2016
  • Alena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Temporal Logic as Filtering. In Proc. of HSCC’16: the 19th International Conference on Hybrid Systems: Computation and Control, pp. 11-20, ACM, 2016 (Best Student Runner-up Paper Award)
  • Antoine El-Hokayem, Yliès Falcone, and Mohamad Jaber.
    Modularizing Crosscutting Concerns in Component-Based Systems.
    In SEFM 2016: 14th International Conference on
    Software Engineering and Formal Methods. Pre-print. To appear.
  • Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel
    Thoma: Runtime Monitoring with Union-Find Structures. In Marsha Chechik,
    Jean-François Raskin (Eds.): International Conference on Tools and
    Algorithms for the Construction and Analysis of Systems, International
    Conference, TACAS 2016, LNCS 9636, Springer (2016).
  • Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz. Monitoring Multi-threaded Component-based Systems.
    In Proc. of iFM 2016, the 12th international conference on integrated Formal Methods. To Appear. Pre-print.
  • Yliès Falcone, Thierry Jéron, Hervé Marchand, Srinivas Pinisetty. Runtime enforcement of regular timed properties by suppressing and delaying events.
    In SCP: Science of Computer Programming. Pre-print. Online editor version.

2015

  • Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti, System Design of Stochastic Models using Robustness of Temporal Properties. In Theoretical Computer Science, vol. 587, pp. 3-25, 2015
  • Stefan Jaksic, Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic, From Signal Temporal Logic to FPGA Monitors. In Proc. of MEMOCODE 2015: the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design, ACM, pp. to appear, 2015
  • Ezio Bartocci, Luca Bortolussi, Dimitrios Milios, Laura Nenzi, Guido Sanguinetti, Studying Emergent Behaviours in Morphogenesis using Signal Spatio-Temporal Logic. In Proc. of HSB 15: the 4th International Workshop on Hybrid Systems Biology, LNCS, vol. , pp. to Appear, 2015
  • Giles Reger and David E. Rydeheard. From First-order Temporal Logic to Parametric Trace Slicing. In Proc. of RV 15: the 15th International Conference on Runtime Verification, pp. 216-232, 2015
  • Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand. Enforcement of (Timed) Properties with Uncontrollable Events. ICTAC 2015, LNCS, pp. 542-560, 2015. Pre-print.
  • Ali Kassem, Yliès Falcone, Pascal Lafourcade. Monitoring Electronic Exams. RV 2015, LNCS, pp. 118-135, 2015. Pre-print.
  • Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand. TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. RV 2015, LNCS, pp. 306-320, 2015. Pre-print.
  • Yliès Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma. Second International Competition on Runtime Verification CRV 2015. RV 2015, LNCS, pp. 405-422, 2015. Pre-print.