Concepedia

Basil Becker

BB

Statistics

Publications

7

Citations

327

H-Index

7

Active since

1995

Affiliations

Paderborn University(Current)

University of Potsdam

Hasso Plattner Institute

Basil Becker is an author at Paderborn University specializing in engineering, systems engineering, and computer engineering.

Top concepts

EngineeringSystems EngineeringComputer EngineeringComputer ScienceFormal MethodsAutomationPower SystemsSoftware DesignSystem SoftwareAdaptive Systems

Publications per year

1995–2010

7

Publications

7

Symbolic invariant verification for systems with dynamic structural adaptation

Basil Becker, Dirk Beyer, Holger Giese et al. · 2006 · 113 citations

Reachability Analysis, Engineering, Automated Reasoning +15

Software Engineering for Self-Adaptive Systems: A Research Roadmap

Betty H. C. Cheng, Jesper Andersson, Basil Becker et al. · Lecture notes in computer science · 2009 · 94 citations · Full text

Making control loops explicit when architecting self-adaptive systems

Regina Hebig, Holger Giese, Basil Becker · 2010 · 45 citations

Engineering, Computer Architecture, Software Engineering +22

On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles

Basil Becker, Holger Giese · 2008 · 27 citations

Vehicle Communication, Internet Of Vehicle, Engineering +17

Modeling of correct self-adaptive systems

Basil Becker, Holger Giese · 2008 · 19 citations

Engineering, Software Engineering, Intelligent Systems +19

1–5 of 7