dblp.uni-trier.dewww.uni-trier.de

Peter Scholz

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
16EEChristian Reinhold, Peter Scholz, Werner John, Ulrich Hilleringmann: Efficient Antenna Design of Inductive Coupled RFID-Systems with High Power Demand. JCM 2(6): 14-23 (2007)
2006
15EEJudith Hartmann, Sabine Rittmann, Doris Wild, Peter Scholz: Formal incremental requirements specification of service-oriented automotive software systems. SOSE 2006: 130-133
14EEPeter Scholz: Partitioning of perfect synchroneous reactive specifications to distributed processors using µ-charts. Software and System Modeling 5(1): 13-25 (2006)
2001
13 Peter Scholz: Incremental design of statechart specifications. Sci. Comput. Program. 40(1): 119-145 (2001)
1999
12EEKlaus Bergner, Radu Grosu, Andreas Rausch, Alexander Schmidt, Peter Scholz, Manfred Broy: Focusing on Mobility. HICSS 1999
11EEBernhard Deifel, Ursula Hinkel, Barbara Paech, Peter Scholz, Veronika Thurner: Die Praxis der Softwareentwicklung: Eine Erhebung. Informatik Spektrum 22(1): 24-36 (1999)
1998
10 Peter Scholz: From synchronous Specifications to Asynchronous Distributed Implementations. DIPES 1998: 39-50
9 Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy: From MSCs to Statecharts. DIPES 1998: 61-72
8EEPeter Scholz: A Refinement Calculus for Statecharts. FASE 1998: 285-301
7EEJan Philipps, Peter Scholz: Formal Verification and Hardware Design with Statecharts. Prospects for Hardware Foundations 1998: 356-389
1997
6EEPeter Scholz, Erwin Harbeck: Task Assignment for Distributed Computing. APDC 1997: 270-277
5 Peter Scholz, Dieter Nazareth: Communication Concepts for Statecharts: A Semantic Foundation. ARTS 1997: 126-140
4 Olaf Müller, Peter Scholz: Functional Specification of Real-Time and Hybrid Systems. HART 1997: 273-285
3 Jan Philipps, Peter Scholz: Formal Verification of Statecharts with Instantaneous Chain Reaction. TACAS 1997: 224-238
2 Jan Phillips, Peter Scholz: Compositional Specification of Embedded Systems with Statecharts. TAPSOFT 1997: 637-651
1996
1 Peter Scholz: A Light-Weight Formalism for the Specification of Reactive Systems. SOFSEM 1996: 425-432

Coauthor Index

1Klaus Bergner [12]
2Manfred Broy [9] [12]
3Bernhard Deifel [11]
4Radu Grosu [9] [12]
5Erwin Harbeck [6]
6Judith Hartmann [15]
7Ulrich Hilleringmann [16]
8Ursula Hinkel [11]
9Werner John [16]
10Ingolf Krüger (Ingolf H. Krüger) [9]
11Olaf Müller [4]
12Dieter Nazareth [5]
13Barbara Paech [11]
14Jan Philipps [3] [7]
15Jan Phillips [2]
16Andreas Rausch [12]
17Christian Reinhold [16]
18Sabine Rittmann [15]
19Alexander Schmidt [12]
20Veronika Thurner [11]
21Doris Wild [15]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)