SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Theoretical Computer Science

Volumn 285, Issue 2, 2002, Pages 359-405

Specification of real-time and hybrid systems in rewriting logic

(2) Ölveczky, Peter Csaba a,b Meseguer, José a

a SRI INTERNATIONAL (United States)

b UNIVERSITY OF OSLO (Norway)

Author keywords

Hybrid systems; Maude; Real time object oriented systems; Real time systems; Rewriting logic; Timed Petri nets

Indexed keywords

AUTOMATA THEORY; COMPUTER SIMULATION; OBJECT ORIENTED PROGRAMMING; PETRI NETS; PHASE TRANSITIONS; REAL TIME SYSTEMS;

OBJECT ORIENTED SYSTEMS; TIMED PETRI NETS;

FORMAL LOGIC;

EID: 0037190149 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(01)00363-2 Document Type: Article

Times cited : (84)

References (46)

1
- 84960924881
- Interval timed coloured Petri nets and their analysis
- M. Ajmone Marsan (Ed.), Springer, Berlin
- (1993) Application and Theory of Petri Nets 1993, Lecture Notes in Computer Science , vol.691 , pp. 453-472
- Van der Aalst, W.M.P.¹

2
- 0029637354
- The algorithmic analysis of hybrid systems
- (1995) Theoret. Comput. Sci. , vol.138 , pp. 3-34
- Alur, R.¹ Courcoubetis, C.² Halbwachs, N.³ Henzinger, T.A.⁴ Ho, P.-H.⁵ Nicollin, X.⁶ Olivero, A.⁷ Sifakis, J.⁸ Yovine, S.⁹

3
- 0028413052
- A theory of timed automata
- (1994) Theoret. Comput. Sci. , vol.126 , Issue.2 , pp. 183-235
- Alur, R.¹ Dill, D.L.²

4
- 0003843046
- Centre de Recherches Mathématiques Montreal
- (1999) Category Theory for Computing Science, 3rd ed.
- Barr, M.¹ Wells, C.²

5
- 0003653919
- Springer, Berlin
- (1985) Foundations of Constructive Mathematics
- Beeson, M.J.¹

6
- 0023500461
- Algebraic specification of computable and semicomputable data types
- (1987) Theoret. Comput. Sci. , vol.50 , pp. 137-181
- Bergstra, J.A.¹ Tucker, J.V.²

7
- 23544466524
- Deductive verification of real-time systems using STeP
- M. Bertran, T. Rus (Eds.), Springer, Berlin
- (1997) Proc. of ARTS'97, Lecture Notes in Computer Science , vol.1231 , pp. 22-43
- Bjørner, N.¹ Manna, Z.² Sipma, H.B.³ Uribe, T.E.⁴

8
- 84949238101
- Modeling urgency in timed systems
- W.-P. de Roever, H. Langmaack, A. Pnueli (Eds.), Springer, Berlin
- (1998) Proc. Compositionality'97, Lecture Notes in Computer Science , vol.1536 , pp. 103-129
- Bornot, S.¹ Sifakis, J.² Tripakis, S.³

9
- 19144372591
- ELAN: A logical framework based on computational systems
- J. Meseguer (Ed.), Proc. First Internat. Workshop on Rewriting Logic and its Applications, Elsevier, Amsterdam
- (1996) Electronic Notes in Theoretical Computer Science , vol.4
- Borovanský, P.¹ Kirchner, C.² Kirchner, H.³ Moreau, P.-E.⁴ Vittek, V.⁵

10
- 0003488831
- Ph.D. Thesis, University of Navarre
- (1998) Reflection in general logics and in rewriting logic, with applications to the Maude language
- Clavel, M.¹

11
- 84874266260
- Metalevel computation in Maude
- C. Kirchner, H. Kirchner (Eds.), Proc. 2nd Internat. Workshop on Rewriting Logic and its Applications, Elsevier, Amsterdam
- (1998) Electronic Notes in Theoretical Computer Science , vol.15
- Clavel, M.¹ Duran, F.² Eker, S.³ Lincoln, P.⁴ Martí-Oliet, N.⁵ Meseguer, J.⁶

12
- 0003895448
- Computer Science Laboratory, SRI International, Menlo Park
- (1999) Maude: Specification and Programming in Rewriting Logic
- Clavel, M.¹ Durán, F.² Eker, S.³ Lincoln, P.⁴ Martí-Oliet, N.⁵ Meseguer, J.⁶ Quesada, J.⁷

