Alexander Pretschner

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Automated Implementation of Windows-related Security-Configuration Guides.

[BibT_eX]

[DOI]

Patrick Stöckle

Bernd Grobauer

Proceedings of the Software Engineering 2021, 2021

IoT Thing To Service Semantic Matching.

[BibT_eX]

[DOI]

Nisrine Bnouhanna

Rute C. Sofia

Proceedings of the 19th IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2021

Understanding Safety for Unmanned Aerial Vehicles in Urban Environments.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intelligent Vehicles Symposium, 2021

Fitness Function Templates for Testing Automated and Autonomous Driving Systems in Intersection Scenarios.

[BibT_eX]

[DOI]

Nicola Kolb

Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

Empirically evaluating readily available information for regression test optimization in continuous integration.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

A Causal Model of Intersection-Related Collisions for Drivers With and Without Visual Field Loss.

[BibT_eX]

[DOI]

Proceedings of the HCI International 2021 - Late Breaking Papers: HCI Applications in Health, Transport, and Industry, 2021

Designing Accountable Systems.

[BibT_eX]

[DOI]

Proceedings of the FAccT '21: 2021 ACM Conference on Fairness, 2021

Human-level Ordinal Maintainability Prediction Based on Static Code Metrics.

[BibT_eX]

[DOI]

Markus Schnappinger

Arnaud Fietzke

Proceedings of the EASE 2021: Evaluation and Assessment in Software Engineering, 2021

Dynamic Taint Analysis versus Obfuscated Self-Checking.

[BibT_eX]

[DOI]

Proceedings of the ACSAC '21: Annual Computer Security Applications Conference, Virtual Event, USA, December 6, 2021

2020

Center for Code Excellence Trends - Eine Plattform für Trends in Softwaretechnologien.

[BibT_eX]

[DOI]

Johannes Kroß

Peter Bludau

Inform. Spektrum, 2020

Ethics in the Software Development Process: From Codes of Conduct to Ethical Deliberation.

[BibT_eX]

[DOI]

CoRR, 2020

Expressing Accountability Patterns using Structural Causal Models.

[BibT_eX]

[DOI]

CoRR, 2020

Center for Code Excellence.

[BibT_eX]

[DOI]

Johannes Kroß

Peter Bludau

Proceedings of the Software Engineering 2020, 2020

Automated Anomaly Detection in CPS Log Files - A Time Series Clustering Approach.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2020

Re-Using Concrete Test Scenarios Generally Is a Bad Idea.

[BibT_eX]

[DOI]

Bernd Holzmüller

Proceedings of the IEEE Intelligent Vehicles Symposium, 2020

Clustering Traffic Scenarios Using Mental Models as Little as Possible.

[BibT_eX]

[DOI]

Ilias Gerostathopoulos

Proceedings of the IEEE Intelligent Vehicles Symposium, 2020

Time-Series-Based Clustering for Failure Analysis in Hardware-in-the-Loop Setups: An Automotive Case Study.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

Can We Predict the Quality of Spectrum-based Fault Localization?

[BibT_eX]

[DOI]

Lionel C. Briand

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Defining a Software Maintainability Dataset: Collecting, Aggregating and Analysing Expert Evaluations of Software Maintainability.

[BibT_eX]

[DOI]

Markus Schnappinger

Arnaud Fietzke

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

Knowledge aggregation with subjective logic in multi-agent self-adaptive cyber-physical systems.

[BibT_eX]

[DOI]

Ana Petrovska

Sergio Quijano

Ilias Gerostathopoulos

Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

Causal Model Extraction from Attack Trees to Attribute Malicious Insider Attacks.

[BibT_eX]

[DOI]

Proceedings of the Graphical Models for Security - 7th International Workshop, 2020

How to Conduct Experiments with a Real Car? Experiences and Practical Guidelines.

[BibT_eX]

[DOI]

Thomas Hutzelmann

Dominik Mauksch

Proceedings of the Software Architecture - 14th European Conference, 2020

Actual Causality Canvas: A General Framework for Explanation-Based Socio-Technical Constructs.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

From Checking to Inference: Actual Causality Computations as Optimization Problems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Leveraging Compression-Based Graph Mining for Behavior-Based Malware Detection.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2019

Guest editorial for the special section on MODELS 2016.

