F Dechesne
TitleCited byYear
No smoking here: values, norms and culture in multi-agent systems
F Dechesne, G Di Tosto, V Dignum, F Dignum
Artificial Intelligence and Law 21 (1), 79-107, 2013
452013
Equivalence and quantifier rules for logic with imperfect information
X Caicedo, F Dechesne, TMV Janssen
Logic Journal of IGPL 17 (1), 91-129, 2009
442009
Operational and epistemic approaches to protocol analysis: Bridging the gap
F Dechesne, MR Mousavi, S Orzan
International Conference on Logic for Programming Artificial Intelligence†…, 2007
372007
Game, Set, Maths: Formal investigations into logic with imperfect information
F Dechesne
Universiteit van Tilburg, 2005
262005
Ethical requirements for reconfigurable sensor technology: a challenge for value sensitive design
F Dechesne, M Warnier, J van den Hoven
Ethics and Information Technology 15 (3), 173-181, 2013
222013
To know or not to know: epistemic approaches to security protocol verification
F Dechesne, Y Wang
Synthese 177 (1), 51-76, 2010
222010
Dynamic epistemic verification of security protocols: Framework and case study
F Dechesne, Y Wang
Proceedings of the Workshop on Logic, Rationality and Interaction, Texts in†…, 2007
202007
Signalling in IF games: a tricky business
TMV Janssen, F Dechesne
The age of alternative logics, 221-241, 2006
182006
Signalling in IF games: a tricky business
TMV Janssen, F Dechesne
The age of alternative logics, 221-241, 2006
182006
Effectiveness of qualitative and quantitative security obligations
W Pieters, J Padget, F Dechesne, V Dignum, H Aldewereld
Journal of information security and applications 22, 3-16, 2015
162015
Fact sheet–Ethics Subgroup IoT–version 4.0
J Van Den Hoven, ¬ Guimar„es Pereira, F Dechesne, J Timmermans, ...
Technical report, Delft University, 2012
142012
Enhancing ABM into an inevitable tool for policy analysis
A Ghorbani, F Dechesne, V Dignum, C Jonker
Policy and Complex Systems 1 (1), 2014
122014
Refinement of kripke models for dynamics
F Dechesne, S Orzan, Y Wang
International Colloquium on Theoretical Aspects of Computing, 111-125, 2008
112008
Design for Privacy
M Warnier, F Dechesne, F Brazier
10*
Security-by-experiment: Lessons from responsible deployment in cyberspace
W Pieters, D Hadžiosmanović, F Dechesne
Science and engineering ethics 22 (3), 831-850, 2016
92016
Cyber security as social experiment
W Pieters, D Hadžiosmanović, F Dechesne
Proceedings of the 2014 new security paradigms workshop, 15-24, 2014
92014
Obligations to enforce prohibitions: on the adequacy of security policies
W Pieters, J Padget, F Dechesne, V Dignum, H Aldewereld
Proceedings of the 6th International Conference on Security of Information†…, 2013
62013
Understanding compliance differences between legal and social norms: the case of smoking ban
F Dechesne, V Dignum, YH Tan
Advanced Agent Technology, 50-64, 2012
62012
Experimenting with incentives: Security in pilots for future grids
F Dechesne, D Hadziosmanovic, W Pieters
IEEE security & privacy, 59-66, 2014
52014
On expressive power and class invariance
Y Wang, F Dechesne
arXiv preprint arXiv:0905.4332, 2009
52009
The system can't perform the operation now. Try again later.
Articles 1–20