13
- 84949497326
- Maude as a formal meta-tool
- J.M. Wing, J. Woodcock, J. Davies (Eds.), Springer, Berlin
- (1999) Proc. FM'99, Lecture Notes in Computer Science , vol.1709 , pp. 1684-1703
- Clavel, M.¹ Durán, F.² Eker, S.³ Meseguer, J.⁴ Stehr, M.-O.⁵

14
- 0002792268
- Axiomatizing reflective logics and languages
- G. Kiczales (Ed.)
- (1996) Proc. Reflection'96 , pp. 263-288
- Clavel, M.¹ Meseguer, J.²

15
- 19144372184
- Reflection and strategies in rewriting logic
- J. Meseguer (Ed.), Proc. 1st Internat. Workshop on Rewriting Logic and its Applications, Elsevier, Amsterdam
- (1996) Electronic Notes in Theoretical Computer Science , vol.4
- Clavel, M.¹ Meseguer, J.²

16
- 0003735134
- World Scientific, Singapore
- (1998) CafeOBJ Report, AMAST Series
- Futatsugi, K.¹ Diaconescu, R.²

17
- 0027116146
- Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- (1992) Theoret. Comput. Sci. , vol.105 , pp. 217-273
- Goguen, J.A.¹ Meseguer, J.²

18
- 0026221661
- The synchronous dataflow programming language Lustre
- (1991) Proc. IEEE , vol.79 , Issue.9 , pp. 1305-1320
- Halbwachs, N.¹ Caspi, P.² Raymond, P.³ Pilaud, D.⁴

19
- 85029435682
- Analysis of place/transition nets with timed arcs and its application to batch process control
- M. Ajmone, Marsan M. (Ed.), Springer, Berlin
- (1993) Application and Theory of Petri Nets 1993, Lecture Notes in Computer Science , vol.691 , pp. 282-299
- Hanisch, H.M.¹

20
- 84896819101
- HyTech: A model checker for hybrid systems
- (1997) Software Tools Technol. Transfer , vol.1 , pp. 110-122
- Henzinger, T.A.¹ Ho, P.-H.² Wong-Toi, H.³

21
- 4243321533
- Tech. Report TR 99-44, University of Massachusetts, Amherst, CMPSCI
- (1999) Scalable fair reliable multicast using active services
- Kasera, S.¹ Bhattacharyya, S.² Keaton, M.³ Kiwior, D.⁴ Kurose, J.⁵ Towsley, D.⁶ Zabele, S.⁷

22
- 0031122977
- Timed rewriting logic with an application to object-based specification
- (1997) Sci. Comput. Programming , vol.28 , Issue.2-3 , pp. 225-246
- Kosiuczenko, P.¹ Wirsing, M.²

23
- 84896693115
- (1997) UPPAAL in a nutshell, Software Tools Technol Transfer , vol.1 , Issue.1-2 , pp. 134-152
- Larsen, K.G.¹ Pettersson, P.² Yi, W.³

24
- 0004215089
- Morgan Kaufmann, Los Altos, CA
- (1996) Distributed Algorithms
- Lynch, N.¹

25
- 21344499324
- Models for reactivity
- (1993) Acta Inform. , vol.30 , pp. 609-678
- Manna, Z.¹ Pnueli, A.²

26
- 4243662019
- Clocked transition systems
- Beijing, August. Also available as Stanford University CSD Tech. Report STAN-CS-TR-96-1566
- (1995) Proc. Internat. Logic and Software Engineering Workshop
- Manna, Z.¹ Pnueli, A.²

27
- 84957894539
- Deductive verification of hybrid systems using STeP
- T.A. Henzinger, S. Sastry (Eds.), Springer, Berlin
- (1998) Hybrid Systems: Computation and Control, Lecture Notes in Computer Science , vol.1386 , pp. 305-318
- Manna, Z.¹ Sipma, H.²

28
- 77957664229
- General logics
- Ebbinghaus H.-D. (Ed.), North-Holland, Amsterdam
- (1989) Logic Colloquium'87 , pp. 275-329
- Meseguer, J.¹

29
- 0027113376
- Conditional rewriting logic as a unified model of concurrency
- (1992) Theoret. Comput. Sci. , vol.96 , pp. 73-155
- Meseguer, J.¹

