Author's search
Search query
Career Stage
Junior Researcher Senior LeadingGender
Female MaleCountry
Sort by
ONE Index Relevance Docs
670 authors found
quering by "Reachability problem"
.
Showing
the first 25
sort by ONE Index.
|
911
One Index
|
Vaandrager, Frits PhD 0000-0003-3955-1910 |
237 docs (1986 - 2024)
Model Checking , Temporal Logic , Timed automaton , Bisimulation , Synchronizing Automata |
|
897
One Index
|
Vafeiadis, Viktor PhD 0000-0001-8436-0334 |
137 docs (2004 - 2024)
Memory model , x86 , Consistency , Model Checking , Multicore Architectures |
|
894
One Index
|
Worrell, James PhD 0000-0001-8151-2443 |
325 docs (1998 - 2024)
Temporal Logic , Undecidable problem , Model Checking , Synchronizing Automata , Probabilistic Systems |
|
888
One Index
|
Esparza, Javier PhD 0000-0001-9862-4919 |
380 docs (1989 - 2024)
Model Checking , Stochastic Petri Nets , Petri Nets , Runtime Verification , Safety Verification |
|
886
One Index
|
Tsotras, Vassilis PhD 0000-0001-5462-9451 |
305 docs (1990 - 2024)
Query Optimization , Column-oriented Database Systems , Trajectory Data Mining , Top-k Query Processing , Semantic Trajectories |
|
879
One Index
|
Majumdar, Rupak PhD 0000-0003-2136-0542 |
496 docs (1996 - 2024)
Model Checking , Abstraction , Runtime Verification , Temporal Logic , Probabilistic Systems |
|
878
One Index
|
Bouajjani, Ahmed PhD 0000-0002-2060-3592 |
258 docs (1989 - 2024)
Model Checking , Reachability problem , Undecidable problem , Symbolic Model Checker , Runtime Verification |
|
871
One Index
|
Walukiewicz, Igor PhD |
191 docs (1990 - 2023)
Model Checking , Temporal Logic , Pushdown automaton , Synchronizing Automata , Tree (set theory) |
|
863
One Index
|
Bouyer, Patricia PhD 0000-0002-2823-0911 |
222 docs (1998 - 2023)
Temporal Logic , Timed automaton , Model Checking , Undecidable problem , Reachability problem |
|
862
One Index
|
Raskin, Jean-Francois PhD 0000-0002-3673-1097 |
392 docs (1995 - 2024)
Stochastic game , Undecidable problem , Temporal Logic , Model Checking , Probabilistic Systems |
|
854
One Index
|
Li, Xuandong PhD 0000-0003-3090-9568 |
260 docs (1996 - 2024)
Model Checking , Automated Testing , Runtime Verification , Software Reliability Modeling , Hybrid Systems |
|
853
One Index
|
Zuleger, Florian PhD 0000-0003-1468-8398 |
118 docs (2008 - 2024)
Temporal Logic , Separation Logic , Fragment (logic) , Abstraction , Description Logics |
|
850
One Index
|
Abdulla, Parosh Aziz PhD 0000-0001-6832-6611 |
408 docs (1990 - 2024)
Model Checking , Runtime Verification , Undecidable problem , Symbolic Model Checker , Safety Verification |
|
850
One Index
|
Jancar, Petr PhD 0000-0002-8738-9850 |
193 docs (1987 - 2024)
Bisimulation , Stochastic Petri Nets , Undecidable problem , Model Checking , Petri Nets |
|
849
One Index
|
Bak, Stanley PhD 0000-0003-4947-9553 |
136 docs (2009 - 2024)
Model Checking , Cyber-physical system , Benchmark (surveying) , Hybrid Systems , Safety Verification |
|
846
One Index
|
Srba, Jiri PhD 0000-0001-5551-6547 |
206 docs (1998 - 2024)
Model Checking , Stochastic Petri Nets , Bisimulation , Temporal Logic , Process calculus |
|
843
One Index
|
Arcak, Murat PhD 0000-0001-9060-4032 |
437 docs (1998 - 2024)
Nonlinear Systems , Passivity , Robustness (evolution) , Stability Analysis , Robust Control |
|
838
One Index
|
Andrรฉ, รtienne PhD 0000-0001-8473-9555 |
190 docs (1997 - 2024)
Model Checking , Temporal Logic , Timed automaton , Timing Analysis , Runtime Verification |
|
832
One Index
|
Parlato, Gennaro PhD 0000-0002-8697-2980 |
88 docs (2003 - 2024)
Model Checking , Runtime Verification , Nondeterministic algorithm , Temporal Logic , Symbolic Model Checker |
|
831
One Index
|
Yovine, Sergio PhD 0000-0002-2737-4382 |
107 docs (1992 - 2022)
Model Checking , Runtime Verification , Timing Analysis , Hybrid Systems , Timed automaton |
|
828
One Index
|
Brรกzdil, Tomรกลก PhD 0000-0002-4547-3261 |
153 docs (2002 - 2024)
Probabilistic Systems , Stochastic game , Runtime Verification , Model Checking , Undecidable problem |
|
825
One Index
|
Frehse, Goran PhD 0000-0002-5441-0481 |
98 docs (2002 - 2023)
Model Checking , Hybrid Systems , Benchmark (surveying) , Safety Verification , Abstraction |
|
823
One Index
|
Casteigts, Arnaud PhD 0000-0002-7819-7013 |
121 docs (2005 - 2024)
Delay-Tolerant Networks , Opportunistic Routing , Dynamic Networks , Disruption-Tolerant Networks , Social Network Analysis |
|
823
One Index
|
Ouaknine, Joel PhD 0000-0003-0031-9356 |
275 docs (1999 - 2024)
Model Checking , Undecidable problem , Temporal Logic , Reachability problem , Runtime Verification |
|
816
One Index
|
Brihaye, Thomas PhD 0000-0001-5763-3130 |
141 docs (2004 - 2024)
Temporal Logic , Timed automaton , Subgame perfect equilibrium , Coordination Games , Model Checking |
