Towards a Framework for Behavioral Specifications of OSGi Components von Blech, Jan Olaf

Volltext

Generating Invariant-Based Certificates for Embedded Systems von Blech, Jan Olaf, Périn, Michaël

Volltext

Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool von Blech, Jan Olaf, Mou, Dongyue, Ratiu, Daniel

Volltext

Towards Digital Twins for the Description of Automotive Software Systems von Blech, Jan Olaf

Volltext

Towards Certified Runtime Verification von Blech, Jan Olaf, Falcone, Yliès, Becker, Klaus

Volltext

Concept Drift Analysis by Dynamic Residual Projection for Effectively Detecting Botnet Cyber-Attacks in IoT Scenarios von Qiao, Hanli, Novikov, Boris, Blech, Jan Olaf

Volltext

Towards Verifying Safety Properties of Real-Time Probabilistic Systems von Han, Fenglin, Blech, Jan Olaf, Herrmann, Peter, Schmidt, Heinz

Volltext

Analysis of Software Binaries for Reengineering-Driven Product Line Architecture—An Industrial Case Study von Peake, Ian D., Blech, Jan Olaf, Fernando, Lasith, Sharma, Divyasheel, Ramaswamy, Srini, Kande, Mallikarjun

Volltext

Coalgebraic Semantics for Component Systems von Glesner, Sabine, Blech, Jan Olaf

Volltext

Formal Model-Based Development in Industrial Automation with Reactive Blocks von Herrmann, Peter, Blech, Jan Olaf

Volltext

Applying Model Checking to Industrial-Sized PLC Programs von Fernandez Adiego, Borja, Darvas, Daniel, Blanco Vinuela, Enrique, Tournier, Jean-Charles, Bliudze, Simon, Blech, Jan Olaf, Gonzalez Suarez, Victor Manuel

Volltext

Certifying compilers using higher-order theorem provers as certificate checkers von Blech, Jan Olaf, Grégoire, Benjamin

Volltext

Behavioral Types for Component-Based Development of Cyber-Physical Systems von Blech, Jan Olaf, Herrmann, Peter

Volltext

Towards Digital Twins for the Description of Automotive Software Systems von Blech, Jan Olaf

Volltext

The Virtual Experiences Portals --- A Reconfigurable Platform for Immersive Visualization von Peake, Ian D., Blech, Jan Olaf, Watkins, Edward, Greuter, Stefan, Schmidt, Heinz W.

Volltext

Digital Twin-Assisted Controlling of AGVs in Flexible Manufacturing Environments von Azangoo, Mohammad, Taherkordi, Amir, Blech, Jan Olaf, Vyatkin, Valeriy

Volltext

Spatio-Temporal Models for Formal Analysis and Property-Based Testing von Alzahrani, Nasser, Spichkova, Maria, Blech, Jan Olaf

Volltext

Industry 4.0 in Finland: Towards Twin Transition von Khan, Iqra, Kauppilaa, Osmo, Majava, Jukka, Jurmu, Marko, Blech, Jan Olaf, Annanperä, Elina, Jurvansuu, Marko, Pirttikangas, Susanna

Volltext bestellen

Verification of PLC Properties Based on Formal Semantics in Coq von Blech, Jan Olaf, Ould Biha, Sidi

Volltext

Static scheduling of a time-triggered network-on-chip based on SMT solving von Huang, Jia, Blech, Jan Olaf, Raabe, Andreas, Buckl, Christian, Knoll, Alois

Volltext