Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(29)
Stefan Kowalewski
12
Bastian Schlich
9
Thomas Reinbacher
6
Andrew J. King
5
Martin Horauer
4
Conferences
(12)
SIES
2
SAS(WSA)
1
CASES
1
ESOP
1
ATVA
1
Journals
(3)
ENTCS
3
SCP
1
PHYS REV B
1
Keywords
(61)
Embed
Subscribe
Academic
Authors
Jorg Brauer
Edit
Jorg Brauer (Jörg Brauer)
Rheinisch Westfalische Technische Hochschule Aachen
Publications: 25
|
Citations: 28
|
G-Index: 4
|
H-Index: 3
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Engineering
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
29 co-authors
from 2008 to 2011
; Cited by
30 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(25)
BibTeX
|
RIS
|
RefWorks
Download
Application of static analyses for state-space reduction to the microcontroller binary code
(
Citations: 1
)
Bastian Schlich
,
Jörg Brauer
,
Stefan Kowalewski
Journal:
Science of Computer Programming - SCP
, vol. 76, no. 2, pp. 100-118, 2011
Transfer Function Synthesis without Quantifier Elimination
(
Citations: 2
)
Jörg Brauer
,
Andy King
Conference:
European Symposium on Programming - ESOP
, pp. 97-115, 2011
Approximate Quantifier Elimination for Propositional Boolean Formulae
(
Citations: 1
)
Jörg Brauer
,
Andy King
Published in 2011.
On-The-Fly Path Reduction
Sebastian Biallas
,
Jörg Brauer
,
Dominique Gückel
,
Stefan Kowalewski
Journal:
Electronic Notes in Theoretical Computer Science - ENTCS
, vol. 274, pp. 3-16, 2011
Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid Memory Representations
Eva Beckschulze
,
Jorg Brauer
,
Andre Stollenwerk
,
Stefan Kowalewski
Conference:
International Conference on Environment and Electrical Engineering - ISORCW
, 2011
Order by:
Citations
(28 times by 18 publications)
Application of static analyses for state-space reduction to the microcontroller binary code
(
Citations: 1
)
Bastian Schlich
,
Jörg Brauer
,
Stefan Kowalewski
Journal:
Science of Computer Programming - SCP
, vol. 76, no. 2, pp. 100-118, 2011
Transfer Function Synthesis without Quantifier Elimination
(
Citations: 2
)
Jörg Brauer
,
Andy King
Conference:
European Symposium on Programming - ESOP
, pp. 97-115, 2011
Approximate Quantifier Elimination for Propositional Boolean Formulae
(
Citations: 1
)
Jörg Brauer
,
Andy King
Published in 2011.
Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid Memory Representations
Eva Beckschulze
,
Jorg Brauer
,
Andre Stollenwerk
,
Stefan Kowalewski
Conference:
International Conference on Environment and Electrical Engineering - ISORCW
, 2011
SAT-based abstraction refinement for programmable logic controllers
Sebastian Biallas
,
Jorg Brauer
,
Stefan Kowalewski
Conference:
International Workshop on Dependable Control of Discrete Systems - DCDS
, 2011
Comments