Jürgen Doser is an author at ETH Zurich specializing in engineering, software analysis, and software engineering.
Top concepts
EngineeringSoftware DesignSoftware AnalysisSoftware EngineeringSystem SoftwareComputer ScienceProgram AnalysisFormal VerificationSystems EngineeringInformation Security
Publications per year
2003–2024
6
6
Model driven security for process-oriented systems
David Basin, Jürgen Doser, Torsten Lodderstedt · 2003 · 153 citations · Full text
Automated analysis of security-design models
David Basin, Manuel Clavel, Jürgen Doser et al. · Information and Software Technology · 2008 · 125 citations
Metamodel-based UML Notations for Domain-specific Languages
Achim D. Brucker, Jürgen Doser · 2007 · 35 citations
Rows per page
1–5 of 6