Concepedia

Jörg Bräuer

JB

9

Publications

358

Citations

9

H-Index

2009

Active since

Affiliations

RWTH Aachen University(Current)

Jörg Bräuer is an author at RWTH Aachen University specializing in computer engineering, engineering, and formal verification.

Top concepts

EngineeringComputer EngineeringFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationVerificationComputer ScienceSoftware EngineeringSoftware Testing

Publications per year

2009–2017

9

Publications

9

Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project

Peter Gorm Larsen, John Fitzgerald, Jim Woodcock et al. · 2016 · 107 citations

Into-cps Project, Engineering, Model-based Cps Engineering +18

Arcade.PLC: a verification platform for programmable logic controllers

Sebastian Biallas, Jörg Bräuer, Stefan Kowalewski · 2012 · 74 citations

Program Checking, Engineering, Verification +18

Runtime verification of embedded real-time systems

Thomas Reinbacher, Matthias Függer, Jörg Bräuer · Formal Methods in System Design · 2013 · 34 citations · Full text

Direct Model Checking of PLC Programs in IL

Bastian Schlich, Jörg Bräuer, Jörg Wernerus et al. · IFAC Proceedings Volumes · 2009 · 34 citations

Engineering, Program Analysis, Verification +11

Advanced surface micromachining process — A first step towards 3D MEMS

Jochen Reinmuth, Arnd Kälberer, Andreas Scheurle et al. · 2017 · 32 citations

Mass-produced Inertial Mems, Engineering, Mechanical Engineering +20

Rows per page

1–5 of 9