 | 2007 |
|---|
| 16 |       | Christian 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 |
|---|
| 15 | | Judith Hartmann,
Sabine Rittmann,
Doris Wild,
Peter Scholz:
Formal incremental requirements specification of service-oriented automotive software systems.
SOSE 2006: 130-133 |
| 14 | | Peter 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 |
|---|
| 12 | | Klaus Bergner,
Radu Grosu,
Andreas Rausch,
Alexander Schmidt,
Peter Scholz,
Manfred Broy:
Focusing on Mobility.
HICSS 1999 |
| 11 | | Bernhard 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 |
| 8 | | Peter Scholz:
A Refinement Calculus for Statecharts.
FASE 1998: 285-301 |
| 7 | | Jan Philipps,
Peter Scholz:
Formal Verification and Hardware Design with Statecharts.
Prospects for Hardware Foundations 1998: 356-389 |
| 1997 |
|---|
| 6 | | Peter 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 |