[BibT_eX]

[DOI]

Jörg Kienzle

Softw. Syst. Model., 2019

Extending Causal Models from Machines into Humans.

[BibT_eX]

[DOI]

Proceedings of the 4th Workshop on Formal Reasoning about Causation, 2019

Efficiently Checking Actual Causality with SAT Solving.

[BibT_eX]

[DOI]

Simon Rehwald

CoRR, 2019

Don't Pick the Cherry: An Evaluation Methodology for Android Malware Detection Methods.

[BibT_eX]

[DOI]

CoRR, 2019

Compositional Fuzzing Aided by Targeted Symbolic Execution.

[BibT_eX]

[DOI]

Saahil Ognawala

Fabian Kilger

CoRR, 2019

Chapter Eight - A Taxonomy of Software Integrity Protection Techniques.

[BibT_eX]

[DOI]

Mohsen Ahmadvand

Adv. Comput., 2019

Learning Approach for Smart Self-Adaptive Cyber-Physical Systems.

[BibT_eX]

[DOI]

Ana Petrovska

Proceedings of the IEEE 4th International Workshops on Foundations and Applications of Self* Systems, 2019

Fitness Functions for Testing Automated and Autonomous Driving Systems.

[BibT_eX]

[DOI]

Bernd Holzmüller

Proceedings of the Computer Safety, Reliability, and Security, 2019

A real-time remote IDS testbed for connected vehicles.

[BibT_eX]

[DOI]

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Attack graph generation for microservice architecture.

[BibT_eX]

[DOI]

Stevica Bozhinoski

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Practical Causal Models for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Learning a classifier for prediction of maintainability based on static analysis tools.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Program Comprehension, 2019

Selecting Flow Optimal System Parameters for Automated Driving Systems.

[BibT_eX]

[DOI]

Raphael E. Stern

Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Did We Test All Scenarios for Automated and Autonomous Driving Systems?

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Failure clustering without coverage.

[BibT_eX]

[DOI]

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

VirtSC: Combining Virtualization Obfuscation with Self-Checksumming.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM Workshop on Software Protection, 2019

2018

Data Usage Control for Distributed Systems.

[BibT_eX]

[DOI]

ACM Trans. Priv. Secur., 2018

Model-Based Safety and Security Engineering.

[BibT_eX]

[DOI]

Vivek Nigam

Harald Ruess

CoRR, 2018

Reviewing KLEE's Sonar-Search Strategy in Context of Greybox Fuzzing.

[BibT_eX]

[DOI]

CoRR, 2018

Chapter Five - A Tutorial on Software Obfuscation.

[BibT_eX]

[DOI]

Adv. Comput., 2018

Integrity Protection Against Insiders in Microservice-Based Infrastructures: From Threats to a Security Framework.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2018

Understanding and Formalizing Accountability for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

Improving function coverage with munch: a hybrid fuzzing and directed symbolic execution approach.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Repackman: a tool for automatic repackaging of Android apps.

[BibT_eX]

[DOI]

F. Franziska Paulus

Proceedings of the 1st International Workshop on Advances in Mobile App Analysis, 2018

Poking the bear: lessons learned from probing three Android malware datasets.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Advances in Mobile App Analysis, 2018

Automatically assessing vulnerabilities discovered by compositional analysis.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Machine Learning and Software Engineering in Symbiosis, 2018

Diagnosis of Safety Incidents for Cyber-Physical Systems: A UAV Example.

[BibT_eX]

[DOI]

Ehsan Zibaei

Proceedings of the 3rd International Conference on System Reliability and Safety, 2018

Pairika: a failure diagnosis benchmark for C++ programs.

[BibT_eX]

[DOI]

Md. Rezaur Rahman

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Aletheia: a failure diagnosis toolchain.

[BibT_eX]

[DOI]

Abu Mohammed Raisuddin

Lennart Mittag

Dominik Hellhake

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Idea: Automatic Localization of Malicious Behaviors in Android Malware with Hidden Markov Models.

[BibT_eX]

[DOI]

Proceedings of the Engineering Secure Software and Systems - 10th International Symposium, 2018

Software quality assessment in practice: a hypothesis-driven framework.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2018

Practical Integrity Protection with Oblivious Hashing.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual Computer Security Applications Conference, 2018

