Items where Division is "Swen Jacobs (SJ)" and Year is 2020

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Author(s)/Creator(s) | Item Type | No Grouping
Jump to: J | N
Number of items: 3.

J

Jaber, Nouraldin and Jacobs, Swen and Wagner, Christopher and Kulkarni, Milind and Samanta, Roopsha
(2020) Parameterized Verification of Systems with Global Synchronization and Guards.
In: CAV 2020.
Conference: CAV Computer Aided Verification
(In Press)

Jacobs, Swen and Sakr, Mouhammad and Zimmermann, Martin
(2020) Promptness and Bounded Fairness in Concurrent and Parameterized Systems.
In: VMCAI 2020.
Conference: VMCAI Verification, Model Checking and Abstract Interpretation
(In Press)

N

Nemati, Hamed and Buiras, Pablo and Lindner, Andreas and Guanciale, Roberto and Jacobs, Swen
(2020) Validation of Abstract Side-Channel Models for Computer Architectures.
In: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I.
Conference: CAV Computer Aided Verification

This list was generated on Mon Dec 2 20:22:13 2024 CET.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.