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