Parametric Analysis of Computer Systems
Formal Methods in System Design
Parametric temporal logic for “model measuring”
ACM Transactions on Computational Logic (TOCL)
Parametric Temporal Logic for "Model Measuring"
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
On Presburger Liveness of Discrete Timed Automata
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Parametric Optimization of Open Real-Time Systems
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Reachability solution characterization of parametric real-time systems
Theoretical Computer Science - Implementation and application of automata
Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Towards Parametric Verification of Prioritized Time Petri Nets
PaCT '09 Proceedings of the 10th International Conference on Parallel Computing Technologies
Decision problems for lower/upper bound parametric timed automata
Formal Methods in System Design
Timing parameter characterization of real-time systems
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
Parametric metric interval temporal logic
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
Decision problems for lower/upper bound parametric timed automata
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Integer parameter synthesis for timed automata
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Discrete Event Dynamic Systems
Hi-index | 0.02 |