J.P.M. Voeten, P.H.A. van der Putten, M.C.W. Geilen, M.P.J. Stevens  Home/Search
Context Related
| ics.ele.tue.nl/~mgeilen/...pror98_1.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ics.ele.tue.nl/~mg...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: To manage complexity and to shorten design cycles, industry is forced to look at system level methods for specification and design. These methods focus on the creation of executable system models describing a system in the earliest phases of the design process. They allow correctness properties and performance characteristics to be analysed before the system is actually being realised in terms of hardware and software components. Techniques based on classical process algebras (such as CCS and... (Update)
Similar documents based on text: More All
0.6: Performance Modeling in the Large: A Case Study - Theelen, Voeten, van.. (2001) (Correct)
0.5: Using the SHE Method for UML-based Performance Modelling - Theelen, van der Putten.. (2003) (Correct)
0.3: A Probabilistic Real-Time Calculus for Performance.. - Voeten, Geilen, van.. (1999) (Correct)
BibTeX entry: (Update)
J.P.M. Voeten, P.H.A. van der Putten, M.C.W. Geilen and M.P.J. Stevens, Towards System Level Performance Modelling, in J.P. Veen, Ed.,Proceedings of ProRISC/IEEE'98, Utrecht, STW, Technology Foundation, pp. 593--597, 1998. http://citeseer.ist.psu.edu/voeten98towards.html More
@misc{ voeten98towards,
author = "J. Voeten and P. van der Putten and M. Geilen and M. Stevens",
title = "Towards System Level Performance Modelling",
text = "J.P.M. Voeten, P.H.A. van der Putten, M.C.W. Geilen and M.P.J. Stevens,
Towards System Level Performance Modelling, in J.P. Veen, Ed.,Proceedings
of ProRISC/IEEE'98, Utrecht, STW, Technology Foundation, pp. 593--597, 1998.",
year = "1998",
url = "citeseer.ist.psu.edu/voeten98towards.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
1274 Object-Oriented Software Construction (context) - Meyer - 1988
247 Bisimulation Through Probabilistic Testing (context) - Larsen, Skou - 1989
204 Lecture Notes in Computer Science (context) - Milner, of et al. - 1980
186 A Temporal Calculus of Communicating Systems (context) - Moller, Tofts - 1990
154 Probability and Random Processes (context) - Grimmett, Stirzaker - 1982
129 Smalltalk-80: The Language (context) - Goldberg, Robson - 1989
111 Probability and Statistics for Engineering and the Sciences (context) - Devore - 1987
93 Multiprocessor and Distributed System Design: The Integratio.. - Gotz, Herzog et al. - 1993
28 generative and stratified models of probabilistic processes (context) - van Glabbeek, Smolka et al. - 1995
22 Specification of Reactive Hardware /Software Systems (context) - van der Putten, Voeten - 1997
18 Real time Concept Formal Specification Language SoftwareHard.. - Voeten, Concepts et al. - 1997
7 Systematic Development Industrial Control System Using Softw.. (context) - van der Putten, Development et al. - 1997
6 Object Oriented coDesign HardwareSoftware System (context) - Voeten, Oriented et al. - 1995
4 Computer Networks 3rd ed (context) - Tanenbaum - 1996
[Article contains additional citations not shown here]
Documents on the same site (http://www.ics.ele.tue.nl/~mgeilen/publications/publications.html): More
On the Construction of Monitors for Temporal Logic Properties - Geilen (2001) (Correct)
Real-time Concepts for a Formal Specification Language for.. - Geilen, Voeten (1997) (Correct)
Applying Verification Methods to Non-Exhaustive.. - Geilen, Dams, Voeten (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC