Achim D. Brucker

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

A Formally Verified Model of Web Components.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019

2018

Security policy monitoring of BPMN-based service compositions.

[BibT_eX]

[DOI]

J. Softw. Evol. Process., 2018

A Formal Model of the Document Object Model.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2018

A Formal Semantics of the Core DOM in Isabelle/HOL.

[BibT_eX]

[DOI]

Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

Formalizing (Web) Standards - An Application of Test and Proof.

[BibT_eX]

[DOI]

Sebastian Alexander Mödersheim

Proceedings of the Tests and Proofs - 12th International Conference, 2018

Using the Isabelle Ontology Framework - Linking the Formal with the Informal.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

Formalising Extended Finite State Machine Transition Merging.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2018

Stateful Protocol Composition.

[BibT_eX]

[DOI]

Andreas V. Hess

Proceedings of the Computer Security, 2018

2017

Modelling, validating, and ranking of secure service compositions.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2017

Time for Addressing Software Security Issues: Prediction Models and Impacting Factors.

[BibT_eX]

[DOI]

Data Sci. Eng., 2017

Formal Network Models and Their Application to Firewall Policies.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2017

Workshop in OCL and Textual Modelling - Report on Recent Trends and Panel Discussions.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2017

2016

Security Testing: A Survey.

[BibT_eX]

[DOI]

Adv. Comput., 2016

Monadic Sequence Testing and Explicit Test-Refinements.

[BibT_eX]

[DOI]

Adolfo Sánchez-Barbudo Herrera

Proceedings of the Tests and Proofs - 10th International Conference, 2016

Recent Developments in OCL and Textual Modelling.

[BibT_eX]

[DOI]

Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

On the Security Cost of Using a Free and Open Source Component in a Proprietary Product.

[BibT_eX]

[DOI]

Stanislav Dashevskyi

Fabio Massacci

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

On the Static Analysis of Hybrid Mobile Apps - A Report on the State of Apache Cordova Nation.

[BibT_eX]

[DOI]

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

2015

Formal firewall conformance testing: an application of test and proof techniques.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2015

Testing the IPC Protocol for a Real-Time Operating System.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015

Factors Impacting the Effort Required to Fix Security Vulnerabilities - An Industrial Case Study.

[BibT_eX]

[DOI]

Proceedings of the Information Security - 18th International Conference, 2015

From Secure Business Process Models to Secure Artifact-Centric Specifications.

[BibT_eX]

[DOI]

Mattia Salnitri

Paolo Giorgini

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

2014

The Aniketos Platform.

[BibT_eX]

[DOI]

Proceedings of the Secure and Trustworthy Service Composition - The Aniketos Approach, 2014

The Aniketos Service Composition Framework - Analysing and Ranking of Secure Services.

[BibT_eX]

[DOI]

Proceedings of the Secure and Trustworthy Service Composition - The Aniketos Approach, 2014

Compliance Validation of Secure Service Compositions.

[BibT_eX]

[DOI]

Luca Compagna

Pierre Guilleminot

Proceedings of the Secure and Trustworthy Service Composition - The Aniketos Approach, 2014

Using SecureBPMN for Modelling Security-Aware Service Compositions.

[BibT_eX]

[DOI]

Proceedings of the Secure and Trustworthy Service Composition - The Aniketos Approach, 2014

Security Policy Monitoring of Composite Services.

[BibT_eX]

[DOI]

Proceedings of the Secure and Trustworthy Service Composition - The Aniketos Approach, 2014

Editorial for the special issue of STVR on tests and proofs volume 2: tests and proofs for improving the generation time and quality of test data suites.

[BibT_eX]

[DOI]

Jacques Julliand

Softw. Test. Verification Reliab., 2014

Editorial for the special issue of STVR on tests and proofs volume 1: tests and proofs in model-based testing.

[BibT_eX]

[DOI]

Jacques Julliand

Softw. Test. Verification Reliab., 2014

Developing secure software.

[BibT_eX]

[DOI]

Ruediger Bachmann

Datenschutz und Datensicherheit, 2014

Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5.

[BibT_eX]

[DOI]

Frédéric Tuong

Arch. Formal Proofs, 2014

The Unified Policy Framework (UPF).

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2014

Deploying Static Application Security Testing on a Large Scale.

[BibT_eX]

[DOI]

Uwe Sodan

Proceedings of the Sicherheit 2014: Sicherheit, 2014

Zertifizierte Datensicherheit für Android-Anwendungen auf Basis statischer Programmanalysen.

[BibT_eX]

[DOI]

Proceedings of the Sicherheit 2014: Sicherheit, 2014

Panel Discussion: Proposals for Improving OCL.

[BibT_eX]

[DOI]

Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

2013

Integrating Security Aspects into Business Process Models.

[BibT_eX]

[DOI]

it Inf. Technol., 2013

On theorem prover-based testing.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2013

Test Program Generation for a Microprocessor - A Case-Study.

[BibT_eX]

[DOI]

Abderrahmane Feliachi

Yakoub Nemouchi

Proceedings of the Tests and Proofs - 7th International Conference, 2013

A Framework for Secure Service Composition.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Social Computing, SocialCom 2013, 2013

On the Semantics of Object-Oriented Data Structures and Path Expressions.

[BibT_eX]

[DOI]

Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

Report on the Aachen OCL Meeting.

