-
1
-
-
78951471029
-
Timed Petri Nets and BQOs
-
of LNCS, pages 53-70. Springer-Verlag
-
P. A. Abdulla and A. Nylén. Timed Petri Nets and BQOs. In Proc. of ICATPN'01, volume 2075 of LNCS, pages 53-70. Springer-Verlag, 2001.
-
(2001)
Proc. of ICATPN'01
, pp. 2075
-
-
Abdulla, P.A.1
Nylén, A.2
-
3
-
-
44949269544
-
Model checking in dense real-time
-
R. Alur, C. Courcoubetis, and D. Dill. Model checking in dense real-time. Information and Compulation, 104(l):2-34, 1993.
-
(1993)
Information and Compulation
, vol.104
, Issue.50
, pp. 2-34
-
-
Alur, R.1
Courcoubetis, C.2
Dill, D.3
-
4
-
-
84880885611
-
An implementation of three algorithms for timing verification based on automata emptiness
-
IEEE Comp. Soc. Press
-
R. Alur, C. Courcoubetis, D. Dill, N. Halbwachs, and H. Wong-Toi. An implementation of three algorithms for timing verification based on automata emptiness. In Proc. of RTSS'92, pages 157-166. IEEE Comp. Soc. Press, 1992.
-
(1992)
Proc. of RTSS'92
, pp. 157-166
-
-
Alur, R.1
Courcoubetis, C.2
Dill, D.3
Halbwachs, N.4
Wong-Toi, H.5
-
5
-
-
85027622491
-
Minimization of timed transition systems
-
of LNCS, Springer-Verlag
-
R. Alur, C. Courcoubetis, D. Dill, N. Halbwachs, and H. Wong-Toi. Minimization of timed transition systems. In Proc. of CONCUR '92, volume 630 of LNCS, pages 340-354. Springer-Verlag, 1992.
-
(1992)
Proc. of CONCUR '92
, vol.630
, pp. 340-354
-
-
Alur, R.1
Courcoubetis, C.2
Dill, D.3
Halbwachs, N.4
Wong-Toi, H.5
-
6
-
-
85031771187
-
Automata for modelling real-time systems
-
of LNCS, Springer-Verlag
-
R. Alur and D. Dill. Automata for modelling real-time systems. In Proc. of ICALP'90, volume 443 of LNCS, pages 322-335. Springer-Verlag, 1990.
-
(1990)
Proc. of ICALP'90
, vol.443
, pp. 322-335
-
-
Alur, R.1
Dill, D.2
-
7
-
-
33747356808
-
Automatic symbolic verification of embedded systems
-
R. Alur, T. Henzinger, and P. Ho. Automatic symbolic verification of embedded systems. IEEE Trans, on Software Eng., 22(3): 181-201, 1996.
-
(1996)
IEEE Trans, on Software Eng.
, vol.22
, Issue.3
, pp. 181-201
-
-
Alur, R.1
Henzinger, T.2
Ho, P.3
-
8
-
-
84958044638
-
-
Hybrid Systems III, of LNCS, Springer-Verlag
-
R. Alur and R. Kurshan. Timing analysis in COSPAN. In Hybrid Systems III, volume 1066 of LNCS, pages 220-231. Springer-Verlag, 1996.
-
(1996)
Timing Analysis in COSPAN
, vol.1066
, pp. 220-231
-
-
Alur, R.1
Kurshan, R.2
-
9
-
-
84957646404
-
-
of LNCS, pages 346-360. Springer-Verlag
-
E. Asarin, M. Bozga, A. Kerbrat, O. Maler, A. Pnueli, and A. Rasse. Datastructures for the verification of Timed Automata. In Proc. of HART'97, volume 1201 of LNCS, pages 346-360. Springer-Verlag, 1997.
-
(1997)
Proc. of HART'97
, vol.1201
-
-
Automata, D.1
-
10
-
-
85120521193
-
Bounded model checking for timed systems. in
-
Springer-Verlag
-
G. Audemard, A. Cimatti, A. Kornilowicz, and R. Sebastiani. Bounded model checking for timed systems. In Proc. of FORTE'02, volume 2529 of LNCS, pages 243-259. Springer-Verlag, 2002.
-
(2002)
Proc. of FORTE'02, Volume 2529 of LNCS
, vol.2529
, pp. 243-259
-
-
Audemard, G.1
Cimatti, A.2
Kornilowicz, A.3
Sebastiani, R.4
-
11
-
-
84947274672
-
Efficient timed reachability analysis using Clock Difference Diagrams
-
LNCS, Springer-Verlag
-
G. Behrmann, K. Larsen, J. Pearson, C. Weise, and W. Yi. Efficient timed reachability analysis using Clock Difference Diagrams. In Proc. of CAV'99, volume 1633 of LNCS, pages 341-353. Springer-Verlag, 1999.
-
(1999)
Proc. of CAV'99
, vol.1633
, pp. 341-353
-
-
Behrmann, G.1
Larsen, K.2
Pearson, J.3
Weise, C.4
Yi, W.5
-
13
-
-
0344824010
-
On clock difference constraints and termination in reachability analysis in Timed Automata
-
of LNCS, Springer-Verlag
-
J. Bengtsson and W. Yi. On clock difference constraints and termination in reachability analysis in Timed Automata. In Proc. of ICFEM'03, volume 2885 of LNCS, pages 491-503. Springer-Verlag, 2003.
-
(2003)
Proc. of ICFEM'03
, vol.2885
, pp. 491-503
-
-
Bengtsson, J.1
Yi, W.2
-
14
-
-
0026120365
-
Modeling and verification of time dependent systems using Time Petri Nets
-
B. Berthomieu and M. Diaz. Modeling and verification of time dependent systems using Time Petri Nets. IEEE Trans, on Software Eng., 17(3):259-273, 1991.
-
(1991)
IEEE Trans, on Software Eng.
, vol.17
, Issue.3
, pp. 259-273
-
-
Berthomieu, B.1
Diaz, M.2
-
15
-
-
0020904451
-
An enumerative approach for analyzing Time Petri Nets
-
of Information Processing North Holland/ IFIP, September
-
B. Berthomieu and M. Menasche. An enumerative approach for analyzing Time Petri Nets. In Proc. of the IFIP 9th World Computer Congress, volume 9 of Information Processing, pages 41-46. North Holland/ IFIP, September 1983.
-
(1983)
Proc. of the IFIP 9th World Computer Congress
, vol.9
, pp. 41-46
-
-
Berthomieu, B.1
Menasche, M.2
-
17
-
-
18944397671
-
State class constructions for branching analysis of Time Petri Nets
-
of LNCS, pages 442-457. Springer-Verlag
-
B. Berthomieu and F. Vernadat. State class constructions for branching analysis of Time Petri Nets. In Proc. of TACAS'03, volume 2619 of LNCS, pages 442-457. Springer-Verlag, 2003.
-
(2003)
Proc. of TACAS'03
, vol.2619
-
-
Berthomieu, B.1
Vernadat, F.2
-
20
-
-
0005659208
-
Minimal state graph generation
-
A. Bouajjani, J-C. Fernandez, N. Halbwachs, P. Raymond, and C. Ratel. Minimal state graph generation. Science of Computer Programming, 18:247-269, 1992.
-
(1992)
Science of Computer Programming
, vol.18
, pp. 247-269
-
-
Bouajjani, A.1
Fernandez, J.-C.2
Halbwachs, N.3
Raymond, P.4
Ratel, C.5
-
21
-
-
0031376266
-
On-the-fly symbolic model checking for real-time systems
-
IEEE Comp. Soc. Press
-
A. Bouajjani, S. Tripakis, and S. Yovine. On-the-fly symbolic model checking for real-time systems. In Proc. of RTSS'97, pages 232-243. IEEE Comp. Soc. Press, 1997.
-
(1997)
Proc. of RTSS'97
, pp. 232-243
-
-
Bouajjani, A.1
Tripakis, S.2
Yovine, S.3
-
24
-
-
0022769976
-
Graph-based algorithms for boolean function manipulation
-
R. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transaction on Computers, 35(8):677-691, 1986.
-
(1986)
IEEE Transaction on Computers
, vol.35
, Issue.8
, pp. 677-691
-
-
Bryant, R.1
-
26
-
-
84947211257
-
Efficient symbolic state-space construction for asynchronous systems
-
of LNCS, Springer-Verlag
-
G. Ciardo, G. Lüttgen, and R. Simniceanu. Efficient symbolic state-space construction for asynchronous systems. In Proc. of ICATPN'00, volume 1825 of LNCS, pages 103-122. Springer-Verlag, 2000.
-
(2000)
Proc. of ICATPN'00
, vol.1825
, pp. 103-122
-
-
Ciardo, G.1
Lüttgen, G.2
Simniceanu, R.3
-
27
-
-
0020824577
-
Timing requirements for time-driven systems using augmented Petri nets
-
J. Coolahan and N. Roussopoulos. Timing requirements for time-driven systems using augmented Petri nets. IEEE Trans, on Software Eng., SE-9(5):603-616, 1983.
-
(1983)
IEEE Trans, on Software Eng.
, vol.SE-9
, Issue.5
, pp. 603-616
-
-
Coolahan, J.1
Roussopoulos, N.2
-
29
-
-
84879091336
-
Data Decision Diagrams for Petri net analysis
-
of LNCS, Springer-Verlag
-
J-M. Couvreur, E. Encrenaz, E. Paviot-Adet, D. Pointrenaud, and P-A. Wacrenier. Data Decision Diagrams for Petri net analysis. In Proc. of ICATPN'02, volume 2360 of LNCS, pages 101-120. Springer-Verlag, 2002.
-
(2002)
Proc. of ICATPN'02
, vol.2360
, pp. 101-120
-
-
Couvreur, J.-M.1
Encrenaz, E.2
Paviot-Adet, E.3
Pointrenaud, D.4
Wacrenier, P.-A.5
-
30
-
-
84947909489
-
Model checking of real-time reachability properties using abstractions
-
LNCS, Springer-Verlag
-
C. Daws and S. Tripakis. Model checking of real-time reachability properties using abstractions. In Proc. of TACAS'98, volume 1384 of LNCS, pages 313-329. Springer-Verlag, 1998.
-
(1998)
Proc. of TACAS'98
, vol.1384
, pp. 313-329
-
-
Daws, C.1
Tripakis, S.2
-
31
-
-
35248826437
-
VerICS: A tool for verifying Timed Automata and Estelle specifications
-
LNCS, pages 278283. Springer-Verlag
-
P. Dembiński, A. Janowska, P. Janowski, W. Penczek, A. Polrola, M. Szreter, B. Wozna, and A. Zbrzezny. VerICS: A tool for verifying Timed Automata and Estelle specifications. In Proc. of TACAS'03, volume 2619 of LNCS, pages 278283. Springer-Verlag, 2003.
-
(2003)
Proc. of TACAS'03
, vol.2619
-
-
Dembiński, P.1
Janowska, A.2
Janowski, P.3
Penczek, W.4
Polrola, A.5
Szreter, M.6
Wozna, B.7
Zbrzezny, A.8
-
32
-
-
0036601095
-
Verification of Timed Automata based on similarity
-
P. Dembinski, W. Penczek, and A. Polrola. Verification of Timed Automata based on similarity. Fundamenta Informaticae, 51(l-2):59-89, 2002.
-
(2002)
Fundamenta Informaticae
, vol.51
, Issue.1-2
, pp. 59-89
-
-
Dembinski, P.1
Penczek, W.2
Polrola, A.3
-
33
-
-
84867789098
-
Timed Alternating Tree Automata: The automatatheoretic solution to the TCTL model checking problem
-
of LNCS, Springer-Verlag
-
M. Dickhofer and T. Wilke. Timed Alternating Tree Automata: The automatatheoretic solution to the TCTL model checking problem. In Proc. of ICALP'98, volume 1664 of LNCS, pages 281-290. Springer-Verlag, 1998.
-
(1998)
Proc. of ICALP'98
, vol.1664
, pp. 281-290
-
-
Dickhofer, M.1
Wilke, T.2
-
34
-
-
84944099472
-
Timing assumptions and verification of finite state concurrent systems
-
407 of LNCS, Springer-Verlag
-
D. Dill. Timing assumptions and verification of finite state concurrent systems. In Automatic Verification Methods for Finite-State Systems, volume 407 of LNCS, pages 197 - 212. Springer-Verlag, 1989.
-
(1989)
Automatic Verification Methods for Finite-State Systems
, pp. 197-212
-
-
Dill, D.1
-
35
-
-
35048818944
-
Using zone graph method for computing the state space of a Time Petri Net
-
of LNCS. Springer-Verlag
-
G. Gardey, O. H. Roux, and O. F. Roux. Using zone graph method for computing the state space of a Time Petri Net. In Proc. of FORMATS'03, volume 2791 of LNCS. Springer-Verlag, 2004.
-
(2004)
Proc. of FORMATS'03
, vol.2791
-
-
Gardey, G.1
Roux, O.H.2
Roux, O.F.3
-
36
-
-
2942701083
-
Analysis of event-driven real-time systems with Time Petri Nets
-
of IFIP Conference Proceedings, pages 31-40. Kluwer
-
Z. Gu and K. Shin. Analysis of event-driven real-time systems with Time Petri Nets. In Proc. of DIPES'02, volume 219 of IFIP Conference Proceedings, pages 31-40. Kluwer, 2002.
-
(2002)
Proc. of DIPES'02
, vol.219
-
-
Gu, Z.1
Shin, K.2
-
37
-
-
2942702998
-
On equivalence between Timed State Machines and Time Petri Nets
-
INRIA Rhône-Alpes, 655, avenue de I'Europe, 38330 Montbonnot-St-Martin, November
-
S. Haar, L. Kaiser, F. Simonot-Lion, and J. Toussaint. On equivalence between Timed State Machines and Time Petri Nets. Technical Report RR-4049, INRIA Rhône-Alpes, 655, avenue de I'Europe, 38330 Montbonnot-St-Martin, November 2000.
-
(2000)
Technical Report RR-4049
-
-
Haar, S.1
Kaiser, L.2
Simonot-Lion, F.3
Toussaint, J.4
-
38
-
-
85029435682
-
Analysis of place/transition nets with timed arcs and its application to batch process control
-
of LNCS, Springer-Verlag
-
H-M. Hanisch. Analysis of place/transition nets with timed arcs and its application to batch process control. In Proc. of ICATPN'93, volume 691 of LNCS, pages 282299. Springer-Verlag, 1993.
-
(1993)
Proc. of ICATPN'93
, vol.691
, pp. 282299
-
-
Hanisch, H.-M.1
-
39
-
-
0041664310
-
The Cornell hybrid technology tool
-
LNCS, Springer-Verlag
-
T. Henzinger and P. Ho. HyTech: The Cornell hybrid technology tool. In Hybrid Systems II, volume 999 of LNCS, pages 265-293. Springer-Verlag, 1995.
-
(1995)
Hybrid Systems II
, vol.999
, pp. 265-293
-
-
Henzinger, T.1
Ho Hytech, P.2
-
40
-
-
0000217258
-
Symbolic model checking for real-time systems
-
T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(2):193-224, 1994.
-
(1994)
Information and Computation
, vol.111
, Issue.2
, pp. 193-224
-
-
Henzinger, T.1
Nicollin, X.2
Sifakis, J.3
Yovine, S.4
-
41
-
-
84885736801
-
Verification based on local states
-
LNCS, Springer-Verlag
-
M. Huhn, P. Niebert, and F. Wallner. Verification based on local states. In Proc. of TACAS'98, volume 1384 of LNCS, pages 36-51. Springer-Verlag, 1998.
-
(1998)
Proc. of TACAS'98
, vol.1384
, pp. 36-51
-
-
Huhn, M.1
Niebert, P.2
Wallner, F.3
-
42
-
-
2942736169
-
Efficient timing analysis of a class of Petri Nets
-
of LNCS, Springer-Verlag
-
H. Hulgaard and S. M. Burns. Efficient timing analysis of a class of Petri Nets. In Proc. of CAV'95, volume 939 of LNCS, pages 923-936. Springer-Verlag, 1995.
-
(1995)
Proc. of CAV'95
, vol.939
, pp. 923-936
-
-
Hulgaard, H.1
Burns, S.M.2
-
43
-
-
0021390830
-
Nets, sequential components and concurrency relations
-
R. Janicki. Nets, sequential components and concurrency relations. Theoretical Computer Science, 29:87-121, 1984.
-
(1984)
Theoretical Computer Science
, vol.29
, pp. 87-121
-
-
Janicki, R.1
-
45
-
-
84955564686
-
A space-efficient on-the-fly algorithm for real-time model checking
-
LNCS, Springer-Verlag
-
O. Kupferman, T. A. Henzinger, and M. Y. Vardi. A space-efficient on-the-fly algorithm for real-time model checking. In Proc. of CONCUR'96, volume 1119 of LNCS, pages 514-529. Springer-Verlag, 1996.
-
(1996)
Proc. of CONCUR'96
, vol.1119
, pp. 514-529
-
-
Kupferman, O.1
Henzinger, T.A.2
Vardi, M.Y.3
-
46
-
-
0031357735
-
Efficient verification of realtime systems: Compact data structures and state-space reduction
-
IEEE Comp. Soc. Press
-
K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi. Efficient verification of realtime systems: Compact data structures and state-space reduction. In Proc. of RTSS'97, pages 14-24. IEEE Comp. Soc. Press, 1997.
-
(1997)
Proc. of RTSS'97
, pp. 14-24
-
-
Larsen, K.G.1
Larsson, F.2
Pettersson, P.3
Yi, W.4
-
48
-
-
0343961904
-
Efficient state space search for Time Petri Nets
-
of ENTCS. Elsevier Science Publishers
-
J. Lilius. Efficient state space search for Time Petri Nets. In Proc. of MFCS Workshop on Concurrency, Brno'98, volume 18 of ENTCS. Elsevier Science Publishers, 1999.
-
(1999)
Proc. of MFCS Workshop on Concurrency, Brno'98
, vol.18
-
-
Lilius, J.1
-
50
-
-
70350777567
-
Applying SAT methods in unbounded symbolic model checking
-
LNCS, Springer-Verlag
-
K. L. McMillan. Applying SAT methods in unbounded symbolic model checking. In Proc. of CAV'02, volume 2404 of LNCS, pages 250-264. Springer-Verlag, 2002.
-
(2002)
Proc. of CAV'02
, vol.2404
, pp. 250-264
-
-
McMillan, K.L.1
-
51
-
-
0017001923
-
Recoverability of communication protocols - Implication of a theoretical study
-
P. Merlin and D. J. Farber. Recoverability of communication protocols - implication of a theoretical study. IEEE Trans, on Communications, 24(9):1036-1043, 1976.
-
(1976)
IEEE Trans, on Communications
, vol.24
, Issue.9
, pp. 1036-1043
-
-
Merlin, P.1
Farber, D.J.2
-
52
-
-
84958976289
-
Efficient reachability set generation and storage using decision diagrams
-
of LNCS, Springer-Verlag
-
A. Miner and G. Ciardo. Efficient reachability set generation and storage using decision diagrams. In Proc. of ICATPN'99, volume 1639 of LNCS, pages 6-25. Springer-Verlag, 1999.
-
(1999)
Proc. of ICATPN'99
, vol.1639
, pp. 6-25
-
-
Miner, A.1
Ciardo, G.2
-
54
-
-
84956856293
-
Difference Decision Diagrams
-
LNCS, Springer-Verlag
-
J. Møller, J. Lichtenberg, H. Andersen, and II. Hulgaard. Difference Decision Diagrams. In Proc. of CSL'99, volume 1683 of LNCS, pages 111-125. Springer-Verlag, 1999.
-
(1999)
Proc. of CSL'99
, vol.1683
, pp. 111-125
-
-
Møller, J.1
Lichtenberg, J.2
Andersen, H.3
Hulgaard, I.I.4
-
55
-
-
85058200961
-
Fully symbolic model checking of timed systems using Difference Decision Diagrams
-
of ENTCS
-
J. Møller, J. Lichtenberg, H. Andersen, and H. Hulgaard. Fully symbolic model checking of timed systems using Difference Decision Diagrams. In Proc. of FLoC'99, volume 23(2) of ENTCS, 1999.
-
(1999)
Proc. of FLoC'99
, vol.23
, Issue.2
-
-
Møller, J.1
Lichtenberg, J.2
Andersen, H.3
Hulgaard, H.4
-
56
-
-
0034852165
-
Chaff: Engineering an efficient SAT solver
-
June
-
M. Moskewicz, C. Madigan, Y. Zhao, L. Zhang, and S. Malik. Chaff: Engineering an efficient SAT solver. In Proc. of the 38th Design Automation Conference (DAC'01), pages 530-535, June 2001.
-
(2001)
Proc. of the 38th Design Automation Conference (DAC'01)
, pp. 530-535
-
-
Moskewicz, M.1
Madigan, C.2
Zhao, Y.3
Zhang, L.4
Malik, S.5
-
57
-
-
84974666943
-
Verification of Timed Automata via satisfiability checking
-
of LNCS, Springer-Verlag
-
P. Niebert, M. Mahfoudh, E. Asarin, M. Bozga, O. Maler, and N. Jain. Verification of Timed Automata via satisfiability checking. In Proc. of FTRTFT'02, volume 2469 of LNCS, pages 226-243. Springer-Verlag, 2002.
-
(2002)
Proc. of FTRTFT'02
, vol.2469
, pp. 226-243
-
-
Niebert, P.1
Mahfoudh, M.2
Asarin, E.3
Bozga, M.4
Maler, O.5
Jain, N.6
-
59
-
-
0023566630
-
Three partition refinement algorithms
-
R. Paige and R. Tarjan. Three partition refinement algorithms. SIAM Journal on Computing, 16(6):973-989, 1987.
-
(1987)
SIAM Journal on Computing
, vol.16
, Issue.6
, pp. 973-989
-
-
Paige, R.1
Tarjan, R.2
-
60
-
-
35048833525
-
Symbolic Petri net analysis using boolean manipulation
-
UP/DAG, Univerisitat Politécnica de Catalunya, February
-
E. Pastor, J. Cortadella, and O. Roig. Symbolic Petri net analysis using boolean manipulation. Technical Report RR-97-08, UP/DAG, Univerisitat Politécnica de Catalunya, February 1997.
-
(1997)
Technical Report RR-97-08
-
-
Pastor, E.1
Cortadella, J.2
Roig, O.3
-
61
-
-
84947224884
-
Abstractions and partial order reductions for checking branching properties of Time Petri Nets
-
of LNCS, pages 323-342. Springer-Verlag
-
W. Penczek and A. Pólrola. Abstractions and partial order reductions for checking branching properties of Time Petri Nets. In Proc. of ICATPN'01, volume 2075 of LNCS, pages 323-342. Springer-Verlag, 2001.
-
(2001)
Proc. of ICATPN'01
, vol.2075
-
-
Penczek, W.1
Pólrola, A.2
-
62
-
-
0036600797
-
Bounded model checking for the universal fragment of CTL
-
W. Penczek, B. Woźna, and A. Zbrzezny. Bounded model checking for the universal fragment of CTL. Fundamenta Informaticae, 51(1-2):135-156, 2002.
-
(2002)
Fundamenta Informaticae
, vol.51
, Issue.1-2
, pp. 135-156
-
-
Penczek, W.1
Woźna, B.2
Zbrzezny, A.3
-
63
-
-
84974720053
-
Towards bounded model checking for the universal fragment of TCTL
-
of LNCS, Springer-Verlag
-
W. Penczek, B. Wozna, and A. Zbrzezny. Towards bounded model checking for the universal fragment of TCTL. In Proc. of FTRTFT'02, volume 2469 of LNCS, pages 265-288. Springer-Verlag, 2002.
-
(2002)
Proc. of FTRTFT'02
, vol.2469
, pp. 265-288
-
-
Penczek, W.1
Wozna, B.2
Zbrzezny, A.3
-
64
-
-
2942750261
-
Minimization algorithms for Time Petri Nets
-
to appear
-
A. Pólrola and W. Penczek. Minimization algorithms for Time Petri Nets. Fundamenta Informaticae, 2004. to appear.
-
Fundamenta Informaticae
, vol.2004
-
-
Pólrola, A.1
Penczek, W.2
-
65
-
-
0037560147
-
Reachability analysis for Timed Automata using partitioning algorithms
-
A. Pólrola, W. Penczek, and M. Szreter. Reachability analysis for Timed Automata using partitioning algorithms. Fundamenta Informaticae, 55(2):203-221, 2003.
-
(2003)
Fundamenta Informaticae
, vol.55
, Issue.2
, pp. 203-221
-
-
Pólrola, A.1
Penczek, W.2
Szreter, M.3
-
66
-
-
35048888927
-
Towards efficient partition refinement for checking reachability in Timed Automata
-
of LNCS. Springer-Verlag
-
A. Pólrola, W. Penczek, and M. Szreter. Towards efficient partition refinement for checking reachability in Timed Automata. In Proc. of FORMATS'03, volume 2791 of LNCS. Springer-Verlag, 2004.
-
(2004)
Proc. of FORMATS'03
, vol.2791
-
-
Pólrola, A.1
Penczek, W.2
Szreter, M.3
-
67
-
-
33847777856
-
TINA - A tool for analyzing paths in TPNs
-
of Informatik-Berichte, Humboldt University
-
L. Popova and S. Marek. TINA - a tool for analyzing paths in TPNs. In Proc. of the Int. Workshop on Concurrency, Specification and Programming (CS&P'02), volume 110 of Informatik-Berichte, pages 195-196. Humboldt University, 1998.
-
(1998)
Proc. of the Int. Workshop on Concurrency, Specification and Programming (CS&P'02)
, vol.110
, pp. 195-196
-
-
Popova, L.1
Marek, S.2
-
68
-
-
0003576234
-
Analysis of asynchronous concurrent systems by timed Petri nets
-
Massachusets Institute of Technology, February
-
C. Ramchandani. Analysis of asynchronous concurrent systems by timed Petri nets. Technical Report MAC-TR-120, Massachusets Institute of Technology, February 1974.
-
(1974)
Technical Report MAC-TR-120
-
-
Ramchandani, C.1
-
69
-
-
35248843991
-
CPN Tools for editing, simulating, and analyzing Coloured Petri Nets. in
-
of LNCS, Springer-Verlag
-
A. Ratzer, L. Wells, H. Lassen, M. Laursen, J. Qvortrup, M. Stissing, M."Westergaard, S. Christensen, and K. Jensen. CPN Tools for editing, simulating, and analyzing Coloured Petri Nets. In Proc. of ICATPN'03, volume 2679 of LNCS, pages 450-462. Springer-Verlag, 2003.
-
(2003)
Proc. of ICATPN'03
, vol.2679
, pp. 450-462
-
-
Ratzer, A.1
Wells, L.2
Lassen, H.3
Laursen, M.4
Qvortrup, J.5
Stissing, M.6
Westergaard, M.7
Christensen, S.8
Jensen, K.9
-
71
-
-
33847796768
-
Modelowanie systemów czasu rzeczywistego z zastosowaniem czasowych sieci Petriego
-
Instytut Informatyki Politechniki Śla̧skiej, In Polish.
-
S. Samolej and T. Szmuc. Modelowanie systemów czasu rzeczywistego z zastosowaniem czasowych sieci Petriego. In Mat. IX Konf. Systemy Czasu Rzeczywistego (SCR'02), pages 45-54. Instytut Informatyki Politechniki Śla̧skiej, 2002. In Polish.
-
(2002)
Mat. IX Konf. Systemy Czasu Rzeczywistego (SCR'02)
, pp. 45-54
-
-
Samolej, S.1
Szmuc, T.2
-
72
-
-
65749308916
-
Toward a formal specification of multimedia scenarios
-
P. Sénac, M. Diaz, and P. de Saqui Sannes. Toward a formal specification of multimedia scenarios. Annals of Telecommunications, 49(5-6):297-314, 1994.
-
(1994)
Annals of Telecommunications
, vol.49
, Issue.5-6
, pp. 297-314
-
-
Sénac, P.1
Diaz, M.2
De Saqui Sannes, P.3
-
73
-
-
21244432992
-
Unbounded, fully symbolic model checking of Timed Automata using boolean methods
-
of LNCS, pages 154-166. Springer-Verlag
-
S. Seshia and R. Bryant. Unbounded, fully symbolic model checking of Timed Automata using boolean methods. In Proc. of CAV'03, volume 2725 of LNCS, pages 154-166. Springer-Verlag, 2003.
-
(2003)
Proc. of CAV'03
, vol.2725
-
-
Seshia, S.1
Bryant, R.2
-
74
-
-
84948142906
-
Compositional specification of timed systems
-
of LNCS, Springer-Verlag
-
J. Sifakis and S. Yovine. Compositional specification of timed systems. In Proc. of STACS'96, volume 1046 of LNCS, pages 347-359. Springer-Verlag, 1996.
-
(1996)
Proc. of STACS'96
, vol.1046
, pp. 347-359
-
-
Sifakis, J.1
Yovine, S.2
-
75
-
-
18944388655
-
Bounded model checking for Timed Automata
-
of ENTCS. Elsevier Science Publishers
-
M. Sorea. Bounded model checking for Timed Automata. In Proc. of MTCS'02, volume 68(5) of ENTCS. Elsevier Science Publishers, 2002.
-
(2002)
Proc. of MTCS'02
, vol.68
, Issue.5
-
-
Sorea, M.1
-
76
-
-
84958598850
-
Partition refinement in real-time model checking
-
of LNCS, pages 143-157. Springer-Verlag
-
R. L. Spelberg, H. Toetenel, and M. Ammerlaan. Partition refinement in real-time model checking. In Proc. of FTRTFT'98, volume 1486 of LNCS, pages 143-157. Springer-Verlag, 1998.
-
(1998)
Proc. of FTRTFT'98
, vol.1486
-
-
Spelberg, R.L.1
Toetenel, H.2
Ammerlaan, M.3
-
77
-
-
80054079366
-
Interval diagram techniques for symbolic model checking of Petri nets
-
IEEE Comp. Soc. Press
-
K. Strehl and L. Thiele. Interval diagram techniques for symbolic model checking of Petri nets. In Proc. of DATE'99, LNCS, pages 756-757. IEEE Comp. Soc. Press, 1999.
-
(1999)
Proc. of DATE'99, LNCS
, pp. 756-757
-
-
Strehl, K.1
Thiele, L.2
-
78
-
-
84937568788
-
Deciding separation formulas with SAT
-
of LNCS, Springer-Verlag
-
O. Strichman, S. Seshia, and R. Bryant. Deciding separation formulas with SAT. In Proc. of CAV'02, volume 2404 of LNCS, pages 209-222. Springer-Verlag, 2002.
-
(2002)
Proc. of CAV'02
, vol.2404
, pp. 209-222
-
-
Strichman, O.1
Seshia, S.2
Bryant, R.3
-
79
-
-
0035135204
-
Analysis of timed systems using time-abstracting bisimulations
-
S. Tripakis and S. Yovine. Analysis of timed systems using time-abstracting bisimulations. Formal Methods in System Design, 18(l):25-68, 2001.
-
(2001)
Formal Methods in System Design
, vol.18
, Issue.50
, pp. 25-68
-
-
Tripakis, S.1
Yovine, S.2
-
80
-
-
0029184479
-
Timing constraint Petri nets and their application to schedulability analysis of real-time system specifications
-
J. Tsai, S. Yang, and Y. Chang. Timing constraint Petri nets and their application to schedulability analysis of real-time system specifications. IEEE Trans, on Software Eng., 21(l):32-49, 1995.
-
(1995)
IEEE Trans, on Software Eng.
, vol.21
, Issue.50
, pp. 32-49
-
-
Tsai, J.1
Yang, S.2
Chang, Y.3
-
81
-
-
0000138533
-
Interval timed coloured Petri nets and their analysis
-
of LNCS, Springer-Verlag
-
W. van der Aalst. Interval timed coloured Petri nets and their analysis. In Proc. of ICATPN'93, volume 961 of LNCS, pages 452-472. Springer-Verlag, 1993.
-
(1993)
Proc. of ICATPN'93
, vol.961
, pp. 452-472
-
-
Van Der Aalst, W.1
-
82
-
-
84956859637
-
A partial order method for the verification of Time Petri Nets
-
LNCS, Springer-Verlag
-
I. B. Virbitskaite and E. A. Pokozy. A partial order method for the verification of Time Petri Nets. In Fundamental of Computation Theory, volume 1684 of LNCS, pages 547-558. Springer-Verlag, 1999.
-
(1999)
Fundamental of Computation Theory
, vol.1684
, pp. 547-558
-
-
Virbitskaite, I.B.1
Pokozy, E.A.2
-
84
-
-
0034513970
-
Region Encoding Diagram for fully symbolic verification of real-time systems
-
IEEE Comp. Soc. Press, October
-
F. Wang. Region Encoding Diagram for fully symbolic verification of real-time systems. In Proc. of the 24th Int. Computer Software and Applications Conf. (COMPSAC'00), pages 509-515. IEEE Comp. Soc. Press, October 2000.
-
(2000)
Proc. of the 24th Int. Computer Software and Applications Conf. (COMPSAC'00)
, pp. 509-515
-
-
Wang, F.1
-
85
-
-
35248884302
-
Verification of Timed Automata with BDD-like data structures
-
of LNCS, Springer-Verlag
-
F. Wang. Verification of Timed Automata with BDD-like data structures. In Proc. of VMCAI'03, volume 2575 of LNCS, pages 189-205. Springer-Verlag, 2003.
-
(2003)
Proc. of VMCAI'03
, vol.2575
, pp. 189-205
-
-
Wang, F.1
-
86
-
-
0037898244
-
Checking reachability properties for Timed Automata via SAT
-
B. Wozna, A. Zbrzezny, and W. Penczek. Checking reachability properties for Timed Automata via SAT. Fundamenta Informaticae, 55(2):223-241, 2003.
-
(2003)
Fundamenta Informaticae
, vol.55
, Issue.2
, pp. 223-241
-
-
Wozna, B.1
Zbrzezny, A.2
Penczek, W.3
-
87
-
-
84883273725
-
An efficient algorithm for minimizing real-time transition systems
-
volume 697 of LNCS, pages 210-224. SpringerVerlag
-
M. Yannakakis and D. Lee. An efficient algorithm for minimizing real-time transition systems. In Proc. of CAV'93, volume 697 of LNCS, pages 210-224. SpringerVerlag, 1993.
-
(1993)
Proc. of CAV'93
-
-
Yannakakis, M.1
Lee, D.2
-
88
-
-
33749358985
-
Automatic verification of real-time communicating systems by constraint-solving
-
of IFIP Conference Proceedings, pages 243-258. Chapman' & Hall
-
W. Yi, P. Pettersson, and M. Daniels. Automatic verification of real-time communicating systems by constraint-solving. In Proc. of the 7th IFIP WG6.1 Int. Conf. on Formal Description Techniques (FORTE'94), volume 6 of IFIP Conference Proceedings, pages 243-258. Chapman' & Hall, 1994.
-
(1994)
Proc. of the 7th IFIP WG6.1 Int. Conf. on Formal Description Techniques (FORTE'94)
, vol.6
-
-
Yi, W.1
Pettersson, P.2
Daniels, M.3
-
89
-
-
0032021119
-
CTL model checking of Time Petri Nets using geometric regions
-
T. Yoneda and H. Ryuba. CTL model checking of Time Petri Nets using geometric regions. IEICE Trans. Inf. and Syst., 3:1-10, 1998.
-
(1998)
IEICE Trans. Inf. and Syst.
, vol.3
, pp. 1-10
-
-
Yoneda, T.1
Ryuba, H.2
-
90
-
-
0031212649
-
Efficient verification of parallel real-time systems. Formal
-
T. Yoneda and B. H. Schlingloff. Efficient verification of parallel real-time systems. Formal Methods in System Design, 11(2):197-215, 1997.
-
(1997)
Methods in System Design
, vol.11
, Issue.2
, pp. 197-215
-
-
Yoneda, T.1
Schlingloff, B.H.2
-
92
-
-
2942702093
-
Improvements in SAT-based reachability analysis for Timed Automata
-
to appear.
-
A. Zbrzezny. Improvements in SAT-based reachability analysis for Timed Automata. Fundamenta Informaticae, 2004. to appear.
-
(2004)
Fundamenta Informaticae
-
-
Zbrzezny, A.1
-
93
-
-
0035209012
-
Efficient conflict driven learning in a boolean satisfiability solver
-
L. Zhang, C. Madigan, M. Moskewicz, and S. Malik. Efficient conflict driven learning in a boolean satisfiability solver. In Proc. of Int. Conf. on Computer-Aided Design (ICCAD'01), pages 279-285, 2001.
-
(2001)
Proc. of Int. Conf. on Computer-Aided Design (ICCAD'01)
, pp. 279-285
-
-
Zhang, L.1
Madigan, C.2
Moskewicz, M.3
Malik, S.4
|