Dagstuhl Reports, Volume 6, Issue 5



Thumbnail PDF

Event

Dagstuhl Seminars 16191, 16192, 16201, 16202, 16221, 16222

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 6, Issue 5, May 2016, Complete Issue

Abstract
Dagstuhl Reports, Volume 6, Issue 5, May 2016, Complete Issue

Cite as

Dagstuhl Reports, Volume 6, Issue 5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


Copy BibTex To Clipboard

@Article{DagRep.6.5,
  title =	{{Dagstuhl Reports, Volume 6, Issue 5, May 2016, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{6},
  number =	{5},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.5},
  URN =		{urn:nbn:de:0030-drops-67639},
  doi =		{10.4230/DagRep.6.5},
  annote =	{Keywords: Dagstuhl Reports, Volume 6, Issue 5, May 2016, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 6, Issue 5, 2016

Abstract
Table of Contents, Frontmatter

Cite as

Dagstuhl Reports, Volume 6, Issue 5, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


Copy BibTex To Clipboard

@Article{DagRep.6.5.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 6, Issue 5, 2016}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{6},
  number =	{5},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.5.i},
  URN =		{urn:nbn:de:0030-drops-67624},
  doi =		{10.4230/DagRep.6.5.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 6, Issue 5, 2016}
}
Document
Fresh Approaches to Business Process Modeling (Dagstuhl Seminar 16191)

Authors: Richard Hull, Agnes Koschmider, Hajo A. Reijers, and William Wong


Abstract
Business Process Management (BPM) has significantly advanced and gained high popularity in industry. However, it remains an open issue why tools frequently are used for business process modeling that are not mainly implemented for this purpose. Often, macros for Microsoft Visio or Microsoft Excel form the first choice to capture the flow of business activities. One reason why these tools might be used is the low training effort and the fast creation of a quick model, which can be generated with these tools. Another reason for the “lower” preference of BPM software tools might be their inability to respond to changes in technology and working styles, e.g. the shift towards "agile" processes and the "flattening" of workforce hierarchies that bring more stakeholders into contact with a much broader array of processing steps than before. A central question is whether the BPM community should create an entirely new paradigm for process modeling. One can think of more intuitive drawing conventions that laymen would use, and of models of an entirely different kind (i.e. not process-centric and not data- or case-centric) that still bear the possibility to support modern and future business process. The purpose of this seminar was to bring together a cross-disciplinary group of academic and industrial researchers to foster a better understanding of how to ease the access to, and applicability of, business process modeling. We discussed business process modeling approaches against emerging trends such as Internet of Things, the need for incremental and agile creation of new processes, and the need for workers to understand and participate in multiple contextual levels (e.g. transactional, business goals, strategic directions) while performing processes. The seminar also considered how new technologies, such as modern tools for UI design (e.g. D3, node.js) could be applied to support fundamentally shifts in how processes are modeled and how humans are involved with their execution.

Cite as

Richard Hull, Agnes Koschmider, Hajo A. Reijers, and William Wong. Fresh Approaches to Business Process Modeling (Dagstuhl Seminar 16191). In Dagstuhl Reports, Volume 6, Issue 5, pp. 1-30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


Copy BibTex To Clipboard

@Article{hull_et_al:DagRep.6.5.1,
  author =	{Hull, Richard and Koschmider, Agnes and Reijers, Hajo A. and Wong, William},
  title =	{{Fresh Approaches to Business Process Modeling (Dagstuhl Seminar 16191)}},
  pages =	{1--30},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{6},
  number =	{5},
  editor =	{Hull, Richard and Koschmider, Agnes and Reijers, Hajo A. and Wong, William},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.5.1},
  URN =		{urn:nbn:de:0030-drops-66964},
  doi =		{10.4230/DagRep.6.5.1},
  annote =	{Keywords: business process models, process modeling, visualization}
}
Document
Supporting Organizational Efficiency and Agility: Models, Languages and Software Systems (Dagstuhl Seminar 16192)

Authors: Tony Clark, Ulrich Frank, and Vinay Kulkarni


Abstract
Organizations are complex systems that need to respond to a variety of changes while operating in a dynamic environment. They involve multiple stakeholders each having a domain-specific perspective that relies on concepts and languages relative to individual information-centric processes, which may lead to undesirable side-effects such as scattered and fractured knowledge about goals, strategies, operational processes etc. This inter-disciplinary seminar analyses how the design, operation and maintenance of organizations can be supported not only with managing their resources and processes efficiently, but also with coping with the digital transformation.

Cite as

