 Integration of restricted design spaces and partial evaluation in a developing kernel for embedded systems
|
|
| Vladimir Támara
|
|
| SFB 501 University of Kaiserslautern, SFB 501 Report No. 06/01
|
|
| -no abstract-
| -no download-
|  Origin
|
|
|
| Restricted Design Spaces: Visualization and Consistency Tools
|
|
| Vladimir Támara
|
|
| SFB 501 University of Kaiserslautern, SFB 501 Report No. 03/01
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| The Formal Semantics of SDL-2000: Compiling and Running SDL Specifications on ASM Models
|
|
| Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Martin von Löwis, and Andreas Prinz
|
|
| Extended Abstracts of Eurocast 2001, Workshop on ASM, Las Palmas de Gran Canaria, Canary Islands, Spain, 19-23 Feb. 2001 pp. 216-219
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Derivation of a Termination Detection Algorithm using Abstract State Machines
|
|
| Robert Eschbach
|
|
| Extended Abstracts of Eurocast 2001, Workshop on ASM, Las Palmas de Gran Canaria, Canary Islands, Spain, 19-23 Feb. 2001 pp. 279-280
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| A Verification Approach for Distributed Abstract State Machines
|
|
| Robert Eschbach
|
|
| Proceedings of PSI 2001, LNCS pp. 109-115
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models
|
|
| R. Eschbach, U. Glässer, R. Gotzhein, M. von Löwis, and A. Prinz
|
|
| Journal of Universal Computer Science, 7 pp. 1025-1050
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| The Light Control Case Study: Problem Description
|
|
| S. Queins, G. Zimmermann, M. Becker, M. Kronenburg, C. Peper, R. Merz, and J. Schäfer
|
|
| Journal of Universal Computer Science, Special Issue on Requirements Engineering, 6 pp. 586-596
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| An Executable Formal Semantics for SDL-2000
|
|
| Andreas Prinz, Robert Eschbach, and Reinhard Gotzhein
|
|
| Proc. of SAM 2000, 2nd Workshop of the SDL Forum Society on SDL and MSC
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Application of the FOREST Approach to the Light Control Case Study
|
|
| Martin Kronenburg and Christian Peper
|
|
| Journal of Universal Computer Science, Special Issue on Requirements Engineering, 6 pp. 679-703
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| On the Formal Semantics of SDL-2000: A Compilation Approach using Abstract State Machines
|
|
| Robert Eschbach, Reinhard Gotzhein, and Andreas Prinz
|
|
| Local Proc. of ASM2000, Monte Verità, Switzerland
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine
|
|
| Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, and Andreas Prinz
|
|
| Abstract State Machines - Theory and Applications, LNCS
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| FOREST - Entwurf und Implementierung einer Umgebung zur Erstellung formaler System-Anforderungs-Beschreibungen
|
|
| Tobias Schmidt-Samoa
|
|
| Fachbereich Informatik, Universität Kaiserslautern, Diplomarbeit
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Definition and Instantiation of a Reference Model for Problem Specifications
|
|
| Martin Kronenburg and Christian Peper
|
|
| 1th International Conference on Software Engineering and Knowledge Engineering pp. 332-336
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Dokumentation der Problemspezifikation der Streckenbeeinflussungsanlage A 61 Bingen-Rheinböllen
|
|
| Markus Kaiser
|
|
| Fachbereich Informatik, Universität Kaiserslautern, Projektarbeit
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| A Termination Detection Algorithm: Specification and Verification
|
|
| Robert Eschbach
|
|
| Proc. of FM'99 - World Congress on Formal Methods in the Development of Computing Systems, LNCS pp. 1720-1737
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Case Study: Implementing an SDL System in Erlang
|
|
| Thomas Deiß
|
|
| SFB 501 University of Kaiserslautern, SFB 501 Report No. 06/99
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| An Approach to the Combination of Formal Description Techniques: Statecharts and TLA
|
|
| Thomas Deiß
|
|
| Integrated Formal Methods 1999 pp. 231-250
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Temporal Logics as Examples of Formal Description Techniques for Timed Systems
|
|
| Martin Kronenburg, Thomas Deiß, and Robert Eschbach
|
|
| University of Kaiserslautern, SFB 501 Report No. 07/98
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirements Pattern
|
|
| Reinhard Gotzhein, Martin Kronenburg, and Christian Peper
|
|
| 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems FTRTFT'98, 1486, LNCS
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| A Framework for the Analysis of Formal Description Techniques for Timed Systems
|
|
| Robert Eschbach, Thomas Deiß, and Martin Kronenburg
|
|
| SFB 501 University of Kaiserslautern, SFB 501 Report No. 05/98
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Modellierung einer Produktionszelle in einer Kombination aus statecharts und TLA
|
|
| Andreas Schowalter
|
|
| Fachbereich Informatik, Universität Kaiserslautern, Projektarbeit
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Formal Specification of Real-Time Requirements for Building Automation Systems
|
|
| Christian Peper, Reinhard Gotzhein, and Martin Kronenburg
|
|
| SFB 501 University of Kaiserslautern, SFB 501 Report No. 01/97
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| A Generic Approach to the Formal Specification of Requirements
|
|
| Christian Peper, Reinhard Gotzhein, and Martin Kronenburg
|
|
| 1st IEEE International Conference on Formal Engineering Methods (ICFEM'97)
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| A Catalogue of Criteria for Evaluating Formal Methods and Its Application
|
|
| Thomas Deiß, Martin Kronenburg, and Dirk Zeckzer
|
|
| SFB 501 University of Kaiserslautern, SFB 501 Report No. 04/97
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| A Case Study on the Use of SDL
|
|
| Thomas Deiß and Thomas Hillenbrand
|
|
| SFB 501 University of Kaiserslautern, SFB 501 Report No. 03/97
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| A Tailored Real Time Temporal Logic for Specifying Requirements of Building Automation System
|
|
| Martin Kronenburg, Reinhard Gotzhein, and Christian Peper
|
|
| SFB 501 University of Kaiserslautern, SFB 501 Report No. 16/96
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Specifying and Reasoning about Generic Real-Time Requirements - A Case Study
|
|
| Reinhard Gotzhein, Martin Kronenburg, and Christian Peper
|
|
| SFB 501 University of Kaiserslautern, SFB 501 Report No. 15/96
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Combining a state based formalism with temporal logic
|
|
| Thomas Deiß
|
|
| SFB 501 University of Kaiserlautern, SFB 501 Report No. 05/96
|
|
| -no abstract-
| -no download-
| Origin
|
|
|