Peter Scholz - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2024

Reducing Contact Bouncing of a Relay by Optimizing the Switch Signal During Run-TimeFabian Winkel, Peter Scholz, Oliver Wallscheid, Joachim Böcker. tase, 21(4):6165-6175, October 2024. [doi]

2015

Translating bioinformatics in oncology: guilt-by-profiling analysis and identification of KIF18B and CDCA3 as novel driver genes in carcinogenesisTimo 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. bioinformatics, 31(2):216-224, 2015. [doi]

2013

Behavioral refinement of non-deterministic state transition diagrams based on behavior eliminationChristian Prehofer, Peter Scholz. SPLC 2013: 26-33 [doi]

2007

Efficient Antenna Design of Inductive Coupled RFID-Systems with High Power DemandChristian Reinhold, Peter Scholz, Werner John, Ulrich Hilleringmann. jcm, 2(6):14-23, 2007. [doi]

2006

Formal incremental requirements specification of service-oriented automotive software systemsJudith Hartmann, Sabine Rittmann, Doris Wild, Peter Scholz. sose 2006: 130-133 [doi]

Partitioning of perfect synchroneous reactive specifications to distributed processors using µ-chartsPeter Scholz. SoSyM, 5(1):13-25, 2006. [doi]

2005

Softwareentwicklung eingebetteter Systeme - Grundlagen, Modellierung, QualitätssicherungPeter Scholz. Xpert.press, Springer, 2005. [doi]

2003

Eine Informationsbasis fÃ¼r zeitoptimiertes Incident ManagementPeter Scholz, Ramon MÃ¶rl. sidar 2003: 43-56

2001

Incremental design of statechart specificationsPeter Scholz. SCP, 40(1):119-145, 2001.

1999

Focusing on MobilityKlaus Bergner, Radu Grosu, Andreas Rausch, Alexander Schmidt, Peter Scholz, Manfred Broy. hicss 1999: [doi]

Die Praxis der Softwareentwicklung: Eine ErhebungBernhard Deifel, Ursula Hinkel, Barbara Paech, Peter Scholz, Veronika Thurner. insk, 22(1):24-36, 1999. [doi]

1998

From MSCs to StatechartsIngolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy. ifip10-3 1999: 61-72

Formal Verification and Hardware Design with StatechartsJan Philipps, Peter Scholz. nada 1998: 356-389 [doi]

Design of reactive systems and their distributed implementation with statechartsPeter Scholz. PhD thesis, Technical University Munich, Germany, 1998. [doi]

From synchronous Specifications to Asynchronous Distributed ImplementationsPeter Scholz. ifip10-3 1999: 39-50

A Refinement Calculus for StatechartsPeter Scholz. FASE 1998: 285-301 [doi]

1997

1996

A Light-Weight Formalism for the Specification of Reactive SystemsPeter Scholz. sofsem 1996: 425-432

Sign in or sign up to see more results.

runs on WebDSL