30
- 84955586238
- Rewriting logic as a semantic framework for concurrency: A progress report
- U. Montanari, V. Sassone (Eds.), Springer, Berlin
- (1996) Proc. Concur'96, Lecture Notes in Computer Science , vol.1119 , pp. 331-372
- Meseguer, J.¹

31
- 84957873927
- Membership algebra as a logical framework for equational specification
- F. Parisi-Presicce (Ed.), Springer, Berlin
- (1998) Proc. WADT'97, Lecture Notes in Computer Science , vol.1376 , pp. 18-61
- Meseguer, J.¹

32
- 0003177792
- Research directions in rewriting logic
- U. Berger, H. Schwichtenberg (Eds.), Springer, Berlin
- (1998) Computational Logic, NATO Advanced Study Institute, Marktoberdorf, Germany, July 29-August 6, 1997, NATO ASI Series F: Computer and Systems Sciences , vol.165 , pp. 347-398
- Meseguer, J.¹

33
- 0025500231
- Petri nets are monoids
- (1990) Inform. and Comput. , vol.88 , pp. 105-155
- Meseguer, J.¹ Montanari, U.²

34
- 0026155625
- Timed high-level nets
- (1991) J. Real-Time Systems , vol.3 , pp. 165-189
- Morasca, S.¹ Pezzè, M.² Trubian, M.³

35
- 0003747967
- Ph.D. Thesis, University of Bergen
- (2000) Specification and analysis of real-time and hybrid systems in rewriting logic
- Ölveczky, P.C.¹

36

37
- 0000511809
- An object-oriented algebraic steam-boiler control specification
- J.-R. Abrial, E. Börger, H. Langmaack (Eds.), Springer, Berlin
- (1996) Formal Methods for Industrial Application: Specifying and Programming the Steam-Boiler Control, Lecture Notes in Computer Science , vol.1165 , pp. 379-402
- Ölveczky, P.C.¹ Kosiuczenko, P.² Wirsing, M.³

38
- 0003319704
- Specifying real-time systems in rewriting logic
- J. Meseguer (Ed.), Proc. First Internat. Workshop on Rewriting Logic and its Applications, Elsevier, Amsterdam
- (1996) Electronic Notes in Theoretical Computer Science , vol.4
- Ölveczky, P.C.¹ Meseguer, J.²

39
- 0001466523
- Real-Time Maude: A tool for simulating and analyzing real-time and hybrid systems
- K. Futatsugi (Ed.), Third Internat. Workshop on Rewriting Logic and its Applications, 2000, Elsevier, Amsterdam
- (2000) Electronic Notes in Theoretical Computer Science , vol.36
- Ölveczky, P.C.¹ Meseguer, J.²

40
- 84968513637
- Computable algebra: General theory and theory of computable fields
- (1960) Trans. Amer. Math. Soc. , vol.95 , pp. 341-360
- Rabin, M.¹

41
- 0004006992
- Springer, Berlin
- (1985) Petri Nets, EATCS Monographs on Theoretical Computer Science , vol.4
- Reisig, W.¹

42
- 0009931083
- The Stanford Temporal Prover

43
- 84874246546
- A timed rewriting logic semantics for SDL: A case study of the alternating bit protocol
- C. Kirchner, H. Kirchner (Eds.), Proc. 2nd Internat. Workshop on Rewriting Logic and its Applications, Elsevier, Amsterdam
- (1998) Electronic Notes in Theoretical Computer Science , vol.15
- Steggles, L.J.¹ Kosiuczenko, P.²

44
- 0009953384
- Rewriting logic as a unifying framework for Petri nets
- H. Ehrig, G. Juhas, J. Padberg, G. Rozenberg (Eds.), Springer, Berlin
- (2001) Unifying Petri Nets, Lecture Notes in Computer Science (Advances in Petri Nets) , vol.2128 , pp. 250-303
- Stehr, M.-O.¹ Meseguer, J.² Ölveczky, P.C.³

45
- 0001111462
- Rewriting: An effective model of concurrency
- C. Halatsis, D. Maritsas, G. Philokyprou, S. Theodoridis (Eds.), Springer, Berlin
- (1994) Proc. PARLE'94, Lecture Notes in Computer Science , vol.817 , pp. 648-660
- Viry, P.¹

46
- 84896693998
- Kronos: A verification tool for real-time systems
- (1997) Software Tools Technol. Transfer , vol.1 , Issue.1-2
- Yovine, S.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.