A selection of these reports is available in PostScript form at the Faculty's anonymous ftp-site. They are located in the directory /pub/publications/tech-reports at ftp.twi.tudelft.nl
|
1713
|
Statecharts: A Visual Formalism for Complex Systems
– Harel
- 1987
|
|
1345
|
A.: The Temporal Logic of Reactive and Concurrent Systems
– Manna, Pnueli
- 1992
|
|
693
|
Parallel Program Design { A Foundation
– Chandy, Misra
- 1988
|
|
688
|
Software Engineering Economics
– Boehm
- 1981
|
|
335
|
The synchronous data flow programming language
– Halbwachs, Caspi, et al.
- 1991
|
|
215
|
Safety Analysis of Timing Properties in Real-Time Systems
– Jahanian, Mok
- 1986
|
|
189
|
Plaice, “LUSTRE: A declarative language for programming synchronous systems
– Caspi, Pilaud, et al.
- 1987
|
|
157
|
What good is temporal logic
– Lamport
- 1983
|
|
129
|
A Simple Approach to Specifying Concurrent Systems
– Lamport
- 1989
|
|
128
|
From timed to hybrid systems
– Maler, Manna, et al.
- 1991
|
|
127
|
Net Theory and the Modelling of Systems
– Petri
- 1981
|
|
125
|
Decentralization of process nets with centralized control
– Back, Kurki-Suonio
- 1983
|
|
119
|
Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends
– Pnueli
- 1986
|
|
96
|
Specifying and Verifying Requirements of Real-Time Systems
– Ravn, Rischel, et al.
|
|
72
|
Timed Transition Systems
– Henzinger, Manna, et al.
- 1992
|
|
67
|
TRIO: a Logic Language for Executable Specifications of Real-time Systems
– Ghezzi, Mandrioli, et al.
- 1990
|
|
65
|
Software requirements analysis for real-time process-control systems
– Jaffe, Leveson, et al.
- 1991
|
|
57
|
Temporal proof methodologies for real-time systems
– Henzinger, Manna, et al.
- 1991
|
|
53
|
A Case-study in Timed Refinement: A Mine Pump
– Mahony, Hayes
- 1992
|
|
44
|
Logics and models of real-time: A survey
– Alur, Henzinger
- 1992
|
|
32
|
An old-fashioned recipe for real-time
– Abadi, Lamport
- 1992
|
|
29
|
Formal methods for the specification and design of real-time safety critical systems
– Ostroff
- 1992
|
|
29
|
An insider's evaluation of paisley
– Zave
- 1991
|
|
26
|
ASTRAL: An Assertion Language for Specifying Realtime Systems
– Ghezzi, Kemmerer
- 1991
|
|
24
|
DisCo specification language: marriage of actions and objects
– Jarvinen, Kurki-Suonio
- 1991
|
|
19
|
Embedding time granularity in a logical specification language for synchronous real-time systems
– Ciapessoni, Corsetti, et al.
- 1993
|
|
18
|
Validating real-time systems by history-checking trio specifications
– Felder, Morzenti
- 1994
|
|
16
|
The Anchored Version of the Temporal Framework, Linear Time, Branching Time and
– Manna, Pnueli
- 1989
|
|
15
|
J.A.: Real Time Process Algebra, Formal Aspects of Computing 3(2
– Baeten, Bergstra
- 1991
|
|
13
|
Action system approach to the specification and design of distributed systems
– Kurki-Suonio, Jarvinen
- 1989
|
|
12
|
Executing formal specifications: The ASTRAL to TRIO translation approach
– Ghezzi, Kemmerer
- 1991
|
|
11
|
Serializability in distributed systems with handshaking
– Back, Kurki-Suonio
- 1988
|
|
10
|
Stepwise design of real-time systems
– Kurki-Suonio
- 1993
|
|
5
|
The Concept of Time in the Specification of RealTime Systems
– Hoogeboom, Halang
- 1992
|
|
4
|
Validating real-time systems by executing logic specifications
– Felder, Morzenti
- 1992
|
|
4
|
Real-time: Further misconceptions (or half-truths
– Kurki-Suonio
- 1994
|
|
3
|
Real-time specification and modeling with joint actions
– Kurki-Suonio, Systa, et al.
- 1991
|
|
3
|
Scheduling in real-time models
– Kurki-Suonio, Systa, et al.
- 1991
|
|
2
|
Timing constraints of real time systems: Constructs for expressing them, methods of validating them
– Dasarathy
- 1985
|
|
2
|
Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE
– Ratel, Halbwachs, et al.
- 1992
|
|
2
|
Synchronous Programming of Reactive Systems
– Halbwach
- 1993
|
|
1
|
Validating real-time systems by extending logic specifications
– Morzenti
- 1991
|
|
1
|
Seal: a simple language for prototyping action-event specifications
– Brink, Huijsman, et al.
- 1993
|
|
1
|
as a tool for reactive systems specification and derivation
– Unity
- 1993
|
|
1
|
Ph.D Thesis: The Design of a Specification Language for Reactive Systems
– Jarvinen
- 1993
|
|
1
|
Thesis: Experiments with Formal Methods
– D
- 1993
|
|
1
|
Software Engineering Environments, Conbcepts and
– Charette
- 1986
|
|
1
|
Thesis: Model Oriented Specification of Communicating Agents
– Ph
- 1992
|
|
