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

메뉴 건너뛰기

Theoretical Computer Science

Volumn 253, Issue 1, 2001, Pages 61-93

PLC-automata: A new class of implementable real-time automata

(1) Dierks, Henning a

a UNIVERSITY OF OLDENBURG (Germany)

Author keywords

Duration calculus; Formal methods; PLC; Real time; Specification

Indexed keywords

AUTOMATA THEORY; COMPUTER SYSTEMS PROGRAMMING; FORMAL LOGIC; PROGRAMMABLE LOGIC CONTROLLERS;

DURATION CALCULUS;

REAL TIME SYSTEMS;

EID: 0034920712 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(00)00089-X Document Type: Article

Times cited : (46)

References (33)

1
- 0025623486
- Model-checking for real-time systems
- IEEE Press, New York
- (1990) 5th Annu. IEEE Symp. on Logic in Computer Science , pp. 414-425
- Alur, R.¹ Courcoubetis, C.² Dill, D.³

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

3
- 84958046350
- Hybrid Systems III, Springer, Berlin
- (1996) Lecture Notes in Computer Science , vol.1066
- Alur, R.¹ Henzinger, T.² Sontag, E.³

4
- 84958037228
- Uppaal - A tool suite for automatic verification of real-time systems
- R. Alur, T. Henzinger, E. Santag (eds.), Hybrid Systems III, Springer, Berlin
- (1996) Lecture Notes in Computer Science , vol.3 , pp. 232-243
- Bengtsson, J.¹ Larsen, K.G.² Larsson, F.³ Pettersson, P.⁴ Yi, W.⁵

5
- 84974717679
- Verification of an audio control protocol
- H. Langmaack, W.-P. de Roever, J. Vytopil (Eds.), Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, Berlin
- (1994) Lecture Notes in Computer Science , vol.863 , pp. 170-192
- Bosscher, D.¹ Polak, I.² Vaandrager, F.³

6
- 0004455028
- ProCoS II: A ProCoS II project final report
- Chapter 3 Number 59, European Association for Theoretical Computer Science, June
- (1996) Bulletin of the EATCS , pp. 76-99
- Bowen, J.¹ Hoare, C.A.R.² Langmaack, H.³ Olderog, E.-R.⁴ Ravn, A.P.⁵

7
- 40149092144
- The tool Kronos
- R. Alur, T. Henzinger, E. Santag (Eds.), Hybrid Systems III, Springer, Berlin
- (1996) Lecture Notes in Computer Science , vol.3 , pp. 208-219
- Daws, C.¹ Olivero, A.² Tripakis, S.³ Yovine, S.⁴

8
- 84958779394
- PLC-Automata: A new class of implementable real-time automata
- M. Bertran, T. Rus (Eds.), ARTS'97, Mallorca, Spain, Springer, Berlin, May
- (1997) Lecture Notes in Computer Science , vol.1231 , pp. 111-125
- Dierks, H.¹

9
- 0030655947
- Synthesising controllers from real-time specifications
- IEEE Computer Society, New York, September, short version of [11]
- (1997) 10th Internat. Symp. on System Synthesis , pp. 126-133
- Dierks, H.¹

10
- 0004454768
- Comparing model-checking and logical reasoning for real-time systems
- (1998) Workshop Proc. of the ESSLLI'98 , pp. 13-22
- Dierks, H.¹

11
- 0032710288
- Synthesizing controllers from real-time specifications
- (1999) IEEE Transac. Comput.-Aided Design Integrated Circuits Systems , vol.18 , Issue.1 , pp. 33-43
- Dierks, H.¹

12
- 84957368769
- Graphical specification and reasoning: Case study generalized railroad crossing
- J. Fitzgerald, C.B. Jones, P. Lucas (Eds.), FME'97, Graz, Austria, Springer, Berlin, September
- (1997) Lecture Notes in Computer Science , vol.1313 , pp. 20-39
- Dierks, H.¹ Dietz, C.²

13
- 84958641603
- Operational and logical semantics for polling real-time systems
- Ravn, Rischel (Eds.) Formal Techniques in Real-Time and Fault-Tolerant Systems, Lyngby, Denmark, Springer, Berlin, September, short version of [14]
- (1998) Lecture Notes in Computer Science , vol.1486 , pp. 29-40
- Dierks, H.¹ Fehnker, A.² Mader, A.³ Vaandrager, F.W.⁴