2017

Defect-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Systems Engineering, 2017

Herausforderungen an der Schnittstelle von Informatik und Gesellschaft - Institutionalisierte Erforschung der Digitalisierung zur Sicherung von Wohlstand und Fortschritt.

[BibT_eX]

[DOI]

Inform. Spektrum, 2017

Informatikforschung für digitale Mobilitätsplattformen - Am Beispiel des TUM Living Lab Connected Mobility.

[BibT_eX]

[DOI]

Inform. Spektrum, 2017

ACCBench: A Framework for Comparing Causality Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 2017

Predicting the Resilience of Obfuscated Code Against Symbolic Execution Attacks via Machine Learning.

[BibT_eX]

[DOI]

Christian S. Collberg

Proceedings of the 26th USENIX Security Symposium, 2017

Industrial Evaluation of Search-Based Test Generation Techniques for Control Systems.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Challenges of Operationalizing Spectrum-Based Fault Localization from a Data-Centric Perspective.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Reducing Failure Analysis Time: An Industrial Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice Track, 2017

Detecting Patching of Executables without System Calls.

[BibT_eX]

[DOI]

Proceedings of the Seventh ACM Conference on Data and Application Security and Privacy, 2017

Herausforderungen an der Schnittstelle von Informatik und Gesellschaft: Institutionalisierte Erforschung der Digitalisierung zur Sicherung von Wohlstand und Fortschritt.

[BibT_eX]

[DOI]

Proceedings of the 50 Jahre Universitäts-Informatik in München, 2017

Informatik-Forschung für digitale Mobilitätsplattformen.

[BibT_eX]

[DOI]

Proceedings of the 50 Jahre Universitäts-Informatik in München, 2017

2016

Model-based security testing: a taxonomy and systematic classification.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2016

Towards a Unified Model of Accountability Infrastructures.

[BibT_eX]

[DOI]

Proceedings of the Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 2016

Security Testing: A Survey.

[BibT_eX]

[DOI]

Adv. Comput., 2016

Enhancing Operation Security using Secret Sharing.

[BibT_eX]

[DOI]

Proceedings of the 13th International Joint Conference on e-Business and Telecommunications (ICETE 2016), 2016

MalFlow: identification of C&C servers through host-based data flow profiling.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Generating behavior-based malware detection models with genetic programming.

[BibT_eX]

[DOI]

Proceedings of the 14th Annual Conference on Privacy, Security and Trust, 2016

MACKE: compositional analysis of low-level vulnerabilities with symbolic execution.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Failure Models for Testing Continuous Controllers.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

Profiting from Unit Tests for Integration Testing.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

Nequivack: Assessing Mutation Score Confidence.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

Sound and Precise Cross-Layer Data Flow Tracking.

[BibT_eX]

[DOI]

Proceedings of the Engineering Secure Software and Systems - 8th International Symposium, 2016

VOT4CS: A Virtualization Obfuscation Tool for C#.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM Workshop on Software PROtection, 2016

Data Accountability in Socio-Technical Systems.

[BibT_eX]

[DOI]

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2016

Code obfuscation against symbolic execution attacks.

[BibT_eX]

[DOI]

Christian S. Collberg

Vijay Ganesh

Zack Newsham

Proceedings of the 32nd Annual Conference on Computer Security Applications, 2016

2015

Defect-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Systems Engineering, 2015

FEEBO: An Empirical Evaluation Framework for Malware Behavior Obfuscation.

[BibT_eX]

[DOI]

CoRR, 2015

SHRIFT System-Wide HybRid Information Flow Tracking.

[BibT_eX]

[DOI]

Proceedings of the ICT Systems Security and Privacy Protection, 2015

ISA2R: Improving Software Attack and Analysis Resilience via Compiler-Level Software Diversity.

[BibT_eX]

[DOI]

Rafael Fedler

Proceedings of the Computer Safety, Reliability, and Security, 2015

Field Study on the Elicitation and Classification of Defects for Defect Models.

[BibT_eX]

[DOI]

Dominik Holling

Daniel Méndez Fernández

Proceedings of the Product-Focused Software Process Improvement, 2015

A framework for empirical evaluation of malware detection resilience against behavior obfuscation.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Malicious and Unwanted Software, 2015

