IFM 2022: 17TH INTERNATIONAL CONFERENCE ON INTEGRATED FORMAL METHODS

A
Aichernig, Bernhard K.	Learning Finite State Models from Recurrent Neural Networks
Almeida, José Bacelar	Verified Password Generation from Password Composition Policies
Arslanagić, Alen	Scalable Typestate Analysis for Low-Latency Environments
Aït-Ameur, Yamine	Empowering the Event-B Method Using External Theories Reachability Analysis and Simulation for Hybridised Event-B Models
B
Baramashetru, Chinmayi Prabhu	A Policy Language to Capture Compliance of Data Protection Requirements
Blatter, Lionel	Certified Verification of Relational Properties
Bloem, Roderick	Side Channel Secure Software
Bogomolov, Sergiy	Reachability Analysis and Simulation for Hybridised Event-B Models
Bonakdarpour, Borzoo	HyperPCTL Model Checking by Probabilistic Decomposition
C
Campos, João	Verified Password Generation from Password Composition Policies
Ciardo, Gianfranco	HyperPCTL Model Checking by Probabilistic Decomposition
D
de Boer, Martin	Formal Specification and Verification of JDK’s Identity Hash Map Implementation
de Gouw, Stijn	Formal Specification and Verification of JDK’s Identity Hash Map Implementation
Dennis, Louise A.	Verifying Autonomous Systems
Dixon, Clare	Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal
Dupont, Guillaume	Reachability Analysis and Simulation for Hybridised Event-B Models
F
Falcone, Yliès	Probabilistic Model Checking of BPMN Processes at Runtime
Farrell, Marie	Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal
Ferrando, Angelo	Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal
Ferreira, João F.	Verified Password Generation from Password Composition Policies
Forets, Marcelo	Conservative Time Discretization: A Comparative Study
G
Gao, Yang	Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal
Grilo, Miguel	Verified Password Generation from Password Composition Policies
Gruschka, Nils	A Policy Language to Capture Compliance of Data Protection Requirements
J
Jakobs, Marie-Christine	Reusing Predicate Precision in Value Analysis
Johansen, Nicklas S.	Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games
Jung, Christian	Formal Specification and Verification of JDK’s Identity Hash Map Implementation
K
Klamroth, Jonas	Formal Specification and Verification of JDK’s Identity Hash Map Implementation
Kluźniak, Feliks	Untangling the Graphs of Timed Automata to Decrease the Number of Clocks
Kolchin, Alexander	Extending Data Flow Coverage to Test Constraint Refinements
Kosmatov, Nikolai	Certified Verification of Relational Properties
Kær, Lasse B.	Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games
L
Le Gall, Pascale	Certified Verification of Relational Properties
Leuschel, Michael	Operation Caching and State Compression for Model Checking of High-Level Models
M
Madsen, Andreas L.	Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games
Mavrakis, Nikos	Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal
Mendes, Alexandra	Verified Password Generation from Password Composition Policies
Muškardin, Edi	Learning Finite State Models from Recurrent Neural Networks
N
Nielsen, Kristian Ø.	Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games
O
Owe, Olaf	A Policy Language to Capture Compliance of Data Protection Requirements
P
Pill, Ingo	Learning Finite State Models from Recurrent Neural Networks
Potiyenko, Stepan	Extending Data Flow Coverage to Test Constraint Refinements
Prevosto, Virgile	Certified Verification of Relational Properties
Pérez, Jorge A.	Scalable Typestate Analysis for Low-Latency Environments
S
Saeedloei, Neda	Untangling the Graphs of Timed Automata to Decrease the Number of Clocks
Salaün, Gwen	Probabilistic Model Checking of BPMN Processes at Runtime
Schilling, Christian	Conservative Time Discretization: A Comparative Study
Singh, Neeraj K.	Reachability Analysis and Simulation for Hybridised Event-B Models
Srba, Jiří	Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games
Stankaitis, Paulius	Reachability Analysis and Simulation for Hybridised Event-B Models
Subotić, Pavle	Scalable Typestate Analysis for Low-Latency Environments
T
Tapia Tarifa, S. Lizeth	A Policy Language to Capture Compliance of Data Protection Requirements
Tappler, Martin	Learning Finite State Models from Recurrent Neural Networks
Tollund, Rasmus G.	Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games
U
Ulbrich, Mattias	Formal Specification and Verification of JDK’s Identity Hash Map Implementation
W
Weigl, Alexander	Formal Specification and Verification of JDK’s Identity Hash Map Implementation
Z
Zaman, Eshita	HyperPCTL Model Checking by Probabilistic Decomposition
Zuo, Ahang	Probabilistic Model Checking of BPMN Processes at Runtime
Á
Ábrahám, Erika	HyperPCTL Model Checking by Probabilistic Decomposition

Disclaimer | Powered by EasyChair Smart Program