Tony Clark, Ulrich Frank, and Vinay Kulkarni. Supporting Organizational Efficiency and Agility: Models, Languages and Software Systems (Dagstuhl Seminar 16192). In Dagstuhl Reports, Volume 6, Issue 5, pp. 31-55, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


Copy BibTex To Clipboard

@Article{clark_et_al:DagRep.6.5.31,
  author =	{Clark, Tony and Frank, Ulrich and Kulkarni, Vinay},
  title =	{{Supporting Organizational Efficiency and Agility: Models, Languages and Software Systems (Dagstuhl Seminar 16192)}},
  pages =	{31--55},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{6},
  number =	{5},
  editor =	{Clark, Tony and Frank, Ulrich and Kulkarni, Vinay},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.5.31},
  URN =		{urn:nbn:de:0030-drops-67197},
  doi =		{10.4230/DagRep.6.5.31},
  annote =	{Keywords: Digital transformation, DSML, enterprise modelling, enterprise software systems, Organisational action systems}
}
Document
Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)

Authors: Julian Dolby, Orna Grumberg, Peter Müller, and Omer Tripp


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 16201 "Synergies among Testing, Verification, and Repair for Concurrent Programs". This seminar builds upon, and is inspired by, several past seminars on program testing, verification, repair and combinations thereof. These include Dagstuhl Seminar 13021 "Symbolic Methods in Testing"; Dagstuhl Seminar 13061 "Fault Prediction, Localization and Repair"; Dagstuhl Seminar 14171 "Evaluating Software Verification Systems: Benchmarks and Competitions"; Dagstuhl Seminar 14352 "Next Generation Static Software Analysis Tools"; Dagstuhl Seminar 14442 "Symbolic Execution and Constraint Solving"; and Dagstuhl Seminar 15191 "Compositional Verification Methods for Next-Generation Concurrency". These were held in January 2013; February 2013; April 2014; August 2014; October 2014; and May 2015, respectively. Two notable contributions of Dagstuhl Seminar 16201, which distinguish it from these past seminars, are (i) the focus on concurrent programming, which introduces significant challenges to testing, verification and repair tools, as well as (ii) the goal of identifying and exploiting synergies between the testing, verification and repair research communities in light of common needs and goals.

Cite as

Julian Dolby, Orna Grumberg, Peter Müller, and Omer Tripp. Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201). In Dagstuhl Reports, Volume 6, Issue 5, pp. 56-71, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


Copy BibTex To Clipboard

