Search Results - Blech, Jan Olaf

Refine Results
  1. 1
    Digital Twins for Manufacturing Using UML and Behavioral Specifications

    Digital Twins for Manufacturing Using UML and Behavioral Specifications by Azangoo, Mohammad, Taherkordi, Amir, Olaf Blech, Jan

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Towards Digital Twins for the Description of Automotive Software Systems

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

    Get full text
    Items that this one cites
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Assessing Long Distance Communication Alternatives for the Remote Control of AGVs

    Assessing Long Distance Communication Alternatives for the Remote Control of AGVs by Bejarano, Ronal, Paakkonen, Roope, Olaf Blech, Jan, Peake, Ian, Herrmann, Peter, Vyatkin, Valeriy

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Towards a Framework for Behavioral Specifications of OSGi Components

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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Concept Drift Analysis by Dynamic Residual Projection for Effectively Detecting Botnet Cyber-Attacks in IoT Scenarios

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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Towards Verifying Safety Properties of Real-Time Probabilistic Systems

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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool

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

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 8
    Analysis of Software Binaries for Reengineering-Driven Product Line Architecture—An Industrial Case Study

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

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  9. 9
    A Ground Texture-based Mapping and Localization Method for AGVs

    A Ground Texture-based Mapping and Localization Method for AGVs by Macias-Sola, Javier, Uttendorf, Sarah, Blech, Jan Olaf

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Performance Evaluation of Containerization Platforms for Control and Monitoring Devices

    Performance Evaluation of Containerization Platforms for Control and Monitoring Devices by Manninen, Harri, Jaaskelainen, Vesa, Blech, Jan Olaf

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Behavioral type-based monitoring for IEC 61499

    Behavioral type-based monitoring for IEC 61499 by Wenger, Monika, Zoitl, Alois, Blech, Jan Olaf

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    Towards Product Centric Manufacturing: From Digital Twins to Product Assembly

    Towards Product Centric Manufacturing: From Digital Twins to Product Assembly by Kuliaev, Vladimir, Atmojo, Udayanto Dwi, Sierla, Seppo, Blech, Jan Olaf, Vyatkin, Valeriy

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    Applying Model Checking to Industrial-Sized PLC Programs

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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    Evaluating software-defined networking for deterministic communication in distributed industrial automation systems

    Evaluating software-defined networking for deterministic communication in distributed industrial automation systems by Schneider, Ben, Zoitl, Alois, Wenger, Monika, Blech, Jan Olaf

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    Software Defined Networking for Communication and Control of Cyber-Physical Systems

    Software Defined Networking for Communication and Control of Cyber-Physical Systems by Ahmed, Khandakar, Blech, Jan Olaf, Gregory, Mark A., Schmidt, Heinrich

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  16. 16
    A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems

    A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems by Herrmann, Peter, Blech, Jan Olaf, Han, Fenglin, Schmidt, Heinz

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    Towards a 3D Scanning/VR-based Product Inspection Station

    Towards a 3D Scanning/VR-based Product Inspection Station by Azangoo, Mohammad, Blech, Jan Olaf, Dwi Atmojo, Udayanto, Vyatkin, Valeriy, Dhakal, Kamal, Eriksson, Mikael, Lehtimaki, Miika, Leinola, Jonathan, Pietarila, Pyry

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 18
    Certifying compilers using higher-order theorem provers as certificate checkers

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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  19. 19
    A Machine learning based intrusion detection approach for industrial networks

    A Machine learning based intrusion detection approach for industrial networks by Qiao, Hanli, Blech, Jan Olaf, Chen, Huazhou

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  20. 20
    Collaborative engineering through integration of architectural, social and spatial models

    Collaborative engineering through integration of architectural, social and spatial models by Blech, Jan Olaf, Peake, Ian, Schmidt, Heinz, Kande, Mallikarjun, Ramaswamy, Srini, Sudarsan, S. D., Narayanan, Venkateswaran

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: