Personensuche
X
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
1
On-The-Fly Algorithm for Reachability in Parametric Timed G..:
, In:
?
Lecture Notes in Computer Science; Advances in Computer Games ,
2
Implicit QBF Encodings for Positional Games:
, In:
?
Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science ,
3
Correction to: The 2020 Expert Survey on Formal Methods:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
4
Fast Symbolic Computation of Bottom SCCs:
, In:
?
2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD) ,
5
Optimal Layout Synthesis for Quantum Circuits as Classical ..:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
6
Predicting Memory Demands of BDD Operations Using Maximum G..:
, In:
?
Lecture Notes in Computer Science; NASA Formal Methods ,
7
Adiar 1.1: Zero-Suppressed Decision Diagrams in External Me..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
9
A Truly Symbolic Linear-Time Algorithm for SCC Decompositio:
, In:
?
Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems ,
11
Efficient Convex Zone Merging in Parametric Timed Automata:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
12
Adiar Binary Decision Diagrams in External Memory:
, In:
?
Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Practice ,
14