Java Program Verification Challenges. - Bart Jacobs 001; Joseph Kiniry; Martijn Warnier (FMCO, 2002)

The Coinductive Approach to Verifying Cryptographic Protocols. - Jesse Hughes; Martijn Warnier (WADT, 2002)

Source code verification of a secure payment applet. - Bart Jacobs 001; Martijn Oostdijk; Martijn Warnier (J. Log. Algebraic Methods Program., 2004)

Statically checking confidentiality via dynamic labels. - Bart Jacobs 001; Wolter Pieters; Martijn Warnier (WITS, 2005)

Preventing Timing Leaks Through Transactional Branching Instructions. - Gilles Barthe; Tamara Rezk; Martijn Warnier (QAPL, 2005)

Organized Anonymity in Agent Systems. - Martijn Warnier; David de Groot; Frances M. T. Brazier (EUMAS, 2006)

Secure Distributed Dossier Management in the Legal Domain. - Martijn Warnier; Frances M. T. Brazier; Martin Apistola; Anja Oskamp (ARES, 2007)

Organized Anonymous Agents. - Martijn Warnier; Frances M. T. Brazier (IAS, 2007)

Conditions for access and use of legal document retrieval web services. - Martine Boonk; Frances M. T. Brazier; David de Groot; Maarten van Stekelenburg; Anja Oskamp; Martijn Warnier (ICAIL, 2007)

Towards automatic identification of completeness and consistency in digital dossiers. - Martijn Warnier; Frances M. T. Brazier; Martin Apistola; Anja Oskamp (ICAIL, 2007)

Monitoring and Reputation Mechanisms for Service Level Agreements. - Omer F. Rana; Martijn Warnier; Thomas B. Quillinan; Frances M. T. Brazier (GECON, 2008)

An agent based system for distributed information management: A case study. - Martijn Warnier; Reinier J. Timmer; Michel A. Oey; Frances M. T. Brazier; Anja Oskamp (IMCSIT, 2008)

Enforcing security in the AgentScape middleware. - Thomas B. Quillinan; Martijn Warnier; Michel A. Oey; Reinier J. Timmer; Frances M. T. Brazier (Middleware Security, 2008)

Security of Distributed Digital Criminal Dossiers. - Martijn Warnier; Frances M. T. Brazier; Anja Oskamp (J. Softw., 2008)

The Future of Energy Markets and the Challenge of Decentralized Self-management. - Frances M. T. Brazier; Elth Ogston; Martijn Warnier (AP2PC, 2009)

A Distributed Agent-based Approach to Stabilization of Global Resource Utilization. - Evangelos Pournaras; Martijn Warnier; Frances M. T. Brazier (CISIS, 2009)

Enforcing integrity of agent migration paths by distribution of trust. - Martijn Warnier; Michel A. Oey; Reinier J. Timmer; Frances M. T. Brazier; Benno J. Overeinder (Int. J. Intell. Inf. Database Syst., 2009)

Secure Monitoring of Service Level Agreements. - Kassidy P. Clark; Martijn Warnier; Frances M. T. Brazier; Thomas B. Quillinan (ARES, 2010)

Adaptation strategies for self-management of tree overlay networks. - Evangelos Pournaras; Martijn Warnier; Frances M. T. Brazier (GRID, 2010)

A Framework for Developing Agent-Based Distributed Applications. - Michel A. Oey; Sander van Splunter; Elth Ogston; Martijn Warnier; Frances M. T. Brazier (IAT, 2010)

On the Application of Autonomic and Context-aware Computing to Support Home Energy Management. - Boris Shishkov; Martijn Warnier; Marten van Sinderen (ICEIS (3), 2010)

Structured Use-cases as a Basis for Self-management of Distributed Systems. - A. Reza Haydarlou; Michel A. Oey; Martijn Warnier; Frances M. T. Brazier (ICSOFT (1), 2010)

Local agent-based self-stabilisation in global resource utilisation. - Evangelos Pournaras; Martijn Warnier; Frances M. T. Brazier (Int. J. Auton. Comput., 2010)

Anonymity services for multi-agent systems. - Martijn Warnier; Frances M. T. Brazier (Web Intell. Agent Syst., 2010)

Privacy Regulations for Cloud Computing: Compliance and Implementation in Theory and Practice. - Joep Ruiter; Martijn Warnier (Computers, Privacy and Data Protection, 2011)

