-
1
-
-
46249117256
-
Model checking duration calculus: A practical approach
-
Meyer, R., Faber, J., Hoenicke, J., Rybalchenko, A.: Model checking duration calculus: A practical approach. FACS 20(4-5), 481-505 (2008).
-
(2008)
FACS
, vol.20
, Issue.4-5
, pp. 481-505
-
-
Meyer, R.1
Faber, J.2
Hoenicke, J.3
Rybalchenko, A.4
-
2
-
-
38149030878
-
Automating verification of cooperation, control, and design in traffic applications
-
Jones, C.B. Liu, Z. Woodcock, J. (eds.), LNCS, vol. 4700, Springer, Heidelberg
-
Damm, W., Mikschl, A., Oehlerking, J., Olderog, E.R., Pang, J., Platzer, A., Segelken, M., Wirtz, B.: Automating verification of cooperation, control, and design in traffic applications. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) Formal Methods and Hybrid Real-Time Systems. LNCS, vol. 4700, Springer, Heidelberg (2007).
-
(2007)
Formal Methods and Hybrid Real-time Systems
-
-
Damm, W.1
Mikschl, A.2
Oehlerking, J.3
Olderog, E.R.4
Pang, J.5
Platzer, A.6
Segelken, M.7
Wirtz, B.8
-
3
-
-
34548804054
-
Model checking genetic regulatory networks with parameter uncertainty
-
Bemporad, A. Bicchi, A. Buttazzo, G. (eds.), LNCS, vol. 4416, Springer, Heidelberg
-
Batt, G., Belta, C., Weiss, R.: Model checking genetic regulatory networks with parameter uncertainty. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, Springer, Heidelberg (2007).
-
(2007)
HSCC 2007
-
-
Batt, G.1
Belta, C.2
Weiss, R.3
-
4
-
-
33747356808
-
Automatic symbolic verification of embedded systems
-
Alur, R., Henzinger, T.A., Ho, P.H.: Automatic symbolic verification of embedded systems. IEEE Trans. Software Eng. 22(3), 181-201 (1996).
-
(1996)
IEEE Trans. Software Eng.
, vol.22
, Issue.3
, pp. 181-201
-
-
Alur, R.1
Henzinger, T.A.2
Ho, P.H.3
-
6
-
-
67249090812
-
The theory of hybrid automata
-
IEEE CS Press, Los Alamitos
-
Henzinger, T.A.: The theory of hybrid automata. In: LICS, IEEE CS Press, Los Alamitos (1996).
-
(1996)
LICS
-
-
Henzinger, T.A.1
-
7
-
-
33646196701
-
Algorithmic algebraic model checking II
-
Peled, D.A. Tsay, Y.-K. (eds.), LNCS, vol. 3707, Springer, Heidelberg
-
Mysore, V., Piazza, C., Mishra, B.: Algorithmic algebraic model checking II. In: Peled, D.A., Tsay, Y.-K. (eds.) ATVA 2005. LNCS, vol. 3707, pp. 217-233. Springer, Heidelberg (2005).
-
(2005)
ATVA 2005
, pp. 217-233
-
-
Mysore, V.1
Piazza, C.2
Mishra, B.3
-
8
-
-
24344447320
-
PHAVer: Algorithmic verification of hybrid systems past HyTech
-
Morari, M. Thiele, L. (eds.), LNCS, vol. 3414, Springer, Heidelberg
-
Frehse, G.: PHAVer: Algorithmic verification of hybrid systems past HyTech. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 258-273. Springer, Heidelberg (2005).
-
(2005)
HSCC 2005
, pp. 258-273
-
-
Frehse, G.1
-
9
-
-
4243189286
-
Counterexample-guided abstraction refinement for symbolic model checking
-
Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement for symbolic model checking. J. ACM 50(5) (2003).
-
(2003)
J. ACM
, vol.50
, Issue.5
-
-
Clarke, E.1
Grumberg, O.2
Jha, S.3
Lu, Y.4
Veith, H.5
-
10
-
-
50849102004
-
Differential dynamic logic for hybrid systems
-
Platzer, A.: Differential dynamic logic for hybrid systems. J. Autom. Reasoning 41(2), 143-189 (2008).
-
(2008)
J. Autom. Reasoning
, vol.41
, Issue.2
, pp. 143-189
-
-
Platzer, A.1
-
11
-
-
53049084777
-
KeYmaera: A hybrid theorem prover for hybrid systems
-
Armando, A. Baumgartner, P. Dowek, G. (eds.), LNCS (LNAI), vol. 5195, Springer, Heidelberg
-
Platzer, A., Quesel, J.D.: KeYmaera: A hybrid theorem prover for hybrid systems. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 171-178. Springer, Heidelberg (2008), http://symbolaris.com/info/KeYmaera.html.
-
(2008)
IJCAR 2008
, pp. 171-178
-
-
Platzer, A.1
Quesel, J.D.2
-
12
-
-
67650245125
-
Logical verification and systematic parametric analysis in train control
-
Egerstedt, M. Mishra, B. (eds.), LNCS, vol. 4981, Springer, Heidelberg
-
Platzer, A., Quesel, J.D.: Logical verification and systematic parametric analysis in train control. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol. 4981, pp. 646-649. Springer, Heidelberg (2008).
-
(2008)
HSCC 2008
, pp. 646-649
-
-
Platzer, A.1
Quesel, J.D.2
-
13
-
-
63449098576
-
A counterexample-guided approach to parameter synthesis for linear hybrid automata
-
Egerstedt, M. Mishra, B. (eds.), LNCS, vol. 4981, Springer, Heidelberg
-
Frehse, G., Jha, S.K., Krogh, B.H.: A counterexample-guided approach to parameter synthesis for linear hybrid automata. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol. 4981, pp. 187-200. Springer, Heidelberg (2008).
-
(2008)
HSCC 2008
, pp. 187-200
-
-
Frehse, G.1
Jha, S.K.2
Krogh, B.H.3
-
14
-
-
0000274688
-
A game theoretic approach to controller design for hybrid systems
-
Tomlin, C., Lygeros, J., Sastry, S.: A Game Theoretic Approach to Controller Design for Hybrid Systems. Proceedings of IEEE 88, 949-969 (2000).
-
(2000)
Proceedings of IEEE
, vol.88
, pp. 949-969
-
-
Tomlin, C.1
Lygeros, J.2
Sastry, S.3
-
15
-
-
38149116527
-
Automated verification for train control systems
-
Peleska, J., Große, D., Haxthausen, A.E., Drechsler, R.: Automated verification for train control systems. In: FORMS/FORMAT (2004).
-
(2004)
FORMS/FORMAT
-
-
Peleska, J.1
Große, D.2
Haxthausen, A.E.3
Drechsler, R.4
-
16
-
-
70350241662
-
Requirements validation for hybrid systems
-
Bouajjani, A. Maler, O. (eds.), LNCS, vol. 5643. Springer, Heidelberg
-
Cimatti, A., Roveri, M., Tonetta, S.: Requirements validation for hybrid systems. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643. Springer, Heidelberg (2009).
-
(2009)
CAV 2009
-
-
Cimatti, A.1
Roveri, M.2
Tonetta, S.3
-
17
-
-
78650599242
-
European train control system: A case study in formal verification
-
ISSN: 1860-9821, avacs.org
-
Platzer, A., Quesel, J.D.: European train control system: A case study in formal verification. Report 54, SFB/TR 14 AVACS, ISSN: 1860-9821, avacs.org (2009).
-
(2009)
Report 54, SFB/TR 14 AVACS
-
-
Platzer, A.1
Quesel, J.D.2
-
18
-
-
69049113824
-
Computing differential invariants of hybrid systems as fixedpoints
-
Special CAV 2008 issue
-
Platzer, A., Clarke, E.M.: Computing differential invariants of hybrid systems as fixedpoints. Form. Methods Syst. Des. 35(1), 98-120 (2009) Special CAV 2008 issue.
-
(2009)
Form. Methods Syst. Des.
, vol.35
, Issue.1
, pp. 98-120
-
-
Platzer, A.1
Clarke, E.M.2
-
19
-
-
76649134805
-
Differential-algebraic dynamic logic for differential-algebraic programs
-
doi:10.1093/logcom/exn070
-
Platzer, A.: Differential-algebraic dynamic logic for differential-algebraic programs. J. Log. Comput (2008), doi:10.1093/logcom/ exn070.
-
(2008)
J. Log. Comput
-
-
Platzer, A.1
|