Stefan Dziwok

Orcid: 0000-0002-8679-6673

According to our database1, Stefan Dziwok authored at least 19 papers between 2012 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Security Belts: A Maturity Model for DevOps Teams to Increase the Software Security of their Product - An Experience Report.
Proceedings of the 30th Americas Conference on Information Systems: Elevating Life through Digital Social Entrepreneurship, 2024

2022
How far are German companies in improving security through static program analysis tools?
Proceedings of the IEEE Secure Development Conference, 2022

Integrating Security Protocols in Scenario-based Requirements Specifications.
Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

2021
AppSecure.nrw Software Security Study.
CoRR, 2021

2020
Coaching on the Job bei Unternehmen des Maschinenbaus.
Proceedings of the Software Engineering 2020, 2020

Scenario-based specification of security protocols and transformation to security model checkers.
Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2019
Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus.
Proceedings of the Projektmanagement und Vorgehensmodelle 2019 - Neue Vorgehensmodelle in Projekten, 2019

Was fehlt (bisher) um Apps sicher zu entwickeln? - Prozesse, Werkzeuge und Schulungen für sichere Apps by Design.
Proceedings of the Projektmanagement und Vorgehensmodelle 2019 - Neue Vorgehensmodelle in Projekten, 2019

A KPI-based Condition Monitoring System for the Beer Brewing Process.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2017
Specification and verification for real-time coordination protocols of cyber-physical systems.
PhD thesis, 2017

How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

2015
Automata-based refinement checking for real-time systems.
Comput. Sci. Res. Dev., 2015

Domain-Specific Model Checking for Cyber-Physical Systems.
Proceedings of the 12th Workshop on Model-Driven Engineering, 2015

2014
A modelica coordination pattern library for cyber-physical systems.
Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, 2014

A tool suite for the model-driven software engineering of cyber-physical systems.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Specifying Intra-Component Dependencies for Synthesizing Component Behaviors.
Proceedings of the 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems.
Proceedings of the 36th International Conference on Software Engineering, 2014

Application of an intelligent network architecture on a cooperative cyber-physical system: An experience report.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2012
Real-Time Coordination Patterns for Advanced Mechatronic Systems.
Proceedings of the Coordination Models and Languages - 14th International Conference, 2012


  Loading...