Botclouds - The Future of Cloud-based Botnets? - Kassidy P. Clark; Martijn Warnier; Frances M. T. Brazier (CLOSER, 2011)

Self-adaptive Service Monitoring. - Kassidy P. Clark; Martijn Warnier; Frances M. T. Brazier (ICAIS, 2011)

An agent-based infrastructure for energy profile capture and management. - Julian A. Padget; Harpreet Riat; Benedikt Forchhammer; Martijn Warnier; Frances M. T. Brazier; Sukumar Natarajan (ICNSC, 2011)

Transparency, consistency and modularity of strategic reasoning: an agent architecture for interactive business simulations. - Rick van Krevelen; Martijn Warnier; Frances M. T. Brazier; Alexander Verbraeck; Thomas M. Corsi (WSC, 2011)

An Intelligent Cloud Resource Allocation Service - Agent-Based Automated Cloud Resource Allocation using Micro-agreement. - Kassidy P. Clark; Martijn Warnier; Frances M. T. Brazier (CLOSER, 2012)

Automated Non-repudiable Cloud Resource Allocation. - Kassidy P. Clark; Martijn Warnier; Frances M. T. Brazier (CLOSER (Selected Papers), 2012)

The E-CITY 2020 game: the use of simulation games can accelerate market model design for the electric vehicle charging infrastructure. - Sjoerd Helmer; Maarten C. Noom; Martijn Warnier (Int. J. Syst. Syst. Eng., 2012)

Social Media Data Relevant for Measuring Key Performance Indicators? A Content Analysis Approach. - Joeri Heijnen; Mark de Reuver; Harry Bouwman; Martijn Warnier; Han Horlings (ICEC (Selected Papers), 2013)

Cyber Crime in Privately Held Information Systems: Personal Data at Stake. - Mariëlle den Hengst; Martijn Warnier (EISIC, 2013)

A robustness metric for cascading failures by targeted attacks in power networks. - Yakup Koc; Martijn Warnier; Robert E. Kooij; Frances M. T. Brazier (ICNSC, 2013)

A generic and adaptive aggregation service for large-scale decentralized networks. - Evangelos Pournaras; Martijn Warnier; Frances M. T. Brazier (Complex Adapt. Syst. Model., 2013)

MATCASC: A tool to analyse cascading line outages in power grids. - Yakup Koç; Trivik Verma; Nuno A. M. Araújo; Martijn Warnier (CoRR, 2013)

Self-adaptive service level agreement monitoring in cloud environments. - Kassidy P. Clark; Martijn Warnier; Frances M. T. Brazier (Multiagent Grid Syst., 2013)

Organizational Control Reconfigurations for a Robust Smart Power Grid. - Evangelos Pournaras; Mark Yao; Ron F. Ambrosio; Martijn Warnier (Internet of Things and Inter-cooperative Computational Technologies for Collective Intelligence, 2013)

Request driven social sensing. - Thomas Christopher King; Qingzhi Liu; Gleb Polevoy; Mathijs de Weerdt; Virginia Dignum; M. Birna van Riemsdijk; Martijn Warnier (AAMAS, 2014)

Structural vulnerability assessment of electric power grids. - Yakup Koc; Martijn Warnier; Robert E. Kooij; Frances M. T. Brazier (ICNSC, 2014)

Does offline political segregation affect the filter bubble? An empirical analysis of information diversity for Dutch and Turkish Twitter users. - Engin Bozdag; Qi Gao 002; Geert-Jan Houben; Martijn Warnier (Comput. Hum. Behav., 2014)

The Impact of the Topology on Cascading Failures in Electric Power Grids. - Yakup Koç; Martijn Warnier; Piet Van Mieghem; Robert E. Kooij; Frances M. T. Brazier (CoRR, 2014)

Adaptive Self-Organization in Distributed Tree Topologies. - Evangelos Pournaras; Martijn Warnier; Frances M. T. Brazier (Int. J. Distributed Syst. Technol., 2014)

Social networking for Smart Grid users. - Yilin Huang; Martijn Warnier; Frances M. T. Brazier; Daniele Miorandi (ICNSC, 2015)

Peer-to-peer aggregation for dynamic adjustments in power demand. - Evangelos Pournaras; Martijn Warnier; Frances M. T. Brazier (Peer-to-Peer Netw. Appl., 2015)