A Framework for Measuring Software Obfuscation Resilience against Automated Attacks.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE/ACM International Workshop on Software Protection, 2015

Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs.

[BibT_eX]

[DOI]

Proceedings of the Engineering Secure Software and Systems - 7th International Symposium, 2015

Idea: Benchmarking Indistinguishability Obfuscation - A Candidate Implementation.

[BibT_eX]

[DOI]

Proceedings of the Engineering Secure Software and Systems - 7th International Symposium, 2015

Robust and Effective Malware Detection Through Quantitative Data Flow Graph Metrics.

[BibT_eX]

[DOI]

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2015

Automated Translation of End User Policies for Usage Control Enforcement.

[BibT_eX]

[DOI]

Proceedings of the Data and Applications Security and Privacy XXIX, 2015

Software-Based Protection against Changeware.

[BibT_eX]

[DOI]

Proceedings of the 5th ACM Conference on Data and Application Security and Privacy, 2015

A Fully Decentralized Data Usage Control Enforcement Infrastructure.

[BibT_eX]

[DOI]

Proceedings of the Applied Cryptography and Network Security, 2015

2014

Integration of Formal Methods and Testing for Model-based Systems Engineering (NII Shonan Meeting 2014-16).

[BibT_eX]

[DOI]

NII Shonan Meet. Rep., 2014

DAVAST: data-centric system level activity visualization.

[BibT_eX]

[DOI]

Proceedings of the 11th Workshop on Visualization for Cyber Security, 2014

8Cage: lightweight fault-based test generation for simulink.

[BibT_eX]

[DOI]

Dominik Holling

Matthias Gemmar

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

On quantitative dynamic data flow tracking.

[BibT_eX]

[DOI]

Proceedings of the Fourth ACM Conference on Data and Application Security and Privacy, 2014

Malware detection with quantitative data flow graphs.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM Symposium on Information, Computer and Communications Security, 2014

Decentralized Distributed Data Usage Control.

[BibT_eX]

[DOI]

Proceedings of the Cryptology and Network Security - 13th International Conference, 2014

2013

A Trustworthy Usage Control Enforcement Framework.

[BibT_eX]

[DOI]

Ricardo Neisse

Valentina Di Giacomo

Int. J. Mob. Comput. Multim. Commun., 2013

A Generic Fault Model for Quality Assurance.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Model-Based Usage Control Policy Derivation.

[BibT_eX]

[DOI]

Proceedings of the Engineering Secure Software and Systems - 5th International Symposium, 2013

Data usage control enforcement in distributed systems.

[BibT_eX]

[DOI]

Proceedings of the Third ACM Conference on Data and Application Security and Privacy, 2013

Enforcing privacy through usage-controlled video surveillance.

[BibT_eX]

[DOI]

Pascal Birnstill

Proceedings of the 10th IEEE International Conference on Advanced Video and Signal Based Surveillance, 2013

2012

A taxonomy of model-based testing approaches.

[BibT_eX]

[DOI]

Mark Utting

Bruno Legeard

Softw. Test. Verification Reliab., 2012

Preface.

[BibT_eX]

[DOI]

J. Comput. Secur., 2012

Flexible Data-Driven Security for Android.

[BibT_eX]

[DOI]

Denis Feth

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Semi-Automatic Security Testing of Web Applications from a Secure Model.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Data Protection in a Cloud-Enabled Smart Grid.

[BibT_eX]

[DOI]

Alexander Fromm

Proceedings of the Smart Grid Security - First International Workshop, 2012

Towards a policy enforcement infrastructure for distributed usage control.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM Symposium on Access Control Models and Technologies, 2012

Data Loss Prevention Based on Data-Driven Usage Control.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

SPaCiTE - Web Application Testing Engine.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Deriving implementation-level policies for usage control enforcement.

[BibT_eX]

[DOI]

Proceedings of the Second ACM Conference on Data and Application Security and Privacy, 2012

2011

On the number and nature of faults found by random testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2011

A virtualized usage control bus system.

[BibT_eX]

[DOI]

Cornelius Moucha

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2011

Software Security in Virtualized Infrastructures - The Smart Meter Example.

[BibT_eX]

[DOI]

it Inf. Technol., 2011

Security Mutants for Property-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 5th International Conference, 2011

