Grit Denker

According to our database, Grit Denker authored at least 67 papers between 1992 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Decision Support for Sharing Data using Differential Privacy.

Mark F. St. John, Grit Denker, Peeter Laud, Karsten Martiny, Alisa Pankova, Dusko Pavlovic

Proceedings of the IEEE Symposium on Visualization for Cyber Security, 2021

bRIGHT - A Framework for Capturing and Adapting to Context for User-Centered Design.

Rukman Senanayake, Grit Denker

Proceedings of the Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30, 2021

Protecting Privacy during a Pandemic Outbreak.

Karsten Martiny, Linda Briesemeister, Grit Denker, Mark F. St. John, Ron Moore

Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021

Enterprise Data Sharing Requirements: Rich Policy Languages and Intuitive User Interfaces.

Karsten Martiny, Mark F. St. John, Grit Denker, Christopher Korkos, Linda Briesemeister

Proceedings of the HCI for Cybersecurity, Privacy and Trust, 2021

2020

Partial Decision Overrides in a Declarative Policy Framework.

Karsten Martiny, Grit Denker

Proceedings of the IEEE 14th International Conference on Semantic Computing, 2020

2019

Workstations of the Future for Transformational Gains in Solving Complex Problems.

Rukman Senanayake, Grit Denker

Proceedings of the Human-Computer Interaction. Design Practice in Contemporary Societies, 2019

Policy Creation for Enterprise-Level Data Sharing.

Linda Briesemeister, Woodrow Gustafson, Grit Denker, April Martin, Karsten Martiny, Ron Moore, Dusko Pavlovic, Mark F. St. John

Proceedings of the HCI for Cybersecurity, Privacy and Trust, 2019

2018

Protecting Privacy with a Declarative Policy Framework.

Karsten Martiny, Daniel Elenius, Grit Denker

Proceedings of the 12th IEEE International Conference on Semantic Computing, 2018

bRIGHT - Workstations of the Future and Leveraging Contextual Models.

Rukman Senanayake, Grit Denker, Patrick Lincoln

Proceedings of the Human Interface and the Management of Information. Interaction, Visualization, and Analytics, 2018

Expiring Decisions for Stream-based Data Access in a Declarative Privacy Policy Framework.

Karsten Martiny, Grit Denker

Proceedings of the 2nd International Workshop on Multimedia Privacy and Security, 2018

2016

Semantically Enhanced Virtual Learning Environments Using Sunflower.

Daniel Elenius, Grit Denker, Minyoung Kim

Proceedings of the Metadata and Semantics Research - 10th International Conference, 2016

Automating Financial Regulatory Compliance Using Ontology+Rules and Sunflower.

Reginald Ford, Grit Denker, Daniel Elenius, Wesley Moore, Elie Abi-Lahoud

Proceedings of the 12th International Conference on Semantic Systems, 2016

2014

MINA: A reflective middleware for managing dynamic multinetwork environments.

Zhijing Qin, Luca Iannario, Carlo Giannelli, Paolo Bellavista, Grit Denker, Nalini Venkatasubramanian

Proceedings of the 2014 IEEE Network Operations and Management Symposium, 2014

A Software Defined Networking architecture for the Internet-of-Things.

Zhijing Qin, Grit Denker, Carlo Giannelli, Paolo Bellavista, Nalini Venkatasubramanian

Proceedings of the 2014 IEEE Network Operations and Management Symposium, 2014

Software-defined cyber-physical multinetworks.

Zhijing Qin, Ngoc Minh Do, Grit Denker, Nalini Venkatasubramanian

Proceedings of the International Conference on Computing, Networking and Communications, 2014

2013

Probabilistic Modeling of Failure Dependencies Using Markov Logic Networks.

Shalini Ghosh, Wilfried Steiner, Grit Denker, Patrick Lincoln

Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

Achieving resilience of heterogeneous networks through predictive, formal analysis.

Zhijing Qin, Grit Denker, Carolyn L. Talcott, Nalini Venkatasubramanian

Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

2012

Resilient dependable cyber-physical systems: a middleware perspective.

