Model checking of software for microcontrollers von Schlich, Bastian

Volltext

Model checking C source code for embedded systems von Schlich, Bastian, Kowalewski, Stefan

Volltext

Performance and reliability prediction for evolving service-oriented software systems: Industrial experience report von Koziolek, Heiko, Schlich, Bastian, Becker, Steffen, Hauck, Michael

Volltext

Application of static analyses for state-space reduction to the microcontroller binary code von Schlich, Bastian, Brauer, Jörg, Kowalewski, Stefan

Volltext

Model checking C source code for embedded systems: IEEE/NASA ISoLA Workshop on Leveraging Applications of Formal Methods von SCHLICH, Bastian, KOWALEWSKI, Stefan

Volltext

A Large-Scale Industrial Case Study on Architecture-Based Software Reliability Analysis von Koziolek, Heiko, Schlich, Bastian, Bilich, Carlos

Volltext

Operating System Verification von Klein, Gerwin, Huuck, Ralf, Schlich, Bastian

Volltext

"Safety automata" - A new specification language for the development of PLC safety applications von Frey, Georg, Schlich, Bastian, Drath, Rainer, Eschbach, Robert

Volltext

Analyzing the Restart Behavior of Industrial Control Applications von Hauck-Stattelmann, Stefan, Biallas, Sebastian, Schlich, Bastian, Kowalewski, Stefan, Jetley, Raoul

Volltext

Proceedings Seventh Conference on Systems Software Verification: Preface von Cassez, Franck, Huuck, Ralf, Klein, Gerwin, Schlich, Bastian

Volltext

Reduction of Interrupt Handler Executions for Model Checking Embedded Software von Schlich, Bastian, Noll, Thomas, Brauer, Jörg, Brutschy, Lucas

Volltext

Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code von Noll, Thomas, Schlich, Bastian

Volltext

Accelerated model-based robustness testing of state machine implementations von Heckeler, Patrick, Eichelberger, Hanno, Kropf, Thomas, Ruf, Jürgen, Huster, Stefan, Burg, Sebastian, Rosenstiel, Wolfgang, Schlich, Bastian

Volltext

An industrial case study on quality impact prediction for evolving service-oriented software von Koziolek, Heiko, Schlich, Bastian, Bilich, Carlos, Weiss, Roland, Becker, Steffen, Krogmann, Klaus, Trifu, Mircea, Mirandola, Raffaela, Koziolek, Anne

Volltext

Automatic Bug Detection in Microcontroller Software by Static Program Analysis von Fehnker, Ansgar, Huuck, Ralf, Schlich, Bastian, Tapp, Michael

Volltext

CONFIGURATION DEVICE AND METHOD FOR COMPUTER-IMPLEMENTED CONFIGURATION OF ONE OR MORE NETWORK DEVICES von VORST, Philipp, SCHLICH, Bastian, MAHNKE, Wolfgang

Volltext bestellen

Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code von Schlich, Bastian, Löll, Jann, Kowalewski, Stefan

Volltext

BUILDING AUTOMATION FOR A BUILDING WITH TECHNICAL DEVICES, USING A DATA STRUCTURE WITH DEVICE-TO-ZONE ASSIGNMENT OBTAINED FROM MOBILE COMPUTERS WITHIN THE BUILDING von Schlich, Bastian, Durdik, Zoya, Gamer, Thomas

Volltext bestellen

Range and Value-Set Analysis for Programmable Logic Controllers von Biallas, Sebastian, Kowalewski, Stefan, Schlich, Bastian

Volltext

Preface von Huuck, Ralf, Klein, Gerwin, Schlich, Bastian

Volltext