[BibT_eX]

[DOI]

Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance Testing.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

Business Process Compliance via Security Validation as a Service.

[BibT_eX]

[DOI]

Luca Compagna

Pierre Guilleminot

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

SecureBPMN: modeling and enforcing access control requirements in business processes.

[BibT_eX]

[DOI]

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

Security and safety of assets in business processes.

[BibT_eX]

[DOI]

Ganna Monakova

Andreas Schaad

Proceedings of the ACM Symposium on Applied Computing, 2012

Featherweight OCL: a study for the consistent semantics of OCL 2.3 in HOL.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on OCL and Textual Modelling, 2012

Monitoring Security and Safety of Assets in Supply Chains.

[BibT_eX]

[DOI]

Proceedings of the Future Security - 7th Security Research Conference, 2012

Secure and Compliant Implementation of Business Process-Driven Systems.

[BibT_eX]

[DOI]

Isabelle Hang

Proceedings of the Business Process Management Workshops, 2012

Service Levels, Security, and Trust.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Service Description - USDL and Its Methods, 2012

2011

Extending OCL Operation Contracts with Objective Functions.

[BibT_eX]

[DOI]

Matthias P. Krieger

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

A Service-oriented Architecture for Emergency Management Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2011, 2011

An approach to modular and testable security models of real-world health-care applications.

[BibT_eX]

[DOI]

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

A Framework for Managing and Analyzing Changes of Security Policies.

[BibT_eX]

[DOI]

Proceedings of the POLICY 2011, 2011

2010

Efficient analysis of pattern-based constraint specifications.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2010

Attribute-Based Encryption with Break-Glass.

[BibT_eX]

[DOI]

Stefan G. Weber

Proceedings of the Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices, 2010

A Specification-Based Test Case Generation Method for UML/OCL.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2010

Verified Firewall Policy Transformations for Test Case Generation.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study.

[BibT_eX]

[DOI]

Michael Altenhofen

Proceedings of the Formal Methods for Industrial Critical Systems, 2010

Idea: Efficient Evaluation of Access Control Constraints.

[BibT_eX]

[DOI]

Proceedings of the Engineering Secure Software and Systems, Second International Symposium, 2010

Information Flow in Disaster Management Systems.

[BibT_eX]

[DOI]

Dieter Hutter

Proceedings of the ARES 2010, 2010

2009

Semantics, calculi, and analysis for object-oriented specifications.

[BibT_eX]

[DOI]

Acta Informatica, 2009

Extending access control models with break-glass.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM Symposium on Access Control Models and Technologies, 2009

Delegation Assistance.

[BibT_eX]

[DOI]

Andreas Schaad

Proceedings of the POLICY 2009, 2009

Extending OCL with Null-References.

[BibT_eX]

[DOI]

Matthias P. Krieger

Proceedings of the Models in Software Engineering, 2009

Integrating Automated and Interactive Protocol Verification.

[BibT_eX]

[DOI]

Sebastian Mödersheim

Proceedings of the Formal Aspects in Security and Trust, 6th International Workshop, 2009

hol-TestGen.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2009

ProActive Caching: Generating Caching Heuristics for Business Process Environments.

[BibT_eX]

[DOI]

Mathias Kohler

Andreas Schaad

Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

2008

An Extensible Encoding of Object-oriented Data Models in hol.

[BibT_eX]

[DOI]

J. Autom. Reason., 2008

Verifying Test-Hypotheses: An Experiment in Test and Proof.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Model Based Testing, 2008

Model-Based Firewall Conformance Testing.

[BibT_eX]

[DOI]

Proceedings of the Testing of Software and Communicating Systems, 2008

HOL-OCL: A Formal Proof Environment for UML/OCL.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2008

Extensible Universes for Object-Oriented Data Models.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2008, 2008

2007

An interactive proof environment for object-oriented specifications.

[BibT_eX]

[DOI]

PhD thesis, 2007

Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 1st International Conference, 2007

2006

Model-Driven Constraint Engineering.

[BibT_eX]

[DOI]

Michael Wahler

Jana Koehler

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Semantic Issues of OCL: Past, Present, and Future.

[BibT_eX]

[DOI]

Jürgen Doser

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

An MDA Framework Supporting OCL.

[BibT_eX]

[DOI]

Jürgen Doser

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

A Model Transformation Semantics and Analysis Methodology for SecureUML.

[BibT_eX]

[DOI]

Jürgen Doser

Proceedings of the Model Driven Engineering Languages and Systems, 2006

2005

A verification approach to applied system security.

[BibT_eX]

[DOI]

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

Interactive Testing with HOL-TestGen.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

2004

Symbolic Test Case Generation for Primitive Recursive Functions.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

2003

HOL-Z 2.0: A Proof Environment for Z-Specifications.

[BibT_eX]

[DOI]

Frank Rittinger

J. Univers. Comput. Sci., 2003

A Case Study of a Formalized Security Architecture.

[BibT_eX]

[DOI]

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

2002

HOL-OCL: Experiences, Consequences and Design Choices.

[BibT_eX]

[DOI]

Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002

Using Theory Morphisms for Implementing Formal Methods Tools.

[BibT_eX]

[DOI]

Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002

A Proposal for a Formal OCL Semantics in Isabelle/HOL.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

2001

Testing Distributed Component Based Systems Using UML/OCL.

[BibT_eX]