The Duality of Technology: ICT as an enabler and inhibiter in Business Process improvement. - Jessica Bras; Huib Aldewereld; Quenten Verburg; Martijn Warnier; Marijn Janssen (AMCIS, 2016)

Safe and secure wireless power transfer networks: challenges and opportunities in RF-based systems. - Qingzhi Liu; Kasim Sinan Yildirim; Przemyslaw Pawelczak; Martijn Warnier (IEEE Commun. Mag., 2016)

Structural vulnerability analysis of electric power distribution grids. - Yakup Koç; Abhishek Raman; Martijn Warnier; Tarun Kumar (Int. J. Crit. Infrastructures, 2016)

Green Wireless Power Transfer Networks. - Qingzhi Liu; Michal Golinski; Przemyslaw Pawelczak; Martijn Warnier (IEEE J. Sel. Areas Commun., 2016)

Dynamic, self-organized clusters as a means to supply and demand matching in large-scale energy systems. - Selma Causevic; Martijn Warnier; Frances M. T. Brazier (ICNSC, 2017)

YouPower: An open source platform for community-oriented smart grid user engagement. - Yilin Huang; Hanna Hasselqvist; Giacomo Poderi; Sanja Scepanovic; Filip Kis; Cristian Bogdan; Martijn Warnier; Frances M. T. Brazier (ICNSC, 2017)

Storage coordination and peak-shaving operation in urban areas with high renewable penetration. - Nina Voulis; Martijn Warnier; Frances M. T. Brazier (ICNSC, 2017)

Distributed monitoring for the prevention of cascading failures in operational power grids. - Martijn Warnier; Stefan Dulman; Yakup Koç; Eric J. Pauwels (Int. J. Crit. Infrastructure Prot., 2017)

Robustness assessment of link capacity reduction for complex networks: Application for public transport systems. - Oded Cats; Gert-Jaap Koppenol; Martijn Warnier (Reliab. Eng. Syst. Saf., 2017)

Three Categories of Context-Aware Systems. - Boris Shishkov; John Bruntse Larsen; Martijn Warnier; Marijn Janssen (BMSD, 2018)

Embedding Internet-of-Things in Large-Scale Socio-technical Systems: A Community-Oriented Design in Future Smart Grids. - Yilin Huang; Giacomo Poderi; Sanja Scepanovic; Hanna Hasselqvist; Martijn Warnier; Frances M. T. Brazier (The Internet of Things for Smart Urban Ecosystems, 2019)

Bridging the Attitude-Behaviour Gap in Household Energy Consumption. - Yilin Huang; Martijn Warnier (ISGT Europe, 2019)

Self-determined distribution of local energy resources for ensuring power supply during outages. - Selma Causevic; Martijn Warnier; Frances M. T. Brazier (Energy Inform., 2019)

Ad Hoc Communication Topology Switching during Disasters from Altruistic to Individualistic and Back. - Indushree Banerjee; Martijn Warnier; Frances M. T. Brazier (COMPLEXIS, 2020)

Self-organizing topology for energy-efficient ad-hoc communication networks of mobile devices. - Indushree Banerjee; Martijn Warnier; Frances M. T. Brazier (Complex Adapt. Syst. Model., 2020)

SOS - Self-Organization for Survival: Introducing fairness in emergency communication to save lives. - Indushree Banerjee; Martijn Warnier; Frances M. T. Brazier; Dirk Helbing (CoRR, 2020)

Humanitarian access, interrupted: dynamic near real-time network analytics and mapping for reaching communities in disaster-affected countries. - Martijn Warnier; Vincent Alkema; Tina Comes; Bartel A. Van de Walle (OR Spectr., 2020)

Amplifying Privacy: Scaling Up Transparency Research Through Delegated Access Requests. - Hadi Asghari; Thomas van Biemen; Martijn Warnier (CoRR, 2021)

The perils and pitfalls of explainable AI: Strategies for explaining algorithmic decision-making. - Hans de Bruijn; Martijn Warnier; Marijn Janssen (Gov. Inf. Q., 2022)

A Survey on Approximate Edge AI for Energy Efficient Autonomous Driving Services. - Dewant Katare; Diego Perino; Jari Nurmi; Martijn Warnier; Marijn Janssen; Aaron Yi Ding (IEEE Commun. Surv. Tutorials, 2023)