@Article{dolby_et_al:DagRep.6.5.56,
  author =	{Dolby, Julian and Grumberg, Orna and M\"{u}ller, Peter and Tripp, Omer},
  title =	{{Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)}},
  pages =	{56--71},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{6},
  number =	{5},
  editor =	{Dolby, Julian and Grumberg, Orna and M\"{u}ller, Peter and Tripp, Omer},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.5.56},
  URN =		{urn:nbn:de:0030-drops-67203},
  doi =		{10.4230/DagRep.6.5.56},
  annote =	{Keywords: (automatic) bug repair, concurrency bugs, concurrent programming, deductive verification, interactive verification, linearizability, synchronization testing}
}
Document
Hardware Security (Dagstuhl Seminar 16202)

Authors: Osnat Keren, Ilia Polian, and Mark M. Tehranipoor


Abstract
This report documents the program and outcomes of Dagstuhl Seminar 16202 ``Hardware Security", which was held in Schloss Dagstuhl- Leibniz Center for Informatics from May 16- 20, 2016. This seminar aims to bring together a group of researchers, who are actively involved in the design and the security assessment of hardware primitives. The seminar was organized around presentations given by several participants on their current research, and ongoing work. In addition to these presentations, the program also included three discussion sessions, and two special sessions on curriculum development and funding programs. The seminar was indeed successful in familiarizing the researchers with recent developments in hardware security field of study, providing better understanding of still unsolved problems, and pointing out future research directions. The paper is further organized as follows. Section 1 summarizes the most important goals of the seminar. Section is devoted to the abstracts of the presentations given in the seminar, whereas in Section 4 the abstracts of the discussion sessions are provided.

Cite as

Osnat Keren, Ilia Polian, and Mark M. Tehranipoor. Hardware Security (Dagstuhl Seminar 16202). In Dagstuhl Reports, Volume 6, Issue 5, pp. 72-93, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


Copy BibTex To Clipboard

@Article{keren_et_al:DagRep.6.5.72,
  author =	{Keren, Osnat and Polian, Ilia and Tehranipoor, Mark M.},
  title =	{{Hardware Security (Dagstuhl Seminar 16202)}},
  pages =	{72--93},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{6},
  number =	{5},
  editor =	{Keren, Osnat and Polian, Ilia and Tehranipoor, Mark M.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.5.72},
  URN =		{urn:nbn:de:0030-drops-67218},
  doi =		{10.4230/DagRep.6.5.72},
  annote =	{Keywords: Hardware security; Passive and active side-channel analysis; Machine learning; Cryptographic blocks; True random number generators; Physically unclonable functions; Hardware Trojan}
}
Document
Algorithms for Optimization Problems in Planar Graphs (Dagstuhl Seminar 16221)

Authors: Jeff Erickson, Philip N. Klein, Dániel Marx, and Claire Mathieu


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 16221 “Algorithms for Optimization Problems in Planar Graphs”. The seminar was held from May 29 to June 3, 2016. This report contains abstracts for the recent developments in planar graph algorithms discussed during the seminar as well as summaries of open problems in this area of research.

Cite as

Jeff Erickson, Philip N. Klein, Dániel Marx, and Claire Mathieu. Algorithms for Optimization Problems in Planar Graphs (Dagstuhl Seminar 16221). In Dagstuhl Reports, Volume 6, Issue 5, pp. 94-113, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


Copy BibTex To Clipboard

@Article{erickson_et_al:DagRep.6.5.94,
  author =	{Erickson, Jeff and Klein, Philip N. and Marx, D\'{a}niel and Mathieu, Claire},
  title =	{{Algorithms for Optimization Problems in Planar Graphs (Dagstuhl Seminar 16221)}},
  pages =	{94--113},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{6},
  number =	{5},
  editor =	{Erickson, Jeff and Klein, Philip N. and Marx, D\'{a}niel and Mathieu, Claire},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.5.94},
  URN =		{urn:nbn:de:0030-drops-67227},
  doi =		{10.4230/DagRep.6.5.94},
  annote =	{Keywords: Algorithms, planar graphs, theory, approximation, fixed-parameter tractable, network flow, network design, kernelization}
}
Document
Engineering Moral Agents -- from Human Morality to Artificial Morality (Dagstuhl Seminar 16222)

Authors: Michael Fisher, Christian List, Marija Slavkovik, and Alan Winfield


Abstract
This report documents the programme of, and outcomes from, the Dagstuhl Seminar 16222 on "Engineering Moral Agents -- from Human Morality to Artificial Morality". Artificial morality is an emerging area of research within artificial intelligence (AI), concerned with the problem of designing artificial agents that behave as moral agents, i.e. adhere to moral, legal, and social norms. Context-aware, autonomous, and intelligent systems are becoming a presence in our society and are increasingly involved in making decisions that affect our lives. While humanity has developed formal legal and informal moral and social norms to govern its own social interactions, there are no similar regulatory structures that apply to non-human agents. The seminar focused on questions of how to formalise, "quantify", qualify, validate, verify, and modify the ``ethics" of moral machines. Key issues included the following: How to build regulatory structures that address (un)ethical machine behaviour? What are the wider societal, legal, and economic implications of introducing AI machines into our society? How to develop "computational" ethics and what are the difficult challenges that need to be addressed? When organising this workshop, we aimed to bring together communities of researchers from moral philosophy and from artificial intelligence most concerned with this topic. This is a long-term endeavour, but the seminar was successful in laying the foundations and connections for accomplishing it.

Cite as

Michael Fisher, Christian List, Marija Slavkovik, and Alan Winfield. Engineering Moral Agents -- from Human Morality to Artificial Morality (Dagstuhl Seminar 16222). In Dagstuhl Reports, Volume 6, Issue 5, pp. 114-137, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


Copy BibTex To Clipboard

@Article{fisher_et_al:DagRep.6.5.114,
  author =	{Fisher, Michael and List, Christian and Slavkovik, Marija and Winfield, Alan},
  title =	{{Engineering Moral Agents -- from Human Morality to Artificial Morality (Dagstuhl Seminar 16222)}},
  pages =	{114--137},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{6},
  number =	{5},
  editor =	{Fisher, Michael and List, Christian and Slavkovik, Marija and Winfield, Alan},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.5.114},
  URN =		{urn:nbn:de:0030-drops-67236},
  doi =		{10.4230/DagRep.6.5.114},
  annote =	{Keywords: Artificial Morality, Machine Ethics, Computational Morality, Autonomous Systems, Intelligent Systems, Formal Ethics, Mathematical Philosophy, Robot Ethics}
}

Filters


Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail