SPLASH Workshop/Symposium Events 2022
2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Events 2022)
Powered by
Conference Publishing Consulting

8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2022), December 7, 2022, Auckland, New Zealand

Workshop FTSCS 2022 – Author Index

Contents - Abstracts - Authors

A B C D G H J K L M O P Q R S T V Z

Abdelghany, Mohamed FTSCS '22: "Formal Probabilistic Risk ..."
Ahmadi, Sharar FTSCS '22: "Proving Memory Access Violations ..."
André, Étienne FTSCS '22: "strategFTO: Untimed Control ..."
Arias, Jaime FTSCS '22: "Rewriting Logic Semantics ..."
Armstrong, Robert C. FTSCS '22: "Q: A Sound Verification Framework ..."
Ayele, Bereket FTSCS '22: "Synchronous Programming and ..."
Aytac, Jon M. FTSCS '22: "Q: A Sound Verification Framework ..."
Bae, Kyungmin FTSCS '22: "Rewriting Logic Semantics ..." FTSCS '22: "Bounded Model Checking of ..." FTSCS '22: "Symbolic Reachability Analysis ..."
Bekele, Bereket Ngussie FTSCS '22: "Synchronous Programming and ..."
Bender, John FTSCS '22: "Q: A Sound Verification Framework ..."
Beyer, Dirk FTSCS '22: "Cooperative Verification: ..."
Bolat, Shapagat FTSCS '22: "strategFTO: Untimed Control ..."
Britten, Daniel FTSCS '22: "Modelling a Blockchain for ..."
Chen, Jiawei FTSCS '22: "Synchronous Programming and ..."
Dongol, Brijesh FTSCS '22: "Proving Memory Access Violations ..."
Griffin, Matt FTSCS '22: "Proving Memory Access Violations ..."
Hulette, Geoffrey C. FTSCS '22: "Q: A Sound Verification Framework ..."
Jalili, Shayan FTSCS '22: "Synchronous Programming and ..."
Jeannin, Jean-Baptiste FTSCS '22: "Synchronous Programming and ..."
Kang, Byeongjee FTSCS '22: "Symbolic Reachability Analysis ..."
Kim, Sangki FTSCS '22: "Bounded Model Checking of ..."
Lee, Jaeseo FTSCS '22: "Bounded Model Checking of ..."
Lefaucheux, Engel FTSCS '22: "strategFTO: Untimed Control ..."
Mahmood, Raheel S. FTSCS '22: "Q: A Sound Verification Framework ..."
Marinho, Dylan FTSCS '22: "strategFTO: Untimed Control ..."
Morris, Karla FTSCS '22: "Q: A Sound Verification Framework ..."
Olarte, Carlos FTSCS '22: "Rewriting Logic Semantics ..."
Ölveczky, Peter Csaba FTSCS '22: "Rewriting Logic Semantics ..."
Petrucci, Laure FTSCS '22: "Rewriting Logic Semantics ..."
Pollard, Samuel D. FTSCS '22: "Q: A Sound Verification Framework ..."
Qu, Zhemin FTSCS '22: "Synchronous Programming and ..."
Rawlings, Blake C. FTSCS '22: "Q: A Sound Verification Framework ..."
Reeves, Steve FTSCS '22: "Modelling a Blockchain for ..."
Rømming, Fredrik FTSCS '22: "Rewriting Logic Semantics ..."
Sharma, Pranjal FTSCS '22: "Synchronous Programming and ..."
Shiferaw, Tigist FTSCS '22: "Synchronous Programming and ..."
Tahar, Sofiène FTSCS '22: "Formal Probabilistic Risk ..."
Vargas de Mendonça, José Luiz FTSCS '22: "Synchronous Programming and ..."
Zhang, Yicheng FTSCS '22: "Synchronous Programming and ..."

39 authors

proc time: 8.65