3 Search Results for "B�hme, Rainer"


Document
Blockchain Security at Scale (Dagstuhl Seminar 18461)

Authors: Rainer Böhme, Joseph Bonneau, and Ittay Eyal

Published in: Dagstuhl Reports, Volume 8, Issue 11 (2019)


Abstract
38 researchers affiliated with over 25 different institutions in 7 countries met during Dagstuhl Seminar 18461 for discussing open problems regarding "Blockchain Security at Scale." The seminar was split into eight blocks of two presentations each. The mode for each talk was 15 minutes of blackboard-only presentation followed by 30 minutes of discussion. Discussions not fitting into this limit were resumed in smaller break-out groups. This report documents the scheduled talks as well as the improvised sessions for in-depth discussion.

Cite as

Rainer Böhme, Joseph Bonneau, and Ittay Eyal. Blockchain Security at Scale (Dagstuhl Seminar 18461). In Dagstuhl Reports, Volume 8, Issue 11, pp. 21-34, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

@Article{bohme_et_al:DagRep.8.11.21,
  author =	{B\"{o}hme, Rainer and Bonneau, Joseph and Eyal, Ittay},
  title =	{{Blockchain Security at Scale (Dagstuhl Seminar 18461)}},
  pages =	{21--34},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{11},
  editor =	{B\"{o}hme, Rainer and Bonneau, Joseph and Eyal, Ittay},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.8.11.21},
  URN =		{urn:nbn:de:0030-drops-103542},
  doi =		{10.4230/DagRep.8.11.21},
  annote =	{Keywords: Blockchain, Consensus, Cryptography, Distributed Systems, Game Theory, Scaling}
}
Document
Modelling and analysis of the NF-$kappa$B pathway in Bio-PEPA

Authors: Federica Ciocchetta, Andrea Degasperi, John Heath, and Jane Hillston

Published in: Dagstuhl Seminar Proceedings, Volume 9091, Formal Methods in Molecular Biology (2009)


Abstract
In this work we present a Bio-PEPA model describing the Nuclear Factor $kappa$B (NF-$kappa$B) signalling pathway. In particular our model focuses on the dynamic response of NF-$kappa$B to an external stimulus. Each biochemical species in the pathway is represented by a specific Bio-PEPA component and the external stimulus is abstracted by Bio-PEPA events. The Bio-PEPA model is a formal intermediate representation of the pathway on which various kinds of analysis can be performed. Both stochastic and deterministic simulations are carried out to validate our model against the experimental data in the literature and to verify some properties, such as the impact of the stimulus duration and of the NF-$kappa$B initial amount on the behaviour of some species. Finally, sensitivity analysis is considered to investigate the most influential parameters of the model.

Cite as

Federica Ciocchetta, Andrea Degasperi, John Heath, and Jane Hillston. Modelling and analysis of the NF-$kappa$B pathway in Bio-PEPA. In Formal Methods in Molecular Biology. Dagstuhl Seminar Proceedings, Volume 9091, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{ciocchetta_et_al:DagSemProc.09091.5,
  author =	{Ciocchetta, Federica and Degasperi, Andrea and Heath, John and Hillston, Jane},
  title =	{{Modelling and analysis of the NF-\$kappa\$B pathway in Bio-PEPA}},
  booktitle =	{Formal Methods in Molecular Biology},
  pages =	{1--18},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9091},
  editor =	{Rainer Breitling and David Roger Gilbert and Monika Heiner and Corrado Priami},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09091.5},
  URN =		{urn:nbn:de:0030-drops-19911},
  doi =		{10.4230/DagSemProc.09091.5},
  annote =	{Keywords: Process algebras, NF-\$kappa\$B pathway, modelling, analysis}
}
Document
06301 Working Session Summary: Presentation and Visualization of Redundant Code

Authors: Andrew Walenstein, James R. Cordy, William S. Evans, Ahmed Hassan, Toshihiro Kamiya, Cory Kapser, and Ettore Merlo

Published in: Dagstuhl Seminar Proceedings, Volume 6301, Duplication, Redundancy, and Similarity in Software (2007)


Abstract
This report summarizes the proceedings of a workshop discussion session presentation and visualization of aspects relating to duplicated, copied, or cloned code. The main outcomes of the working session were: (a) a realization that two researchers had independently generated very similar methods for browsing and visualization clone "clusters," and (b) a list of questions for visualization, particularly in relation to how the "proximity" of clones may relate to interest in the clone.

Cite as

Andrew Walenstein, James R. Cordy, William S. Evans, Ahmed Hassan, Toshihiro Kamiya, Cory Kapser, and Ettore Merlo. 06301 Working Session Summary: Presentation and Visualization of Redundant Code. In Duplication, Redundancy, and Similarity in Software. Dagstuhl Seminar Proceedings, Volume 6301, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{walenstein_et_al:DagSemProc.06301.3,
  author =	{Walenstein, Andrew and Cordy, James R. and Evans, William S. and Hassan, Ahmed and Kamiya, Toshihiro and Kapser, Cory and Merlo, Ettore},
  title =	{{06301 Working Session Summary: Presentation and Visualization of Redundant Code}},
  booktitle =	{Duplication, Redundancy, and Similarity in Software},
  pages =	{1--5},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{6301},
  editor =	{Rainer Koschke and Ettore Merlo and Andrew Walenstein},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06301.3},
  URN =		{urn:nbn:de:0030-drops-9661},
  doi =		{10.4230/DagSemProc.06301.3},
  annote =	{Keywords: Code clone, clone visualization, presentation, software visualization}
}
  • Refine by Author
  • 1 Bonneau, Joseph
  • 1 Böhme, Rainer
  • 1 Ciocchetta, Federica
  • 1 Cordy, James R.
  • 1 Degasperi, Andrea
  • Show More...

  • Refine by Classification

  • Refine by Keyword
  • 1 Blockchain
  • 1 Code clone
  • 1 Consensus
  • 1 Cryptography
  • 1 Distributed Systems
  • Show More...

  • Refine by Type
  • 3 document

  • Refine by Publication Year
  • 1 2007
  • 1 2009
  • 1 2019

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