• Guidelines for Short Term Scientific Missions (STSMs)
  • STSMs completed in 2015:
    • 1. Ezio Bartocci (Austria), visited Ylies Falcone (UJF, France). “Finalizing Paper on the RV Tools Competitions and Coordination of Actvities of Working Group 1” (July 27 2015 to August 8 2015).
    • 2. Gerardo Schneider (Chalmers, Sweden), visited Gordon Pace (U. of Malta, Malta). “How to combine DATEs, contract automata and privacy policies; and how to implement it in LARVA” (November 26, 2015 to December 5, 2015).
  • STSMs completed in 2016:
    • 3. Christian Colombo (University of Malta), visited Yliès Falcone (University of Grenoble, France). “Organising LTL Monitors over Distributed Systems with a Global Clock” and  “RV Summer School” (January 28, 2016 to February 10, 2016)
    • 4. Gordana Rakic (University of Novi-Sad, Serbia) visited Nuno Antunes, University of Coimbra, Portugal. “Towards the Support for Software Verification Techniques in SSQSA Framework: SOA Case Study” (May 2, 2016 to May 14, 2016).
    • 5. Martin Leucker (University of Lübeck, Germany), visited Ezio Bartocci, (University of Vienna, Austria). “Using abstraction and a hierarchy on monitors for monitoring
      efficiency”. (April 6, 2016 to April 11, 2016).
    • 6. Antonio Ravera (University of Caparica, Portugal) visited Mario Bravetti , (University of Bologna, Italy). “Behavioural Type Inference for Object-Oriented Languages” (June 20, 2016 to June 27, 2016).
    • 7. Mario Bravetti (University of Bologna, Italy) visited Simon Gay (University of Glasgow, UK). “Compositional Behavioural Type Inference for Object-Oriented Languages” (August 24, 2016 to August 31, 2016).
    • 8. Shaun Azzopardi (University of Malta, MT), visited Gerardo Schneider, University of Gothemborg, Sweden. “Combining CLarva and STaRVOOrS” (October 20, 2016 to October 30, 2016).
  • STSMs completed in 2017:
    • 9. Torben Scheffel (University of Lübeck, Germany), visited Juan de Lara (Universidad Autónoma de Madrid, Spain). “Integration of Runtime Verification into Metamodeling” (April 20, 2017 to April 28, 2017).
    • 10. Malte Schmitz (University of Lübeck, Germany), visited César Sánchez (IMDEA Software Institute, Spain).”TeSSLa: A Specification Language for Real-Time Properties of Asynchronous Streams” (April 17, 2017 to April 27, 2017).
    • 11. Christian Colombo (University of Malta, Malta), visited Petros Stefaneas (National Technical University of Athens, Athens, Greece). “RV industrial applications for smart contracts and airport-related problems” (May 15, 2017 to May 19, 2017).
    • 12. César Sánchez (IMDEA Software Institute, Spain), visited Martin Leucker (University of Lübeck, Germany).”Advanced semantics for a Real-Time Specification Language for Runtime Verification of Asynchronous Streams” (July 2, 2017 to July 8, 2017).
    • 13. Simone Silvetti (University of Udine, Italy), visited Ezio Bartocci (University of Vienna, Astria).  “Formal methods and Machine Learning approaches to the verification of complex systems” (June 12, 2017 to August 31, 2017).
    • 14. Nuno Antunes (University of Coimbra, Portugal) visited Zoran Budimac (University of Novi-Sad, Serbia). “Towards the Support for Software Verification Techniques for Services in SSQSA Framework” (Sep 3, 2017 to Sep 14, 2017).
    • 15. Nobuko Yoshida (Imperial, London, UK), visited Romain Damengon, (Université Pierre et Marie Curie, Paris, France). “Causal and Complexity Bound Analysis of Asynchronous Communications for Monitoring Distributed Systems”  (August 24, 2017 to August 30, 2017).
    • 16. Natasha Sharygina (USI, Lugano, CH), visited Hana Chokler (Kings College, London, UK). “Theory refinement for the rescue of the constraint languages-based verification” (November 5, 2017 to November 18, 2017).

STSM committee:

  • Tarmo Uustalu tarmo(at),
  • César Sánchez cesar.sanchez(at),
  • Martin Steffen msteffen(at)