Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
Fri 21 May 2021 15:30 - 16:00 at FormaliSE Room - “North American East Coast”

We define a logical framework that permits runtime verification to take place when a monitor has incomplete information about the underlying trace. A stateful access control proxy has the capacity to turn events into sets of possible events, resulting in what we call a ``multi-trace''. We describe a model of both proxy and monitor as extensions of Mealy machines, and provide an algorithm to lift a classical monitor into a sound, loss-tolerant monitor. Experiments on various scenarios show that the approach can account for various types of data degradation and access limitations, provides a tighter verdict than existing works in some cases, and preserves scalable performance with respect to trace length and model size.

Fri 21 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:30 - 17:00
“North American East Coast”FormaliSE 2021 at FormaliSE Room
15:30
30m
Talk
Runtime Verification Under Access Restrictions
FormaliSE 2021
Rania Taleb Université du Québec à Chicoutimi, Raphael Khoury Université du Québec à Chicoutimi, Canada, Sylvain Hallé Université du Québec à Chicoutimi
Pre-print Media Attached
16:00
30m
Talk
Quantifying Faultiness: What Does It Mean to Have N Faults
FormaliSE 2021
Media Attached
16:30
30m
Talk
Checking temporal patterns of API usage without code execution
FormaliSE 2021
Erick Raelijohn University of Montreal, Michalis Famelis Université de Montréal, Houari Sahraoui Université de Montréal
Media Attached

Information for Participants
Fri 21 May 2021 15:30 - 17:00 at FormaliSE Room - “North American East Coast”
Info for room FormaliSE Room:

Go directly to this room on Clowdr