Peter Scholz

According to our database1, Peter Scholz authored at least 23 papers between 1996 and 2015.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Translating bioinformatics in oncology: guilt-by-profiling analysis and identification of KIF18B and CDCA3 as novel driver genes in carcinogenesis.
Bioinform., 2015

2014
A manager's view on large scale XP projects.
CoRR, 2014

Scaling the Management of Extreme Programming Projects.
CoRR, 2014

2013
Behavioral refinement of non-deterministic state transition diagrams based on behavior elimination.
Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

2007
Efficient Antenna Design of Inductive Coupled RFID-Systems with High Power Demand.
J. Commun., 2007

2006
Partitioning of perfect synchroneous reactive specifications to distributed processors using µ-charts.
Softw. Syst. Model., 2006

Formal incremental requirements specification of service-oriented automotive software systems.
Proceedings of the 2006 International Workshop on Service Oriented Software Engineering (IW-SOSE '06), 2006

2005
Softwareentwicklung eingebetteter Systeme - Grundlagen, Modellierung, Qualitätssicherung.
Xpert.press, Springer, ISBN: 978-3-540-27522-0, 2005

2003
Eine Informationsbasis für zeitoptimiertes Incident Management.
Proceedings of the IT-Incident Management & IT-Forensics - Erste Tagung der Fachgruppe SIDAR der Gesellschaft für Informatik, 24., 2003

2001
Incremental design of statechart specifications.
Sci. Comput. Program., 2001

1999
Die Praxis der Softwareentwicklung: Eine Erhebung.
Inform. Spektrum, 1999

Focusing on Mobility.
Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

1998
Design of reactive systems and their distributed implementation with statecharts.
PhD thesis, 1998

Formal Verification and Hardware Design with Statecharts.
Proceedings of the Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA, 1998

From synchronous Specifications to Asynchronous Distributed Implementations.
Proceedings of the Distributed and Parallel Embedded Systems, 1998

From MSCs to Statecharts.
Proceedings of the Distributed and Parallel Embedded Systems, 1998

A Refinement Calculus for Statecharts.
Proceedings of the Fundamental Approaches to Software Engineering, 1998

1997
Compositional Specification of Embedded Systems with Statecharts.
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Formal Verification of Statecharts with Instantaneous Chain Reaction.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Functional Specification of Real-Time and Hybrid Systems.
Proceedings of the Hybrid and Real-Time Systems, 1997

Communication Concepts for Statecharts: A Semantic Foundation.
Proceedings of the Transformation-Based Reactive Systems Development, 1997

Task Assignment for Distributed Computing.
Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), 1997

1996
A Light-Weight Formalism for the Specification of Reactive Systems.
Proceedings of the SOFSEM '96: Theory and Practice of Informatics, 1996


  Loading...