Basil Becker
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2006–2009
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | ICSE | Towards safety guarantees for service-oriented systems. | Basil Becker |
| 2009 | MODELS | Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration. | Basil Becker, Holger Giese, Stefan Neumann, Martin Schenck, Arian Treffer |
| 2009 | MODELS | Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration. | Basil Becker, Holger Giese, Stefan Neumann, Martin Schenck, Arian Treffer |
| 2009 | MODELS | Incremental Model Synchronization for Efficient Run-Time Monitoring. | Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker |
| 2008 | ISORC | On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles. | Basil Becker, Holger Giese |
| 2006 | ICSE | Symbolic invariant verification for systems with dynamic structural adaptation. | Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling |