Francien Dechesne

According to our database1, Francien Dechesne authored at least 22 papers between 2006 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Requirements engineering for moral considerations in algorithmic systems : RE'20 Conference Keynote.
Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

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.
Proceedings of the FAT* '20: Conference on Fairness, 2020

2019
Fair Enough? On (Avoiding) Bias in Data, Algorithms and Decisions.
Proceedings of the Privacy and Identity Management. Data for Better Living: AI and Privacy, 2019

2018
A comparison of data protection legislation and policies across the EU.
Comput. Law Secur. Rev., 2018

2016
Security-by-Experiment: Lessons from Responsible Deployment in Cyberspace.
Sci. Eng. Ethics, 2016

2015
Effectiveness of qualitative and quantitative security obligations.
J. Inf. Secur. Appl., 2015

Introduction to the special issue on agent-based modelling for policy engineering.
AI Soc., 2015

2014
Experimenting with Incentives: Security in Pilots for Future Grids.
IEEE Secur. Priv., 2014

Cyber Security as Social Experiment.
Proceedings of the 2014 workshop on New Security Paradigms Workshop, 2014

2013
No smoking here: values, norms and culture in multi-agent systems.
Artif. Intell. Law, 2013

Obligations to enforce prohibitions: on the adequacy of security policies.
Proceedings of the 6th International Conference on Security of Information and Networks, 2013

2012
Ambient Intelligence Implies Responsibility.
Proceedings of the Agents and Ambient Intelligence, 2012

2011
Interpreted Systems Semantics for Process Algebra with Identity Annotations.
Proceedings of the Logic, Language, and Computation, 2011

Understanding Compliance Differences between Legal and Social Norms: The Case of Smoking Ban.
Proceedings of the Advanced Agent Technology, 2011

No smoking here: compliance differences between legal and social norms.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010
To know or not to know: epistemic approaches to security protocol verification.
Synth., 2010

2009
Equivalence and quantifier rules for logic with imperfect information.
Log. J. IGPL, 2009

On expressive power and class invariance
CoRR, 2009

2008
Verifying Multi-party Authentication Using Rank Functions and PVS.
Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

Refinement of Kripke Models for Dynamics.
Proceedings of the Theoretical Aspects of Computing, 2008

2007
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap.
Proceedings of the Logic for Programming, 2007

2006
Thompson Transformations for If-Logic.
Synth., 2006


  Loading...