BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Italy
1 × USA
Collaborated with:
B.Huber D.Prokesch I.Wenzel B.Rieder R.Kirner H.Kopetz R.Zainlinger G.Fohler H.Kantz W.Schütz
Talks about:
model (2) time (2) approach (1) generat (1) control (1) analysi (1) utomat (1) system (1) partit (1) machin (1)

Person: Peter P. Puschner

DBLP DBLP: Puschner:Peter_P=

Contributed to:

LCTES 20132013
DATE 20052005
ESEC 19911991

Wrote 3 papers:

LCTES-2013-HuberPP #analysis #control flow #graph #using
Combined WCET analysis of bitcode and machine code using control-flow relation graphs (BH, DP, PPP), pp. 163–172.
DATE-2005-WenzelRKP #clustering #context-free grammar #generative #model checking
utomatic Timing Model Generation by CFG Partitioning and Model Checking (IW, BR, RK, PPP), pp. 606–611.
ESEC-1991-KopetzZFKPS #approach #design #realtime
An Engineering Approach to Hard Real-Time System Design (HK, RZ, GF, HK, PPP, WS), pp. 166–188.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.