14
- 4243579211
- Technical Report CSI-R9813, Computer Science Institue Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, April, full paper of [13]
- (1998) Operational and logical semantics for polling real-time systems
- Dierks, H.¹ Fehnker, A.² Mader, A.³ Vaandrager, F.W.⁴

15
- 0004501359
- Tool-supported hierarchical design of distributed real-time systems
- IEEE Computer Society, June
- (1998) Proc. 10th EuroMicro Workshop on Real Time Systems , pp. 222-229
- Dierks, H.¹ Tapken, J.²

16
- 0001540660
- Duration calculus: Logical foundations
- (1997) Formal Aspects Comput. , vol.9 , pp. 283-330
- Hansen, M.R.¹ Chaochen, Z.²

17
- 0023365727
- Statecharts: A visual formalism for complex systems
- (1987) Sci. Comput. Programming , vol.8 , pp. 231-274
- Harel, D.¹

18
- 0024016415
- On visual formalisms
- May
- (1988) Comm. ACM , vol.31 , Issue.5 , pp. 514-530
- Harel, D.¹

19
- 33646163949
- (1993) IEC International Standard 1131-3, Programmable Controllers, Part 3, Programming Languages

20
- 0004456645
- Springer, Berlin (in German)
- (1995) SPS-Programmierung Mit IEC 1131-3
- John, K.-H.¹ Tiegelkamp, M.²

21
- 0004520292
- UniForM - Universal formal methods workbench
- U. Grote, G. Wolf (Eds.) BMBF, Berlin, March
- (1996) Statusseminar des BMBF Softwaretechnologie , pp. 357-378
- Krieg-Brückner, B.¹ Peleska, J.² Olderog, E.-R.³ Balzer, D.⁴ Baer, A.⁵

22
- 0003262645
- Formal development of reactive systems: Case study "production cell"
- Springer, Berlin
- (1995) Lecture Notes in Computer Science , vol.891
- Lewerentz, C.¹

23
- 5844368657
- Forschungszentrum Informatik, Karlsruhe
- (1994) Case Study "Production Cell"
- Lewerentz, C.¹ Lindner, T.²

24
- 0004531870
- Programming industrial control systems using IEC 1131-3
- (1995) The Institution of Electrical Engineers
- Lewis, R.W.¹

25
- 84947476258
- Hardware timing verification using kronos
- IEEE Press, New York
- (1996) Proc. 7th Conf. on Computer-based Systems and Software Engineering
- Maler, O.¹ Yovine, S.²

26
- 0004482781
- Modular compiler verification
- Springer, Berlin
- (1997) Lecture Notes in Computer Science , vol.1283
- Müller-Olm, M.¹

27
- 0004148922
- Technical Report 1995-170, Technical University of Denmark
- (1995) Design of embedded real-time computing systems
- Ravn, A.P.¹

28
- 0004455570
- Formal techniques in real-time and fault-tolerant systems
- Lyngby, Denmark, Springer, Berlin, September
- (1998) Lecture Notes in Computer Science , vol.1486
- Ravn, A.P.¹ Rischel, H.²

29
- 0027283103
- Specifying and verifying requirements of real-time systems
- (1993) IEEE Trans. Software Eng. , vol.19 , pp. 41-55
- Ravn, A.P.¹ Rischel, H.² Hansen, K.M.³

30
- 0004164702
- Habilitation Thesis, University of Oldenburg, April
- (1997) Development of correct real-time systems by refinement
- Schenke, M.¹

31
- 0004501360
- Interactive and compilative simulation of PLC-Automata
- W. Hahn, A. Lehmann (Eds.), SCS, October
- (1997) ESS'97 , pp. 552-556
- Tapken, J.¹

32
- 84958657706
- MOBY/PLC - Graphical development of PLC-automata
- A.P. Ravn, H. Rischel (Eds.), Formal Techniques in Real-Time and Fault-Tolerant Systems, Lyngby, Denmark, Springer, Berlin, September
- (1998) Lecture Notes in Computer Science , vol.1486 , pp. 311-314
- Tapken, J.¹ Dierks, H.²

33
- 0026285434
- A calculus of durations
- (1991) Inform. Proc. Lett. , vol.40 , Issue.5 , pp. 269-276
- Chaochen, Z.¹ Hoare, C.A.R.² Ravn, A.P.³

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