Invited Talks

Fighting AI with AI: A Requirements-based Approach

Keynote, Software Engineering and AI Symposium, Hasso Plattner Institute, Germany; Host: Prof. Walid Maalej

Requirement Elicitation and Analysis with FRET

Invited lectures, SPACERAISE school, Italy, Hosts: Prof. Franco Raimondi and Patrizio Pelliccione

Let's Speak FRETish

Manchester University, UK, Hosts: Prof. Marie Farrell and Prof. Michael Fisher

Formal Requirements Elicitation With FRET

Technical University of Denmark; Host: Prof. Alberto Lluch Lafuente

Capturing and Analyzing Requirements with FRET

Invited tutorial, NASA Formal Methods (NFM) Symposium, USA

Formal Requirements Elicitation with FRET

Carnegie Mellon University Silicon Valley, USA; Host: Dr. Corina Pasareanu

Correct-by-Design Smart Contracts with VeriSolid and FRET

Institute of Industrial Science, University of Tokyo & NTT Research, Japan; Host: Prof. Kanta Matsuura

Bridging the Gap Between Requirements and Model Analysis

Cyber-Physical Systems Research Center, UC Santa Cruz, USA; Host: Prof. Ricardo Sanfelice

Resilient and Trustworthy Transactive Platform for Smart and Connected Communities

18th Annual High Confidence Software and Systems Conference (HCSS), USA

A Design Studio for Modeling, Analyzing, and Generating Systems with BIP

17th Annual High Confidence Software and Systems Conference (HCSS), USA

Modelling Architecture Styles

Institute for Systems Research, University of Maryland, USA; Host: Prof. John Baras