Grit Denker, Nikil D. Dutt, Sharad Mehrotra, Mark-Oliver Stehr, Carolyn L. Talcott, Nalini Venkatasubramanian

J. Internet Serv. Appl., 2012

2011

Document Logic: Risk Analysis of Business Processes Through Document Authenticity.

Shusaku Iida, Grit Denker, Carolyn L. Talcott

J. Res. Pract. Inf. Technol., 2011

On the (f)utility of untrusted data sanitization.

Ashish Gehani, David Hanz, John Rushby, Grit Denker, Rance DeLong

Proceedings of the MILCOM 2011, 2011

2010

Policy-Based Data Downgrading: Toward a Semantic Framework and Automated Tools to Balance Need-to-Protect and Need-to-Share Policies.

Grit Denker, Ashish Gehani, Minyoung Kim, David Hanz

Proceedings of the POLICY 2010, 2010

2009

Reasoning about Resources and Hierarchical Tasks Using OWL and SWRL.

Daniel Elenius, David L. Martin, Reginald Ford, Grit Denker

Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Constraint-Muse: A Soft-Constraint Based System for Music Therapy.

Matthias M. Hölzl, Grit Denker, Max Meier, Martin Wirsing

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

A Semantic Web Reasoner for Rules, Equations and Constraints.

Daniel Elenius, Grit Denker, Mark-Oliver Stehr

Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008

2007

Policy-Based Cognitive Radios.

David Wilkins, Grit Denker, Mark-Oliver Stehr, Daniel Elenius, Rukman Senanayake, Carolyn L. Talcott

IEEE Wirel. Commun., 2007

Purpose-Aware Reasoning about Interoperability of Heterogeneous Training Systems.

Daniel Elenius, Reginald Ford, Grit Denker, David L. Martin, Mark Johnson

Proceedings of the Semantic Web, 2007

CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies.

Daniel Elenius, Grit Denker, Mark-Oliver Stehr, Rukman Senanayake, Carolyn L. Talcott, David Wilkins

Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007

2006

A Rewriting Logic Framework for Soft Constraints.

Martin Wirsing, Grit Denker, Carolyn L. Talcott, Andy Poggio, Linda Briesemeister

Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006

Rewriting Logic Systems.

Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta

Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006

Preface.

Grit Denker, Carolyn L. Talcott

Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006

2005

Security in the Semantic Web using OWL.

Grit Denker, Lalana Kagal, Tim Finin

Inf. Secur. Tech. Rep., 2005

Using Rules to Define the Semantics of Privacy Policies.

Grit Denker, David L. Martin

Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

The OWL-S Editor - A Development Tool for Semantic Web Services.

Daniel Elenius, Grit Denker, David L. Martin, Fred Gilham, John Khouri, Shahin Saadati, Rukman Senanayake

Proceedings of the Semantic Web: Research and Applications, 2005

2004

Authorization and Privacy for Semantic Web Services.

Lalana Kagal, Massimo Paolucci, Naveen Srinivasan, Grit Denker, Timothy W. Finin, Katia P. Sycara

IEEE Intell. Syst., 2004

Formal Checklists for Remote Agent Dependability.

Grit Denker, Carolyn L. Talcott

Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

The Impact of Context on the Trustworthiness of Communication: An Ontological Approach.

Santtu Toivonen, Grit Denker

Proceedings of the ISWC*04 Workshop on Trust, 2004

Semantic Web Service Interaction Protocols: An Ontological Approach.

Ronald Ashri, Grit Denker, Darren Marvin, Mike Surridge, Terry R. Payne

Proceedings of the Semantic Web, 2004

OWL-S Semantics of Security Web Services: a Case Study.

Grit Denker, Son Nguyen, Andrew Ton

Proceedings of the Semantic Web: Research and Applications, 2004

2003

Security for DAML Web Services: Annotation and Matchmaking.

Grit Denker, Lalana Kagal, Timothy W. Finin, Massimo Paolucci, Katia P. Sycara

Proceedings of the Semantic Web, 2003

MuCAPSL.

Jonathan K. Millen, Grit Denker

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

2002

Modeling Group Communication Protocols Using Multiset Term Rewriting.

