-
1
-
-
0036722737
-
Formula-dependent equivalence for compositional CTL model checking
-
A. Aziz, T. Shiple, V. Singhal, R. Brayton, and A. Sangiovanni- Vincentelli, "Formula-dependent equivalence for compositional CTL model checking," Formal Methods in System Design, vol. 21, pp. 193-224, 2002.
-
(2002)
Formal Methods in System Design
, vol.21
, pp. 193-224
-
-
Aziz, A.1
Shiple, T.2
Singhal, V.3
Brayton, R.4
Sangiovanni-Vincentelli, A.5
-
2
-
-
73449144443
-
DiVinE 2.0: High-Performance Model Checking
-
IEEE Computer Society Press
-
J. Barnat, L. Brim, and P. Ročkai, "DiVinE 2.0: High-Performance Model Checking," in High Performance Computational Systems Biology (HiBi). IEEE Computer Society Press, 2009, pp. 31-32.
-
(2009)
High Performance Computational Systems Biology (HiBi)
, pp. 31-32
-
-
Barnat, J.1
Brim, L.2
Ročkai, P.3
-
3
-
-
84860513120
-
Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coli
-
G. Batt, D. Ropers, H. de Jong, J. Geiselmann, R. Mateescu, M. Page, and D. Schneider, "Validation of qualitative models of genetic regulatory networks by model checking : Analysis of the nutritional stress response in Escherichia coli," Bioinformatics, vol. 21, no. Suppl.1, pp. i19-i28, 2005.
-
(2005)
Bioinformatics
, vol.21
, Issue.SUPPL. 1
-
-
Batt, G.1
Ropers, D.2
De Jong, H.3
Geiselmann, J.4
Mateescu, R.5
Page, M.6
Schneider, D.7
-
4
-
-
84944382587
-
Minimal model generation
-
A. Bouajjani, J.-C. Fernandez, and N. Halbwachs, "Minimal model generation," in Computer-Aided Verification (CAV), vol. 531, 1990, pp. 197-203.
-
(1990)
Computer-Aided Verification (CAV)
, vol.531
, pp. 197-203
-
-
Bouajjani, A.1
Fernandez, J.-C.2
Halbwachs, N.3
-
5
-
-
0035441462
-
Verification of infinite-state dynamic systems using approximate quotient transition systems
-
A. Chutinan and B. H. Krogh, "Verification of infinite-state dynamic systems using approximate quotient transition systems," IEEE Trans. Autom. Control, vol. 46, no. 9, pp. 1401-1410, 2001.
-
(2001)
IEEE Trans. Autom. Control
, vol.46
, Issue.9
, pp. 1401-1410
-
-
Chutinan, A.1
Krogh, B.H.2
-
6
-
-
84937557946
-
NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking
-
A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella, "NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking," in Computer-Aided Verification (CAV), vol. 2404, 2002.
-
(2002)
Computer-Aided Verification (CAV)
, vol.2404
-
-
Cimatti, A.1
Clarke, E.2
Giunchiglia, E.3
Giunchiglia, F.4
Pistore, M.5
Roveri, M.6
Sebastiani, R.7
Tacchella, A.8
-
7
-
-
3042559983
-
Abstraction and counterexample-guided refinement in model checking of hybrid systems
-
E. Clarke, A. Fehnker, Z. Han, B. Krogh, J. Ouaknine, O. Stursberg, and M. Theobald, "Abstraction and counterexample-guided refinement in model checking of hybrid systems," International Journal of Foundations of Computer Science, vol. 14, no. 4, pp. 583-604, 2003.
-
(2003)
International Journal of Foundations of Computer Science
, vol.14
, Issue.4
, pp. 583-604
-
-
Clarke, E.1
Fehnker, A.2
Han, Z.3
Krogh, B.4
Ouaknine, J.5
Stursberg, O.6
Theobald, M.7
-
9
-
-
33847000790
-
Non-deterministic temporal logics for general flow systems
-
J. Davoren, V. Coulthard, N. Markey, and T. Moor, "Non-deterministic temporal logics for general flow systems," in Hybrid Systems: Computation and Control, 2004, pp. 280-295.
-
(2004)
Hybrid Systems: Computation and Control
, pp. 280-295
-
-
Davoren, J.1
Coulthard, V.2
Markey, N.3
Moor, T.4
-
11
-
-
0034688174
-
Construction of a genetic toggle switch in Escherichia coli
-
T. Gardner, C. Cantor, and J. Collins, "Construction of a genetic toggle switch in Escherichia coli." Nature, vol. 403, no. 6767, pp. 339-342, 2000.
-
(2000)
Nature
, vol.403
, Issue.6767
, pp. 339-342
-
-
Gardner, T.1
Cantor, C.2
Collins, J.3
-
12
-
-
33645593784
-
LTL with past and two-way very-weak alternating automata
-
P. Gastin and D. Oddoux, "LTL with past and two-way very-weak alternating automata," in Proc. MFCS'03, vol. 2747, 2003, pp. 439-448.
-
(2003)
Proc. MFCS'03
, vol.2747
, pp. 439-448
-
-
Gastin, P.1
Oddoux, D.2
-
13
-
-
0035400417
-
Equivalence of hybrid dynamical models
-
W. P. M. H. Heemels, B. D. Schutter, and A. Bemporad, "Equivalence of hybrid dynamical models," Automatica, vol. 37, no. 7, pp. 1085-1091, 2001.
-
(2001)
Automatica
, vol.37
, Issue.7
, pp. 1085-1091
-
-
Heemels, W.P.M.H.1
Schutter, B.D.2
Bemporad, A.3
-
14
-
-
24344509925
-
Comparison of four procedures for the identification of hybrid systems
-
A. L. Juloski,W. Heemels, G. Ferrari-Trecate, R. Vidal, S. Paoletti, and J. Niessen, "Comparison of four procedures for the identification of hybrid systems," in Hybrid Systems: Computation and Control, 2005, vol. 3414, pp. 354-369.
-
(2005)
Hybrid Systems: Computation and Control
, vol.3414
, pp. 354-369
-
-
Juloski, A.L.1
Heemels, W.2
Ferrari-Trecate, G.3
Vidal, R.4
Paoletti, S.5
Niessen, J.6
-
17
-
-
0242366144
-
Bisimilar linear systems
-
G. J. Pappas, "Bisimilar linear systems," Automatica, vol. 39, no. 12, pp. 2035-2047, 2003.
-
(2003)
Automatica
, vol.39
, Issue.12
, pp. 2035-2047
-
-
Pappas, G.J.1
-
18
-
-
33745708511
-
Linear time logic control of discrete-time linear systems
-
P. Tabuada and G. Pappas, "Linear time logic control of discrete-time linear systems," IEEE Trans. Autom. Control, vol. 51, no. 12, pp. 1862-1877, 2006.
-
(2006)
IEEE Trans. Autom. Control
, vol.51
, Issue.12
, pp. 1862-1877
-
-
Tabuada, P.1
Pappas, G.2
-
19
-
-
0022987223
-
An automata-theoretic approach to automatic program verification
-
M. Y. Vardi and P. Wolper, "An automata-theoretic approach to automatic program verification," in Proc. Logic in Computer Science, 1986.
-
(1986)
Proc. Logic in Computer Science
-
-
Vardi, M.Y.1
Wolper, P.2
-
20
-
-
84927748597
-
Model checking discrete time piesewise affine systems: Application to gene networks
-
B. Yordanov, C. Belta, and G. Batt, "Model checking discrete time piesewise affine systems: application to gene networks," in European Control Conference, 2007.
-
European Control Conference, 2007
-
-
Yordanov, B.1
Belta, C.2
Batt, G.3
-
21
-
-
79953129296
-
-
Boston University, Tech. Rep. CISE 2010-IR-0013
-
B. Yordanov, J. Tůmová, C. Belta, I. Černá, and J. Barnat, "Formal analysis of piecewise affine systems through formula-guided refinement," Boston University, Tech. Rep. CISE 2010-IR-0013, 2010.
-
(2010)
Formal Analysis of Piecewise Affine Systems Through Formula-guided Refinement
-
-
Yordanov, B.1
Tůmová, J.2
Belta, C.3
Černá, I.4
Barnat, J.5
|