Data-centric multi-layer usage control enforcement: a social network example.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, 2011

Data protection in heterogeneous distributed systems: A smart meter example.

[BibT_eX]

[DOI]

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

Representation-Independent Data Usage Control.

[BibT_eX]

[DOI]

Proceedings of the Data Privacy Management and Autonomous Spontaneus Security, 2011

Distributed data usage control for web applications: a social network implementation.

[BibT_eX]

[DOI]

Proceedings of the First ACM Conference on Data and Application Security and Privacy, 2011

Implementing Trust in Cloud Infrastructures.

[BibT_eX]

[DOI]

Ricardo Neisse

Dominik Holling

Proceedings of the 11th IEEE/ACM International Symposium on Cluster, 2011

A Hypervisor-Based Bus System for Usage Control.

[BibT_eX]

[DOI]

Cornelius Moucha

Proceedings of the Sixth International Conference on Availability, 2011

A Model-Based View onto Testing.

[BibT_eX]

[DOI]

Manfred Broy

Proceedings of the Model-Based Testing for Embedded Systems, 2011

2010

Doktorandensymposium der SE 2010.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2010, 2010

10421 Summary - Model-Based Testing in Practice.

[BibT_eX]

[DOI]

Wolfgang Grieskamp

Robert M. Hierons

Proceedings of the Model-Based Testing in Practice, 17.10. - 22.10.2010, 2010

10421 Abstracts Collection - Model-Based Testing in Practice.

[BibT_eX]

[DOI]

Wolfgang Grieskamp

Robert M. Hierons

Proceedings of the Model-Based Testing in Practice, 17.10. - 22.10.2010, 2010

10141 Summary - Distributed Usage Control.

[BibT_eX]

[DOI]

Proceedings of the Distributed Usage Control, 06.04. - 09.04.2010, 2010

10141 Abstracts Collection - Distributed Usage Control.

[BibT_eX]

[DOI]

Proceedings of the Distributed Usage Control, 06.04. - 09.04.2010, 2010

2009

State-Based Usage Control Enforcement with Data Flow Tracking using System Call Interposition.

[BibT_eX]

[DOI]

Matús Harvan

Proceedings of the Third International Conference on Network and System Security, 2009

Usage Control Policy Enforcement in OpenOffice.org and Information Flow.

[BibT_eX]

[DOI]

Proceedings of the Information Security South Africa Conference 2009, 2009

On the Effectiveness of Test Extraction without Overhead.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Formal Analyses of Usage Control Policies.

[BibT_eX]

[DOI]

Proceedings of the The Forth International Conference on Availability, 2009

2008

Towards Systematic Achievement of Compliance in Service-Oriented Architectures: The MASTER Approach.

[BibT_eX]

[DOI]

Wirtschaftsinf., 2008

Usage Control Enforcement: Present and Future.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2008

Policy Evolution in Distributed Usage Control.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Security and Trust Management, 2008

Doctoral Symposium at MODELS 2008.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2008

Vorwort zum Doktorandensymposium der Modellierung 2008.

[BibT_eX]

[DOI]

Ruth Breu

Proceedings of the Modellierung 2008, 12.-14. März 2008, Berlin, 2008

Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports.

[BibT_eX]

[DOI]

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

Test-Driven Assessment of Access Control in Legacy Applications.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Software Testing, 2008

Model-Based Tests for Access Control Policies.

[BibT_eX]

[DOI]

Tejeddine Mouelhi

Yves Le Traon

Proceedings of the First International Conference on Software Testing, 2008

On the Predictability of Random Tests for Object-Oriented Software.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Software Testing, 2008

Mechanisms for usage control.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, 2008

Negotiation of Usage Control Policies - Simply the Best?

[BibT_eX]

[DOI]

Thomas Walter

Proceedings of the The Third International Conference on Availability, 2008

2007

Computing refactorings of state machines.

[BibT_eX]

[DOI]

Wolfgang Prenninger

Softw. Syst. Model., 2007

4<sup>th</sup> Intl. ICSE workshop on Software Engineering for Automotive Systems.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2007

Engineering Automotive Software.

[BibT_eX]

[DOI]

Proc. IEEE, 2007

Usage Control in Service-Oriented Architectures.

[BibT_eX]

