Bastian Schlich
Affiliations:- RWTH Aachen University, Germany
According to our database1,
Bastian Schlich
authored at least 37 papers
between 2006 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
0
5
10
1
2
1
2
3
2
2
2
1
4
8
3
3
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2015
Proceedings of the FM 2015: Formal Methods, 2015
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015
Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015
2014
Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
2013
Performance and reliability prediction for evolving service-oriented software systems - Industrial experience report.
Empir. Softw. Eng., 2013
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013
2012
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012
"Safety automata" - A new specification language for the development of PLC safety applications.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012
2011
Application of static analyses for state-space reduction to the microcontroller binary code.
Sci. Comput. Program., 2011
Int. J. Inf. Technol. Commun. Convergence, 2011
An industrial case study on quality impact prediction for evolving service-oriented software.
Proceedings of the 33rd International Conference on Software Engineering, 2011
2010
ACM Trans. Embed. Comput. Syst., 2010
Interval analysis of microcontroller code using abstract interpretation of hardware and software.
Proceedings of the 13th International Workshop on Software and Compilers for Embedded Systems, 2010
A Large-Scale Industrial Case Study on Architecture-Based Software Reliability Analysis.
Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010
Proceedings of the FORMS/FORMAT 2010, 2010
Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2010
2009
Int. J. Softw. Tools Technol. Transf., 2009
Proceedings of the 4th International Workshop on Systems Software Verification, 2009
Proceedings of the 4th International Workshop on Systems Software Verification, 2009
Proceedings of the 4th International Workshop on Systems Software Verification, 2009
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009
Proceedings of the IEEE Fourth International Symposium on Industrial Embedded Systems, 2009
Proceedings of the Hardware and Software: Verification and Testing, 2009
Using 3-valued memory representation for state space reduction in embedded assembly code model checking.
Proceedings of the 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2009
Proceedings of the 4th Workshop on Embedded Systems Security, 2009
2008
Proceedings of the 3rd International Workshop on Systems Software Verification, 2008
Challenges in embedded model checking - a simulator for the [mc]square model checker.
Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008
2007
Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007
Proceedings of the Hardware and Software: Verification and Testing, 2007
Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code.
Proceedings of the Formal Methods for Industrial Critical Systems, 2007
2006
Proceedings of the Leveraging Applications of Formal Methods, 2006
Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006