Pieters W., Padget J., Dechesne F., Dignum V., Aldewereld H..  2014.  Effectiveness of qualitative and quantitative security obligations. Journal of Information Security and Applications. to appear:1–14.

• DOI
• Google Scholar
• BibTex

Sytema M., Belinfante A.FE, Stoelinga M.IA, Marinelli L..  2014.  Experiences with formal engineering: model-based specification, implementation and testing of a software bus at Neopost. Science of computer programming. 80:188–209.

• DOI
• Google Scholar
• BibTex

Dechesne F., Hadziosmanović D., Pieters W..  2014.  Experimenting with Incentives: Security in Pilots for Future Grids. IEEE Security & Privacy. 12:59–66.

• DOI
• Google Scholar
• BibTex

Ivanova M.G, Probst C.W, Hansen R.R, Kammüller F..  2013.  Externalizing Behaviour for Analysing System Models. Journal of Internet Services and Information Security. 3:52–62.

• Google Scholar
• BibTex

Junges S., Guck D., Katoen J.P, Rensink A., Stoelinga M.IA.  2017.  Fault trees on a diet: automated reduction by graph rewriting. Formal Aspects of Computing. online pre-publication:1–53.

• DOI
• Google Scholar
• BibTex

van der Wagen W., Pieters W..  2015.  From Cybercrime to Cyborg Crime: Botnets as Hybrid Criminal Actor-Networks. British journal of Criminology. 55:1–18.

• DOI
• Google Scholar
• BibTex

Ouchani S., Lenzini G..  2016.  Generating attacks in SysML activity diagrams by detecting attack surfaces. Journal of Ambient Intelligence and Humanized Computing. 6:361–373.

• DOI
• Google Scholar
• BibTex

Song L., Zhang L., Hermanns H., Godesken J.C.  2014.  Incremental Bisimulation Abstraction Refinement. ACM Transactions on Embedded Computing Systems (TECS). 13:ArtcleNo.142.

• DOI
• Google Scholar
• BibTex

Kammüller F., Probst C.W.  2014.  Invalidating policies using structural information. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA). 5:59–79.

• Google Scholar
• BibTex

Huisman M., Stoelinga M.IA.  2014.  Meer vrouwen in de ict, waarom eigenlijk? Bits en chips. 9:20–21.

• Google Scholar
• BibTex

Kammüller F., Probst C.W.  2016.  Modeling and Verification of Insider Threats Using Logical Analysis. IEEE Systems Journal.

• DOI
• Google Scholar
• BibTex

Kammüller F., Probst C.W.  2015.  Modeling and Verification of Insider Threats Using Logical Analysis. IEEE Systems Journal. 99:1–12.

• DOI
• Google Scholar
• BibTex

Pieters W., Barendse J., Ford M., Heath C.PR, Probst C.W, Verbij R..  2016.  The Navigation Metaphor in Security Economics. IEEE Security & Privacy. 14:14–21.

• DOI
• Google Scholar
• BibTex

Bullee J.H, Montoya L., Pieters W., Junger M., Hartel P.H.  2015.  The persuasion and security awareness experiment: reducing the success of social engineering attacks. Journal of Experimental Criminology. 11:97–115.

• DOI
• Google Scholar
• BibTex

Junger M., Morales A.LMontoya, Overink F.J.  2017.  Priming and warnings are not effective to prevent social engineering attacks. Computers in Human Behavior. 66:75–87.

• DOI
• Google Scholar
• BibTex

Kordy B., Pouly M., Schweitzer P..  2016.  Probabilistic reasoning with graphical security models. Information sciences. 342:111–131.

• DOI
• Google Scholar
• BibTex

Arnold F., Pieters W., Stoelinga M.IA.  2014.  Quantitative Penetration Testing with Item Response Theory. Journal of Information Assurance and Security. 9:118–127.

• Google Scholar
• BibTex

Probst C.W, Hansen R.R.  2013.  Reachability-based impact as a measure for insiderness. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications. 4:38–48.

• Google Scholar
• BibTex

Pieters W., Lukszo Z., Hadziosmanović D., van den Berg J..  2014.  Reconciling Malicious and Accidental Risk in Cyber Security. Journal of Internet Services and Information Security. 4:4–26.

• Google Scholar
• BibTex

Lenzini G., Mauw S., Ouchani S..  2015.  Security analysis of socio-technical physical systems. Computers & Electrical Engineering. online

• DOI
• Google Scholar
• BibTex

Pieters W., Hadziosmanović D., Dechesne F..  2015.  Security-by-Experiment: Lessons from Responsible Deployment in Cyberspace. Science and Engineering Ethics. N/A

• DOI
• Google Scholar
• BibTex

Pieters W., Hadziosmanović D., Dechesne F..  2016.  Security-by-Experiment: Lessons from Responsible Deployment in Cyberspace. Science and Engineering Ethics. N/A

• DOI
• Google Scholar
• BibTex

Gollmann D., Herley C., Koenig V., Pieters W., Sasse M.A.  2015.  Socio-Technical Security Metrics (Dagstuhl Seminar 14491). Dagstuhl Reports. 4:1–28.

• DOI
• Google Scholar
• BibTex

Pieters W..  2013.  On thinging things and serving services: technological mediation and inseparable goods. Ethics and information technology. 15:195–208.

• DOI
• Google Scholar
• BibTex

Feng Y., Zhang L..  2013.  A tighter bound for the self-stabilization time in Herman's algorithm. Information processing letters. 113:486–488.

• DOI
• Google Scholar
• BibTex