Peter Scholz

24 papers A 1B 2Journal 8Unranked 11
YearRankTypeTitle / Venue / Authors
2024 J jnl
Reducing Contact Bouncing of a Relay by Optimizing the Switch Signal During Run-Time.
IEEE Trans Autom. Sci. Eng.
Fabian Winkel, Peter Scholz, Oliver Wallscheid, Joachim Böcker
2015 J jnl
Translating bioinformatics in oncology: guilt-by-profiling analysis and identification of KIF18B and CDCA3 as novel driver genes in carcinogenesis.
Bioinform.
Timo Itzel, Peter Scholz, Thorsten Maass, Markus Krupp, Jens U. Marquardt, Susanne Strand, Diana Becker, Frank Staib, Harald Binder, Stephanie Roessler, Xin Wei Wang, Snorri Thorgeirsson, Martina Müller, Peter R. Galle, Andreas Teufel
2014 J jnl
A manager's view on large scale XP projects.
CoRR
Bernhard Rumpe, Peter Scholz
2014 J jnl
Scaling the Management of Extreme Programming Projects.
CoRR
Bernhard Rumpe, Peter Scholz
2013 — conf
Behavioral refinement of non-deterministic state transition diagrams based on behavior elimination.
SPLC Workshops
Christian Prehofer, Peter Scholz
2007 J jnl
Efficient Antenna Design of Inductive Coupled RFID-Systems with High Power Demand.
J. Commun.
Christian Reinhold, Peter Scholz, Werner John, Ulrich Hilleringmann
2006 — conf
Formal incremental requirements specification of service-oriented automotive software systems.
SOSE
Judith Hartmann, Sabine Rittmann, Doris Wild, Peter Scholz
2006 J jnl
Partitioning of perfect synchroneous reactive specifications to distributed processors using µ-charts.
Softw. Syst. Model.
Peter Scholz
2005 — book
Softwareentwicklung eingebetteter Systeme - Grundlagen, Modellierung, Qualitätssicherung.
Peter Scholz
2003 — conf
Eine Informationsbasis für zeitoptimiertes Incident Management.
IMF
Peter Scholz, Ramon Mörl
2001 J jnl
Incremental design of statechart specifications.
Sci. Comput. Program.
Peter Scholz
1999 J jnl
Die Praxis der Softwareentwicklung: Eine Erhebung.
Inform. Spektrum
Bernhard Deifel, Ursula Hinkel, Barbara Paech, Peter Scholz, Veronika Thurner
1999 — conf
Focusing on Mobility.
HICSS
Klaus Bergner, Radu Grosu, Andreas Rausch, Alexander Schmidt, Peter Scholz, Manfred Broy
1998 B conf
A Refinement Calculus for Statecharts.
FASE
Peter Scholz
1998 — —
Design of reactive systems and their distributed implementation with statecharts.
Peter Scholz
1998 — conf
Formal Verification and Hardware Design with Statecharts.
Prospects for Hardware Foundations
Jan Philipps, Peter Scholz
1998 — conf
From MSCs to Statecharts.
DIPES
Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy
1998 — conf
From synchronous Specifications to Asynchronous Distributed Implementations.
DIPES
Peter Scholz
1997 — conf
Communication Concepts for Statecharts: A Semantic Foundation.
ARTS
Peter Scholz, Dieter Nazareth
1997 — conf
Compositional Specification of Embedded Systems with Statecharts.
TAPSOFT
Jan Phillips, Peter Scholz
1997 A conf
Formal Verification of Statecharts with Instantaneous Chain Reaction.
TACAS
Jan Philipps, Peter Scholz
1997 — conf
Functional Specification of Real-Time and Hybrid Systems.
HART
Olaf Müller, Peter Scholz
1997 — conf
Task Assignment for Distributed Computing.
APDC
Peter Scholz, Erwin Harbeck
1996 B conf
A Light-Weight Formalism for the Specification of Reactive Systems.
SOFSEM
Peter Scholz