[DOI]

Fabio Massacci

Manuel Hilty

Proceedings of the Trust, 2007

A technical architecture for enforcing usage control requirements in service-oriented architectures.

[BibT_eX]

[DOI]

Proceedings of the 4th ACM Workshop On Secure Web Services, 2007

DUKE - Distributed Usage Control Enforcement.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007

4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Monitors for Usage Control.

[BibT_eX]

[DOI]

Proceedings of the Trust Management, 2007

4th International ICSE Workshop on Software Engineering for Automotive Systems.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Software Engineering for Automotive Systems: A Roadmap.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Engineering, 2007

A Policy Language for Distributed Usage Control.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2007

Ontology-Based User Profiles for Personalized Search.

[BibT_eX]

[DOI]

Susan Gauch

Mirco Speretta

Proceedings of the Ontologies: A Handbook of Principles, 2007

2006

3<sup>rd</sup> Intl. ICSE workshop on software engineering for automotive systems.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2006

Distributed usage control.

[BibT_eX]

[DOI]

Manuel Hilty

David A. Basin

Commun. ACM, 2006

Zur Kosteneffektivität des modellbasierten Testens.

[BibT_eX]

[DOI]

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

Usage Control Requirements in Mobile and Ubiquitous Computing Applications.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Systems and Networks Communications (ICSNC 2006), October 29, 2006

3rd international workshop on software engineering for automotive systems - SEAS 2006.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005

2nd Intl. ICSE Workshop on Software Engineering for Automotive Systems.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2005

Computing Refactorings of Behavior Models.

[BibT_eX]

[DOI]

Wolfgang Prenninger

Proceedings of the Model Driven Engineering Languages and Systems, 2005

2nd international workshop on software engineering for automotive systems.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

One evaluation of model-based testing and its automation.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Model-based testing.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Model-Based Testing in Practice.

[BibT_eX]

[DOI]

Proceedings of the FM 2005: Formal Methods, 2005

On Obligations.

[BibT_eX]

[DOI]

Manuel Hilty

David A. Basin

Proceedings of the Computer Security, 2005

2004

Model-based testing for real.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2004

Software engineering for automotive systems at ICSE 2004 workshop summary.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2004

Model based testing in incremental system development.

[BibT_eX]

[DOI]

Heiko Lötzbeyer

Jan Philipps

J. Syst. Softw., 2004

Abstractions for Model-Based Testing.

[BibT_eX]

[DOI]

Wolfgang Prenninger

Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004

Modellbasiertes Testen.

[BibT_eX]

[DOI]

Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 2004

Coverage Metrics for Continuous Function Charts.

[BibT_eX]

[DOI]

Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

ICSE Workshop: Software Engineering for Automotive Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Methodological Issues in Model-Based Testing.

[BibT_eX]

[DOI]

Jan Philipps

Proceedings of the Model-Based Testing of Reactive Systems, 2004

Model-Based Testing - A Glossary.

[BibT_eX]

[DOI]

Walter Alexander Pretschner

Martin Leucker

Proceedings of the Model-Based Testing of Reactive Systems, 2004

2003

Zum modellbasierten funktionalen Test reaktiver Systeme.

[BibT_eX]

[DOI]

PhD thesis, 2003

Ontology-based personalized search and browsing.

[BibT_eX]

[DOI]

Susan Gauch

Jason Chaffee

Web Intell. Agent Syst., 2003

Compositional Generation of MC/DC Integration Test Suites.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Test and Analysis of Component-Based Systems, 2003

Model-Based Test Case Generation for Smart Cards.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

Prototype-Based Tests for Hybrid Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

2002

Model-Based Development of Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Object-Oriented Information Systems, 2002

Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems.

[BibT_eX]

Proceedings of the Ada Deutschland Tagung 2002: Software für sicherheitskritische Systeme, 2002

2001

Approaching a Discrete-Continuous UML: Tool Support and Formalization.

[BibT_eX]

[DOI]

Istran Péter

Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

Model Based Testing in Evolutionary Software Development.

[BibT_eX]

[DOI]

Heiko Lötzbeyer

Jan Philipps

Proceedings of the 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 2001

2000

Specification based test sequence generation with propositional logic.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2000

1999

Ontology Based Personalized Search.

[BibT_eX]

[DOI]