Grit Denker, Jonathan K. Millen

Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002

Cross-Domain Access Control via PKI.

Grit Denker, Jonathan K. Millen, Yutaka Miyake

Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY 2002), 2002

2001

Accessing Information and Services on the DAML-Enabled Web.

Grit Denker, Jerry R. Hobbs, David L. Martin, Srini Narayanan, Richard J. Waldinger

Proceedings of the Second International Workshop on the Semantic Web, 2001

2000

Rewriting Semantics of Meta-Objects and Composable Distributed Services.

Grit Denker, José Meseguer, Carolyn L. Talcott

Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis.

David A. Basin, Grit Denker

Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

Optimizing Protocol Rewrite Rules of CIL Specifications.

Grit Denker, Jonathan K. Millen, Antonio Grau, Juliana Küster Filipe

Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000

1998

From rewrite theories to temporal logic theories.

Grit Denker

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Logics for Specifying Concurrent Information Systems.

Hans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker

Proceedings of the Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1998

1997

Information Systems Modelling with TROLL Formal Methods at Work.

Peter Hartel, Grit Denker, Mojgan Kowsari, Maren Krone, Hans-Dieter Ehrich

Inf. Syst., 1997

A Linear Temporal Logic Approach to Objects with Transactions.

Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen.

Grit Denker

Proceedings of the Ausgezeichnete Informatikdissertationen 1996, 1996

Developing an Information System Using TROLL: An Application Field Study.

Maren Krone, Mojgan Kowsari, Peter Hartel, Grit Denker, Hans-Dieter Ehrich

Proceedings of the Advances Information System Engineering, 8th International Conference, 1996

Verfeinerung in objektorientierten Spezifikationen.

Grit Denker

DISDBIS 6, Infix, ISBN: 3-89601-406-4, 1996

1995

A Development Environment for an Object Specification Language.

Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis

IEEE Trans. Knowl. Data Eng., 1995

Entwicklung zuverlässiger Informationssysteme.

Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, Hans-Dieter Ehrich

EMISA Forum, 1995

TROLL light - The Language and its Development Environment.

Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig

Proceedings of the KORSO, 1995

Korso Reference Languages - Concepts and Application Domains.

Hans-Dieter Ehrich, Franz Regensburger, Wolfgang Grieskamp, Carola Gerke, Rudolf Herzig, Martin Gogolla, Grit Denker, Ernst-Rüdiger Olderog

Proceedings of the KORSO, 1995

Semantic Refinement of Concurrent Object Systems Based on Serializability.

Grit Denker

Proceedings of the Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995), 1995

Reification - Changing Viewpoint but Preserving Truth.

Grit Denker

Proceedings of the Recent Trends in Data Type Specification, 1995

1994

Transactions in Object-Oriented Specifications.

Grit Denker

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1993

Constructing Systems as Object Communities.

Hans-Dieter Ehrich, Grit Denker, Amílcar Sernadas

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Zur Entwicklung zuverlässiger Informationssysteme in KorSo.

Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, Hans-Dieter Ehrich

Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

Integrating the ER Approach in an OO Environment.

Martin Gogolla, Rudolf Herzig, Stefan Conrad, Grit Denker, Nikolaos Vlachantonis

Proceedings of the Entity-Relationship Approach, 1993

Object-Oriented Design of Information Systems: Theoretical Foundations.

Hans-Dieter Ehrich, Ralf Jungclaus, Grit Denker, Amílcar Sernadas

Proceedings of the Advances in Database Systems: Implementations and Applications, 1993

Towards Reliable Information Systems: The KorSo Approach

Nikolaos Vlachantonis, Rudolf Herzig, Martin Gogolla, Grit Denker, Stefan Conrad, Hans-Dieter Ehrich

Proceedings of the Advanced Information Systems Engineering, 1993

1992

Towards Semantic Foundation of Basic TROLL light Constructs.

Grit Denker

Proceedings of the Kurzfassungen des 4. GI-Workshops "Grundlagen von Datenbanken", 1992

Translating TROLL light Concepts to Maude.

Grit Denker, Martin Gogolla

Proceedings of the Recent Trends in Data Type Specification, 1992