Concepedia

Barbara Jobstmann

BJ

20

Publications

1.4K

Citations

17

H-Index

2005

Active since

Affiliations

École Polytechnique Fédérale de Lausanne(Current)

Graz University of Technology

Centre National de la Recherche Scientifique

Weizmann Institute of Science

Barbara Jobstmann is an author at École Polytechnique Fédérale de Lausanne specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSystems EngineeringProgram AnalysisAutomated ReasoningComputer EngineeringSoftware DesignFormal Specification

Publications per year

2005–2015

20

Publications

20

Synthesis of Reactive(1) designs

Roderick Bloem, Barbara Jobstmann, Nir Piterman et al. · Journal of Computer and System Sciences · 2011 · 460 citations

Architectural Design, Industrial Design, Design +5

Optimizations for LTL Synthesis

Barbara Jobstmann, Roderick Bloem · 2006 · 170 citations

Mathematical Programming, Tree Automata, Engineering +21

Specify, Compile, Run: Hardware from PSL

Roderick Bloem, Stefan Galler, Barbara Jobstmann et al. · Electronic Notes in Theoretical Computer Science · 2007 · 123 citations · Full text

Hardware Modeling, Engineering, Hardware Verification Language +18

Automatic Hardware Synthesis from Specifications: A Case Study

Roderick Bloem, Stefan Galler, Barbara Jobstmann et al. · 2007 · 86 citations

Generalized Buffer, Hardware Modeling, Engineering +17

Interface theories with component reuse

Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann et al. · 2008 · 82 citations

Engineering, Computer Architecture, Dependable System Architecture +18

Rows per page

1–5 of 20