Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Guido Boella, Patrice Caire, Leendert W. N. van der Torre |
Norm negotiation in online multi-player games. |
Knowl. Inf. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Multi-player online games, Normative multi-agent systems, Social delegation cycle, Dependence networks, Agent communication protocols |
18 | David Déharbe, Silvio Ranise |
Satisfiability solving for software verification. |
Int. J. Softw. Tools Technol. Transf. |
2009 |
DBLP DOI BibTeX RDF |
Equational theorem proving, Boolean solving, Theory reasoning, Software verification |
18 | Divakar Yadav, Michael J. Butler |
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Anas Abou El Kalam, Philippe Balbiani |
A Policy Language for Modelling Recommendations. |
SEC |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Gordon J. Pace, Gerardo Schneider |
Challenges in the Specification of Full Contracts. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Guido Governatori, Antonino Rotolo |
BIO logical agents: Norms, beliefs, intentions in defeasible logic. |
Auton. Agents Multi Agent Syst. |
2008 |
DBLP DOI BibTeX RDF |
Intention and obligation, Agent types, Computational complexity, Social agents, Defeasible logic |
18 | Kriangsak Damchoom, Michael J. Butler, Jean-Raymond Abrial |
Modelling and Proof of a Tree-Structured File System in Event-B and Rodin. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
Rodin tool, Refinement, File system, Tree structure, Proof, Event-B |
18 | Yann Régis-Gianas, François Pottier |
A Hoare Logic for Call-by-Value Functional Programs. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Matthew J. Parkinson, Gavin M. Bierman |
Separation logic, abstraction and inheritance. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
modularity, classes, separation logic |
18 | Kohei Suenaga |
Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Nikhil Dinesh, Aravind K. Joshi, Insup Lee 0001, Oleg Sokolsky |
Checking Traces for Regulatory Conformance. |
RV |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Guido Governatori, Jörg Hoffmann 0001, Shazia Wasim Sadiq, Ingo Weber |
Detecting Regulatory Compliance for Business Process Models through Semantic Annotations. |
Business Process Management Workshops |
2008 |
DBLP DOI BibTeX RDF |
Business Process Models, Semantic Annotations, Regulatory Compliance |
18 | Basel Katt, Xinwen Zhang, Ruth Breu, Michael Hafner, Jean-Pierre Seifert |
A general obligation model and continuity: enhanced policy enforcement engine for usage control. |
SACMAT |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Kathleen Keogh, Liz Sonenberg, Wally Smith |
Coordination in Adaptive Organisations: Extending Shared Plans with Knowledge Cultivation. |
AAMAS-OAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Benjamin Grégoire, Jorge Luis Sacchini |
Combining a Verification Condition Generator for a Bytecode Language with Static Analyses. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Julien Brunel, Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Jean-Paul Bodeveix |
Security policy compliance with violation management. |
FMSE |
2007 |
DBLP DOI BibTeX RDF |
labeled kripke structure, temporal logic, security policy, deontic logic, violation |
18 | Valeria Cardellini, Emiliano Casalicchio, Vincenzo Grassi, Francesco Lo Presti |
Efficient provisioning of service level agreements for service oriented applications. |
IW-SOSWE |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Anna Cinzia Squicciarini, Ayça Azgin Hintoglu, Elisa Bertino, Yücel Saygin |
A privacy preserving assertion based policy language for federation systems. |
SACMAT |
2007 |
DBLP DOI BibTeX RDF |
digital identity management, privacy |
18 | Martin J. Kollingbaum, Wamberto Weber Vasconcelos, Andrés García-Camino, Timothy J. Norman |
Managing Conflict Resolution in Norm-Regulated Environments. |
ESAW |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Andrés García-Camino, Juan A. Rodríguez-Aguilar, Wamberto Weber Vasconcelos |
A Distributed Architecture for Norm Management in Multi-Agent Systems. |
COIN |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Zhicheng Wen, Huaikou Miao, Hongwei Zeng |
Generating Proof Obligation to Verify Object-Z Specification. |
ICSEA |
2006 |
DBLP DOI BibTeX RDF |
formal specification, Object-Z, proof obligation |
18 | Wei Xu, V. N. Venkatakrishnan, R. Sekar 0001, I. V. Ramakrishnan |
A Framework for Building Privacy-Conscious Composite Web Services. |
ICWS |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Marco Casassa Mont, Robert Thyne |
A Systemic Approach to Automate Privacy Policy Enforcement in Enterprises. |
Privacy Enhancing Technologies |
2006 |
DBLP DOI BibTeX RDF |
privacy-aware access control, obligation management, privacy, identity management, policy enforcement |
18 | Guillaume Muller 0001, Laurent Vercouter |
Using Social Commitments to Control the Agents' Freedom of Speech. |
AC |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Guido Governatori, Antonino Rotolo, Vineet Padmanabhan |
The cost of social agents. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
computational complexity, intention, social agents, obligation, defeasible logic |
18 | Marco Casassa Mont, Siani Pearson, Robert Thyne |
A Systematic Approach to Privacy Enforcement and Policy Compliance Checking in Enterprises. |
TrustBus |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Claude Marché, Christine Paulin-Mohring |
Reasoning About Java Programs with Aliasing and Frame Conditions. |
TPHOLs |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Eunjee Song, Raghu Reddy, Robert B. France, Indrakshi Ray, Geri Georg, Roger T. Alexander |
Verifiable composition of access control and application features. |
SACMAT |
2005 |
DBLP DOI BibTeX RDF |
modeling, UML, verification, RBAC |
18 | Guillaume Dufay, Amy P. Felty, Stan Matwin |
Privacy-Sensitive Information Flow with JML. |
CADE |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Joe Hendrix, Manuel Clavel, José Meseguer 0001 |
A Sufficient Completeness Reasoning Tool for Partial Specifications. |
RTA |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Markus Lorch, Dennis G. Kafura, Ian Fisk, Kate Keahey, Gabriele Carcassi, Timothy Freeman 0001, Timur Peremutov, Abhishek Singh Rana |
Authorization and account management in the Open Science Grid. |
GRID |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Carlos Molina-Jiménez, Santosh K. Shrivastava, John P. Warne |
A Method for Specifying Contract Mediated Interactions. |
EDOC |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Mairi McCallum, Wamberto Weber Vasconcelos, Timothy J. Norman |
Verification and Analysis of Organisational Change. |
AAMAS Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Martin J. Kollingbaum, Timothy J. Norman |
Informed Deliberation During Norm-Governed Practical Reasoning. |
AAMAS Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Westley Weimer, George C. Necula |
Finding and preventing run-time error handling mistakes. |
OOPSLA |
2004 |
DBLP DOI BibTeX RDF |
destructors, try-finally, dataflow, exceptions, finalizers |
18 | Andreas Schaad, Jonathan D. Moffett |
Separation, review and supervision controls in the context of a credit application process: a case study of organisational control principles. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
control principles, delegation of obligation, security, management, roles, review, supervision |
18 | Frank Dignum, Jan M. Broersen, Virginia Dignum, John-Jules Ch. Meyer |
Meeting the Deadline: Why, When and How. |
FAABS |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Ewen Denney, Bernd Fischer 0002, Johann Schumann |
Using Automated Theorem Provers to Certify Auto-generated Aerospace Software. |
IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Bernhard Beckert, Steffen Schlager |
Software Verification with Integrated Data Type Refinement for Integer Arithmetic. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
UML/OCL, Java, specification, Software verification, data refinement, integer arithmetic |
18 | Guido Boella, Leendert W. N. van der Torre |
Game Specification in Normative Multiagent System: The Trias Politica. |
IAT |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Babak Sadighi Firozabadi, Marek J. Sergot, Anna Cinzia Squicciarini, Elisa Bertino |
A Framework for Contractual Resource Sharing in Coalitions. |
POLICY |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Jan M. Broersen, Frank Dignum, Virginia Dignum, John-Jules Ch. Meyer |
Designing a Deontic Logic of Deadlines. |
DEON |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Robert Demolombe, Andreas Herzig |
Obligation Change in Dependence Logic and Situation Calculus. |
DEON |
2004 |
DBLP DOI BibTeX RDF |
|
18 | David Déharbe, Abdessamad Imine, Silvio Ranise |
Abstraction-Driven Verification of Array Programs. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Ian J. Hayes, Michael A. Jackson 0001, Cliff B. Jones |
Determining the Specification of a Control System from That of Its Environment. |
FME |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Heiko Ludwig, Markus Stolze |
Simple Obligation and Right Model (SORM) - for the Runtime Management of Electronic Service Contracts. |
WES |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Guido Boella, Leendert W. N. van der Torre |
Norm Governed Multiagent Systems: The Delegation of Control to Autonomous Agents. |
IAT |
2003 |
DBLP DOI BibTeX RDF |
|
18 | David Déharbe, Silvio Ranise |
Light-Weight Theorem Proving for Debugging and Verifying Units of Code. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Martin J. Kollingbaum, Timothy J. Norman |
Norm adoption in the NoA agent architecture. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
norms and contracts, agent architecture |
18 | Babak Sadighi Firozabadi, Marek J. Sergot |
Contractual Access Control. |
Security Protocols Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum |
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Jörn Kreutel |
Reconstructing Conversational Games in an Obligation-Driven Dialogue Model. |
TSD |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Thomas Baar, Ekkart Kindler, Hagen Völzer |
Verifying Intuition - ILF Checks DAWN Proofs. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Mihai Barbuceanu, Tom Gray, Serge Mankovski |
Providing Telecommunication Services through Multi-agent Negotiation. |
IATA |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
KIV 3.0 for Provably Correct Systems. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Jean-Christophe Filliâtre |
Proof of Imperative Programs in Type Theory. |
TYPES |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Julian Richardson |
Abstract: Proof Planning with Program Schemas. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Leendert W. N. van der Torre, Yao-Hua Tan |
Contextual Deontic Logic. |
ModelAge Workshop |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Bernhard K. Aichernig, Peter Gorm Larsen |
A Proof Obligation Generator for VDM-SL. |
FME |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Kedar S. Namjoshi |
A Simple Characterization of Stuttering Bisimulation. |
FSTTCS |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Frank Dignum, Hans Weigand, Egon Verharen |
Meeting the Deadline: On the Formal Specification of Temporal Deontic Constraints. |
ISMIS |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Morten Elvang-Gøransson, Robert E. Fields |
An Extended VDM Refinement Relation. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants |
Computer-Assisted Simulation Proofs. |
CAV |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Stephen J. Garland, John V. Guttag, James J. Horning |
Debugging Larch Shared Language Specifications. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
Larch shared language specifications, checkability, Larch power, theory containment, design, formal specification, parallel programming, debugging, consistency, development, inference mechanisms, program debugging, static semantics, concurrent algorithms |
18 | Bowen Alpern, Fred B. Schneider |
Verifying Temporal Properties without Temporal Logic. |
ACM Trans. Program. Lang. Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
9 | Dharmendra P. Gupta, Paul Chow |
Acceleration of an analytical approach to collateralized debt obligation pricing. |
FPGA |
2010 |
DBLP DOI BibTeX RDF |
cdo, financial simulation |
9 | Hyesook Kim, Andrew Monk |
Emotions experienced by families living at a distance. |
CHI Extended Abstracts |
2010 |
DBLP DOI BibTeX RDF |
grounded theory analysis, presence technology, emotion, probes, affective communication |
9 | Kumar Avijit, Anupam Datta, Robert Harper 0001 |
Distributed programming with distributed authorization. |
TLDI |
2010 |
DBLP DOI BibTeX RDF |
phase distinction, proof-carrying authorization, distributed programming, logical frameworks, authorization logic |
9 | Herbert Jordan, Radu Prodan, Vlad Nae, Thomas Fahringer |
Dynamic load management for MMOGs in distributed environments. |
Conf. Computing Frontiers |
2010 |
DBLP DOI BibTeX RDF |
load balancing, mmogs |
9 | Andrés García-Camino, Juan A. Rodríguez-Aguilar, Carles Sierra, Wamberto Weber Vasconcelos |
Constraint rule-based programming of norms for electronic institutions. |
Auton. Agents Multi Agent Syst. |
2009 |
DBLP DOI BibTeX RDF |
Constraints, Rules, Norms, Electronic institutions |
9 | Sylvie Boldo |
Kahan's Algorithm for a Correct Discriminant Computation at Last Formally Proven. |
IEEE Trans. Computers |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Francisco Casacuberta, Jorge Civera, Elsa Cubel, Antonio L. Lagarda, Guy Lapalme, Elliott Macklovitch, Enrique Vidal 0001 |
Human interaction for high-quality machine translation. |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Robert Craven, Jorge Lobo 0001, Jiefei Ma, Alessandra Russo, Emil C. Lupu, Arosha K. Bandara |
Expressive policy analysis with enhanced system dynamicity. |
AsiaCCS |
2009 |
DBLP DOI BibTeX RDF |
security, authorization, policies, formal analysis |
9 | Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, César Kunz, Anne Pacalet |
Implementing a Direct Method for Certificate Translation. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Renato Silva, Michael J. Butler |
Supporting Reuse of Event-B Developments through Generic Instantiation. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
generic instantiation, formal methods, reusability, event-B |
9 | Weishan Zhang, Julian Schütte, Mads Ingstrup, Klaus Marius Hansen |
A Genetic Algorithms-Based Approach for Optimized Self-protection in a Pervasive Service Middleware. |
ICSOC/ServiceWave |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Jirí Hodík, Jirí Vokrínek, Michal Jakob |
Contract Monitoring in Agent-Based Systems: Case Study. |
HoloMAS |
2009 |
DBLP DOI BibTeX RDF |
Agent, Monitoring, Observation, Contract, Case Study |
9 | Eunjee Song, Hanil Kim, Wuliang Sun |
A property-based verification approach in aspect-oriented modeling. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Stephen Fenech, Gordon J. Pace, Gerardo Schneider |
Automatic Conflict Detection on Contracts. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Holger Gast |
Reasoning about Memory Layouts. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Javier Sedano, José Ramón Villar 0001, Leticia Curiel, Enrique A. de la Cal, Emilio Corchado |
Improving Energy Efficiency in Buildings Using Machine Intelligence. |
IDEAL |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Cristian Prisacariu, Gerardo Schneider |
Abstract specification of legal contracts. |
ICAIL |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Stephen Fenech, Gordon J. Pace, Gerardo Schneider |
CLAN: A Tool for Contract Analysis and Conflict Discovery. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Kohei Suenaga, Naoki Kobayashi 0001 |
Fractional Ownerships for Safe Memory Deallocation. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Basel Katt, Xinwen Zhang, Michael Hafner |
Towards a Usage Control Policy Specification with Petri Nets. |
OTM Conferences (2) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava |
Implementing a Rule-Based Contract Compliance Checker. |
I3E |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Stefan Hallerstede, Michael Leuschel |
How to Explain Mistakes. |
TFM |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Ninghui Li, Qihua Wang, Wahbeh H. Qardaji, Elisa Bertino, Prathima Rao, Jorge Lobo 0001, Dan Lin 0001 |
Access control policy combining: theory meets practice. |
SACMAT |
2009 |
DBLP DOI BibTeX RDF |
policy combination, xacml |
9 | Koen Claessen, Ann Lillieström |
Automated Inference of Finite Unsatisfiability. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Karen Zee, Viktor Kuncak, Martin C. Rinard |
An integrated proof language for imperative programs. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
verification, theorem prover, proof system |
9 | Francisco Assis M. do Nascimento, Fernando Lehnen, Morecy V. Moré, Salomão A. Leizer |
GIF: a web-based system for tax management and fiscal intelligence applications to the municipal tax administration. |
ICEGOV |
2009 |
DBLP DOI BibTeX RDF |
fiscal intelligence, tax management, information system, web application |
9 | Brian Behlendorf |
How Open Source Can Still Save the World. (PDF / PS) |
OSS |
2009 |
DBLP DOI BibTeX RDF |
|
9 | M. Birna van Riemsdijk, Koen V. Hindriks, Catholijn M. Jonker |
Programming Organization-Aware Agents. |
ESAW |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Rosaria Conte, Giulia Andrighetto, Marco Campennì |
The Immergence of Norms in Agent Worlds. |
ESAW |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Guido Boella, Leendert W. N. van der Torre, Serena Villata |
Four measures for the dynamics of coalitions in social networks. |
Hypertext |
2009 |
DBLP DOI BibTeX RDF |
social dependence networks, measures, requirements engineering |
9 | Davide Maria Parrilli |
The Determination of Jurisdiction in Grid and Cloud Service Level Agreements. |
GECON |
2009 |
DBLP DOI BibTeX RDF |
Jurisdiction, Grid, SLA, Cloud, Legal |
9 | Felipe Rech Meneguzzi, Michael Luck |
Norm-based behaviour modification in BDI agents. |
AAMAS (1) |
2009 |
DBLP BibTeX RDF |
norms, BDI |
9 | Christopher Alm, Ruben Wolf, Joachim Posegga |
The OPL Access Control Policy Language. |
TrustBus |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Xinwen Zhang, Masayuki Nakae, Michael J. Covington, Ravi S. Sandhu |
Toward a Usage-Based Security Framework for Collaborative Computing Systems. |
ACM Trans. Inf. Syst. Secur. |
2008 |
DBLP DOI BibTeX RDF |
access control, Authorization, security architecture, collaborative computing, usage control, UCON |
9 | Viviane Torres da Silva |
From the specification to the implementation of norms: an automatic approach to generate rules from norms to govern the behavior of agents. |
Auton. Agents Multi Agent Syst. |
2008 |
DBLP DOI BibTeX RDF |
Governance of multi-agent system, Dialogical action, Non-dialogical action, Specification of norms, Implementation of norms, Norm |