Stefan Dziwok

According to our database1, Stefan Dziwok authored at least 15 papers between 2012 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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...