| Reverse Engineering Through Automata Learning. | 0 | 0.34 | 2021 |
| An Extension Of First-Order Ltl With Rules With Application To Runtime Verification | 0 | 0.34 | 2021 |
| Monitoring First-Order Interval Logic | 0 | 0.34 | 2021 |
| Control Synthesis Through Deep Learning. | 0 | 0.34 | 2019 |
| Chasing Errors Using Biasing Automata. | 1 | 0.35 | 2018 |
| Refining the Safety-Liveness Classification of Temporal Properties According to Monitorability. | 0 | 0.34 | 2018 |
| Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking. | 0 | 0.34 | 2018 |
| Efficient Runtime Verification of First-Order Temporal Properties. | 0 | 0.34 | 2018 |
| BDDs on the Run. | 1 | 0.35 | 2018 |
| DejaVu: A Monitoring Tool for First-Order Temporal Logic | 0 | 0.34 | 2018 |
| Runtime Verification: From Propositional To First-Order Temporal Logic | 0 | 0.34 | 2018 |
| Memory-Efficient Tactics For Randomized Ltl Model Checking | 0 | 0.34 | 2017 |
| Using Genetic Programming For Software Reliability | 1 | 0.36 | 2016 |
| Automatic Synthesis of Code Using Genetic Programming. | 1 | 0.36 | 2016 |
| Local and global fairness in concurrent systems | 0 | 0.34 | 2015 |
| Knowledge = Observation + Memory + Computation. | 1 | 0.37 | 2015 |
| Compositional Branching-Time Measurements. | 2 | 0.39 | 2014 |
| Using Statistical Model Checking for Measuring Systems. | 9 | 0.65 | 2014 |
| Synthesis Of Parametric Programs Using Genetic Programming And Model Checking | 2 | 0.39 | 2014 |
| Performance Evaluation of Process Partitioning Using Probabilistic Model Checking. | 0 | 0.34 | 2013 |
| Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic Programming. | 2 | 0.42 | 2013 |
| Synthesis of succinct systems | 4 | 0.50 | 2012 |
| Rapid Recovery For Systems With Scarce Faults | 5 | 0.47 | 2012 |
| Monitoring distributed systems using knowledge | 9 | 0.51 | 2011 |
| Model Checking | 0 | 0.34 | 2011 |
| Synthesis of distributed control through knowledge accumulation | 20 | 0.84 | 2011 |
| Efficient deadlock detection for concurrent systems. | 4 | 0.44 | 2011 |
| Knowledge based scheduling of distributed systems | 6 | 0.43 | 2010 |
| Code mutation in verification and automatic code correction | 18 | 0.74 | 2010 |
| Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers | 13 | 0.83 | 2009 |
| Efficient model checking for LTL with partial order snapshots | 1 | 0.35 | 2009 |
| Synthesizing solutions to the leader election problem using model checking and genetic programming | 15 | 0.70 | 2009 |
| Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers | 8 | 0.47 | 2009 |
| Discriminative Model Checking | 9 | 0.58 | 2008 |
| Model checking-based genetic programming with an application to mutual exclusion | 36 | 1.27 | 2008 |
| Automatic generation of path conditions for concurrent timed systems | 1 | 0.35 | 2008 |
| Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms | 30 | 1.15 | 2008 |
| Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings | 22 | 1.59 | 2008 |
| Detecting races in ensembles of message sequence charts | 3 | 0.39 | 2007 |
| 07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems | 0 | 0.34 | 2007 |
| Test case generation for ultimately periodic paths | 0 | 0.34 | 2007 |
| Efficient Model Checking for LTL with Partial Order Snapshots | 0 | 0.34 | 2006 |
| Model checking, testing and verification working together | 21 | 1.35 | 2005 |
| Enforcing Concurrent Temporal Behaviors | 2 | 0.40 | 2005 |
| Generating path conditions for timed systems | 0 | 0.34 | 2005 |
| Deciding Global Partial-Order Properties | 10 | 0.70 | 2005 |
| Calculating probabilities of real-time test cases | 2 | 0.37 | 2005 |
| Automatic Generation of Path Conditions for Timed Systems | 0 | 0.34 | 2004 |
| Specifying and Verifying Partial Order Properties Using Template MSCs | 12 | 0.65 | 2004 |
| Message Sequence Charts | 19 | 1.04 | 2003 |
