Francien Dechesne

24 papers A 2B 1C 3Journal 10Unranked 6
YearRankTypeTitle / Venue / Authors
2026 — conf
Ethics in Computer Science Research.
Juggling Formal Methods and Security
Francien Dechesne, Olga Gadyatskaya
2020 A conf
Requirements engineering for moral considerations in algorithmic systems : RE'20 Conference Keynote.
RE
Francien Dechesne
2020 — conf
Two computer scientists and a cultural scientist get hit by a driver-less car: a method for situating knowledge in the cross-disciplinary study of F-A-T in machine learning: translation tutorial.
FAT*
Maya Indira Ganesh, Francien Dechesne, Zeerak Waseem
2019 — conf
Fair Enough? On (Avoiding) Bias in Data, Algorithms and Decisions.
Privacy and Identity Management
Francien Dechesne
2018 J jnl
A comparison of data protection legislation and policies across the EU.
Comput. Law Secur. Rev.
Bart Custers, Francien Dechesne, Alan M. Sears, Tommaso Tani, Simone van der Hof
2016 J jnl
Security-by-Experiment: Lessons from Responsible Deployment in Cyberspace.
Sci. Eng. Ethics
Wolter Pieters, Dina Hadziosmanovic, Francien Dechesne
2015 J jnl
Effectiveness of qualitative and quantitative security obligations.
J. Inf. Secur. Appl.
Wolter Pieters, Julian A. Padget, Francien Dechesne, Virginia Dignum, Huib Aldewereld
2015 J jnl
Introduction to the special issue on agent-based modelling for policy engineering.
AI Soc.
Francien Dechesne, Amineh Ghorbani, Neil Yorke-Smith
2014 C conf
Cyber Security as Social Experiment.
NSPW
Wolter Pieters, Dina Hadziosmanovic, Francien Dechesne
2014 J jnl
Experimenting with Incentives: Security in Pilots for Future Grids.
IEEE Secur. Priv.
Francien Dechesne, Dina Hadziosmanovic, Wolter Pieters
2013 J jnl
No smoking here: values, norms and culture in multi-agent systems.
Artif. Intell. Law
Francien Dechesne, Gennaro di Tosto, Virginia Dignum, Frank Dignum
2013 C conf
Obligations to enforce prohibitions: on the adequacy of security policies.
SIN
Wolter Pieters, Julian A. Padget, Francien Dechesne, Virginia Dignum, Huib Aldewereld
2012 — ed.
Advanced Agent Technology - AAMAS 2011 Workshops, AMPLE, AOSE, ARMS, DOCM3AS, ITMAS, Taipei, Taiwan, May 2-6, 2011. Revised Selected Papers
AAMAS Workshops
Francien Dechesne, Hiromitsu Hattori, Adriaan ter Mors, Jose M. Such, Danny Weyns, Frank Dignum
2012 — ch.
Ambient Intelligence Implies Responsibility.
Agents and Ambient Intelligence
Christian Detweiler, Francien Dechesne, Koen V. Hindriks, Catholijn M. Jonker
2011 — conf
Interpreted Systems Semantics for Process Algebra with Identity Annotations.
TbiLLC
Francien Dechesne, Mohammad Reza Mousavi
2011 A conf
No smoking here: compliance differences between legal and social norms.
AAMAS
Francien Dechesne, Virginia Dignum
2011 — conf
Understanding Compliance Differences between Legal and Social Norms: The Case of Smoking Ban.
AAMAS Workshops
Francien Dechesne, Virginia Dignum, Yao-Hua Tan
2010 J jnl
To know or not to know: epistemic approaches to security protocol verification.
Synth.
Francien Dechesne, Yanjing Wang
2009 J jnl
Equivalence and quantifier rules for logic with imperfect information.
Log. J. IGPL
Xavier Caicedo, Francien Dechesne, Theo M. V. Janssen
2009 J jnl
On expressive power and class invariance
CoRR
Yanjing Wang, Francien Dechesne
2008 C conf
Refinement of Kripke Models for Dynamics.
ICTAC
Francien Dechesne, Simona Orzan, Yanjing Wang
2008 — conf
Verifying Multi-party Authentication Using Rank Functions and PVS.
Formal Aspects in Security and Trust
Rob Verhoeven, Francien Dechesne
2007 B conf
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap.
LPAR
Francien Dechesne, Mohammad Reza Mousavi, Simona Orzan
2006 J jnl
Thompson Transformations for If-Logic.
Synth.
Francien Dechesne