Basil Becker

According to our database1, Basil Becker authored at least 17 papers between 2006 and 2014.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Architectural modelling and verification of open service-oriented systems of systems.
PhD thesis, 2014

2012
Integration of Triple Graph Grammars and Constraints.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Graph Transformations for MDE, Adaptation, and Models at Runtime.
Proceedings of the Formal Methods for Model-Driven Engineering, 2012

2011
Iterative Development of Consistency-Preserving Rule-Based Refactorings.
Proceedings of the Theory and Practice of Model Transformations, 2011

2010
Making control loops explicit when architecting self-adaptive systems.
Proceedings of the Second International Workshop on Self-Organizing Architectures, 2010

Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems.
Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010


Modeling and Verification of Self-Adaptive Service-Oriented Systems.
Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010

2009
Incremental Model Synchronization for Efficient Run-Time Monitoring.
Proceedings of the Models in Software Engineering, 2009

Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration.
Proceedings of the Models in Software Engineering, 2009

Towards safety guarantees for service-oriented systems.
Proceedings of the 31st International Conference on Software Engineering, 2009

Model-driven architectural monitoring and adaptation for autonomic systems.
Proceedings of the 6th International Conference on Autonomic Computing, 2009


2008
Modeling of correct self-adaptive systems: a graph transformation system based approach.
Proceedings of the CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, 2008

Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008

On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

2006
Symbolic invariant verification for systems with dynamic structural adaptation.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006


  Loading...