Articles with public access mandates - Jens OehlerkingLearn more
Not available anywhere: 1
Verification of orbitally self-stabilizing distributed algorithms using Lyapunov functions and Poincare maps
A Dhama, J Oehlerking, O Theel
12th International Conference on Parallel and Distributed Systems-(ICPADS'06 …, 2006
Mandates: German Research Foundation
Available somewhere: 6
Automating verification of cooperation, control, and design in traffic applications
W Damm, A Mikschl, J Oehlerking, ER Olderog, J Pang, A Platzer, ...
Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines …, 2007
Mandates: German Research Foundation
Towards component based design of hybrid systems: Safety and stability
W Damm, H Dierks, J Oehlerking, A Pnueli
Time for Verification: Essays in Memory of Amir Pnueli, 96-143, 2010
Mandates: German Research Foundation
Fully automated stability verification for piecewise affine systems
J Oehlerking, H Burchardt, O Theel
Hybrid Systems: Computation and Control: 10th International Workshop, HSCC …, 2007
Mandates: German Research Foundation
Decompositional construction of Lyapunov functions for hybrid systems
J Oehlerking, O Theel
Hybrid Systems: Computation and Control: 12th International Conference, HSCC …, 2009
Mandates: German Research Foundation
A decompositional proof scheme for automated convergence proofs of stochastic hybrid systems
J Oehlerking, O Theel
Automated Technology for Verification and Analysis: 7th International …, 2009
Mandates: German Research Foundation
The UnCoVerCPS Verification Approach to Automated Driving
D Heß, J Oehlerking, M Woehrle, J Sanchez Cubillo
Mandates: European Commission
Publication and funding information is determined automatically by a computer program