Published in: LIPIcs, Volume 90, 24th International Symposium on Temporal Representation and Reasoning (TIME 2017)
Panagiotis Vasilikos, Flemming Nielson, and Hanne Riis Nielson. Time Dependent Policy-Based Access Control. In 24th International Symposium on Temporal Representation and Reasoning (TIME 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 90, pp. 21:1-21:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{vasilikos_et_al:LIPIcs.TIME.2017.21, author = {Vasilikos, Panagiotis and Nielson, Flemming and Nielson, Hanne Riis}, title = {{Time Dependent Policy-Based Access Control}}, booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)}, pages = {21:1--21:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-052-1}, ISSN = {1868-8969}, year = {2017}, volume = {90}, editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.21}, URN = {urn:nbn:de:0030-drops-79219}, doi = {10.4230/LIPIcs.TIME.2017.21}, annote = {Keywords: Access Control, Timed Automata, Time-Dependent Policies, UPPAAL} }
Published in: Dagstuhl Seminar Proceedings, Volume 8161, Scalable Program Analysis (2008)
Florian Martin, Hanne Riis Nielson, Claudio Riva, and Markus Schordan. 08161 Abstracts Collection – Scalable Program Analysis. In Scalable Program Analysis. Dagstuhl Seminar Proceedings, Volume 8161, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{martin_et_al:DagSemProc.08161.1, author = {Martin, Florian and Riis Nielson, Hanne and Riva, Claudio and Schordan, Markus}, title = {{08161 Abstracts Collection – Scalable Program Analysis}}, booktitle = {Scalable Program Analysis}, pages = {1--17}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8161}, editor = {Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08161.1}, URN = {urn:nbn:de:0030-drops-15766}, doi = {10.4230/DagSemProc.08161.1}, annote = {Keywords: Static analysis, security, pointer analysis, data flow analysis, error detection, concurrency} }
Published in: Dagstuhl Seminar Proceedings, Volume 8161, Scalable Program Analysis (2008)
Johann Blieberger. Average Case Analysis of Some Elimination-Based Data-Flow Analysis Algorithms. In Scalable Program Analysis. Dagstuhl Seminar Proceedings, Volume 8161, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{blieberger:DagSemProc.08161.2, author = {Blieberger, Johann}, title = {{Average Case Analysis of Some Elimination-Based Data-Flow Analysis Algorithms}}, booktitle = {Scalable Program Analysis}, pages = {1--12}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8161}, editor = {Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08161.2}, URN = {urn:nbn:de:0030-drops-15722}, doi = {10.4230/DagSemProc.08161.2}, annote = {Keywords: Average case analysis, elimination-based data-flow analysis algorithms, reducible flow graphs} }
Published in: Dagstuhl Seminar Proceedings, Volume 8161, Scalable Program Analysis (2008)
Jens Knoop. Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow Analysis. In Scalable Program Analysis. Dagstuhl Seminar Proceedings, Volume 8161, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{knoop:DagSemProc.08161.3, author = {Knoop, Jens}, title = {{Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow Analysis}}, booktitle = {Scalable Program Analysis}, pages = {1--14}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8161}, editor = {Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08161.3}, URN = {urn:nbn:de:0030-drops-15753}, doi = {10.4230/DagSemProc.08161.3}, annote = {Keywords: Multi-core computing systems, scalable program analysis, reverse data-flow analysis, demand-driven data-flow analysis} }
Published in: Dagstuhl Seminar Proceedings, Volume 8161, Scalable Program Analysis (2008)
Dave Binkley. Dependence Cluster Causes. In Scalable Program Analysis. Dagstuhl Seminar Proceedings, Volume 8161, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{binkley:DagSemProc.08161.4, author = {Binkley, Dave}, title = {{Dependence Cluster Causes}}, booktitle = {Scalable Program Analysis}, pages = {1--13}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8161}, editor = {Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08161.4}, URN = {urn:nbn:de:0030-drops-15711}, doi = {10.4230/DagSemProc.08161.4}, annote = {Keywords: Data Dependence, Control Dependence, Slice, Cluster} }
Published in: Dagstuhl Seminar Proceedings, Volume 8161, Scalable Program Analysis (2008)
Cristina Cifuentes and Bernhard Scholz. Parfait - Designing a Scalable Bug Checker. In Scalable Program Analysis. Dagstuhl Seminar Proceedings, Volume 8161, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{cifuentes_et_al:DagSemProc.08161.5, author = {Cifuentes, Cristina and Scholz, Bernhard}, title = {{Parfait - Designing a Scalable Bug Checker}}, booktitle = {Scalable Program Analysis}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8161}, editor = {Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08161.5}, URN = {urn:nbn:de:0030-drops-15737}, doi = {10.4230/DagSemProc.08161.5}, annote = {Keywords: Static analysis, demand driven, parallelizable} }
Published in: Dagstuhl Seminar Proceedings, Volume 8161, Scalable Program Analysis (2008)
Lars Gesellensetter. Scalable Analysis via Machine Learning: Predicting Memory Dependencies Precisely. In Scalable Program Analysis. Dagstuhl Seminar Proceedings, Volume 8161, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{gesellensetter:DagSemProc.08161.6, author = {Gesellensetter, Lars}, title = {{Scalable Analysis via Machine Learning: Predicting Memory Dependencies Precisely}}, booktitle = {Scalable Program Analysis}, pages = {1--3}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8161}, editor = {Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08161.6}, URN = {urn:nbn:de:0030-drops-15745}, doi = {10.4230/DagSemProc.08161.6}, annote = {Keywords: Program Analysis, Alias Analysis, Memory Depdencies, Speculative Optimizations, Machine Learning} }
Published in: Dagstuhl Seminar Proceedings, Volume 8161, Scalable Program Analysis (2008)
Markus Schordan. Source-To-Source Analysis with SATIrE - an Example Revisited. In Scalable Program Analysis. Dagstuhl Seminar Proceedings, Volume 8161, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{schordan:DagSemProc.08161.7, author = {Schordan, Markus}, title = {{Source-To-Source Analysis with SATIrE - an Example Revisited}}, booktitle = {Scalable Program Analysis}, pages = {1--13}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8161}, editor = {Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08161.7}, URN = {urn:nbn:de:0030-drops-15693}, doi = {10.4230/DagSemProc.08161.7}, annote = {Keywords: Source-to-source analysis, ARAL, Annotation Language} }
Published in: Dagstuhl Seminar Proceedings, Volume 8161, Scalable Program Analysis (2008)
Daniel J. Quinlan, Gergö Barany, and Thomas Panas. Towards Distributed Memory Parallel Program Analysis. In Scalable Program Analysis. Dagstuhl Seminar Proceedings, Volume 8161, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{quinlan_et_al:DagSemProc.08161.8, author = {Quinlan, Daniel J. and Barany, Gerg\"{o} and Panas, Thomas}, title = {{Towards Distributed Memory Parallel Program Analysis}}, booktitle = {Scalable Program Analysis}, pages = {1--9}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8161}, editor = {Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08161.8}, URN = {urn:nbn:de:0030-drops-15685}, doi = {10.4230/DagSemProc.08161.8}, annote = {Keywords: Parallel computing, attribute evaluation, program analysis} }
Published in: Dagstuhl Seminar Proceedings, Volume 8161, Scalable Program Analysis (2008)
Gergö Barany. Value Flow Graph Analysis with SATIrE. In Scalable Program Analysis. Dagstuhl Seminar Proceedings, Volume 8161, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{barany:DagSemProc.08161.9, author = {Barany, Gerg\"{o}}, title = {{Value Flow Graph Analysis with SATIrE}}, booktitle = {Scalable Program Analysis}, pages = {1--6}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8161}, editor = {Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08161.9}, URN = {urn:nbn:de:0030-drops-15709}, doi = {10.4230/DagSemProc.08161.9}, annote = {Keywords: Partial redundancy elimination, value flow analysis, source-to-source optimization} }
Published in: Dagstuhl Seminar Proceedings, Volume 6161, Simulation and Verification of Dynamic Systems (2006)
David M. Nicol, Corrado Priami, Hanne Riis-Nielson, and Adelinde M. Uhrmacher. 06161 Abstracts Collection – Simulation and Verification of Dynamic Systems. In Simulation and Verification of Dynamic Systems. Dagstuhl Seminar Proceedings, Volume 6161, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{nicol_et_al:DagSemProc.06161.1, author = {Nicol, David M. and Priami, Corrado and Riis-Nielson, Hanne and Uhrmacher, Adelinde M.}, title = {{06161 Abstracts Collection – Simulation and Verification of Dynamic Systems}}, booktitle = {Simulation and Verification of Dynamic Systems}, pages = {1--13}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {6161}, editor = {David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06161.1}, URN = {urn:nbn:de:0030-drops-7102}, doi = {10.4230/DagSemProc.06161.1}, annote = {Keywords: Modeling, Simulation, Verification, Dynamic Systems, Systemsbiology} }
Published in: Dagstuhl Seminar Proceedings, Volume 6161, Simulation and Verification of Dynamic Systems (2006)
Henrik Pilegaard, Hanne Riis-Nielson, and Flemming Nielson. Context Dependent Analysis of BioAmbients. In Simulation and Verification of Dynamic Systems. Dagstuhl Seminar Proceedings, Volume 6161, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{pilegaard_et_al:DagSemProc.06161.6, author = {Pilegaard, Henrik and Riis-Nielson, Hanne and Nielson, Flemming}, title = {{Context Dependent Analysis of BioAmbients}}, booktitle = {Simulation and Verification of Dynamic Systems}, pages = {1--18}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {6161}, editor = {David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06161.6}, URN = {urn:nbn:de:0030-drops-7093}, doi = {10.4230/DagSemProc.06161.6}, annote = {Keywords: Static analysis, abstract interpretation, BioAmbients} }
Published in: Dagstuhl Seminar Proceedings, Volume 6161, Simulation and Verification of Dynamic Systems (2006)
Hanne Riis-Nielson, David M. Nicol, Corrado Priami, and Adelinde M. Uhrmacher. 06161 Executive Summary – Simulation and Verification of Dynamic Systems. In Simulation and Verification of Dynamic Systems. Dagstuhl Seminar Proceedings, Volume 6161, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{riisnielson_et_al:DagSemProc.06161.2, author = {Riis-Nielson, Hanne and Nicol, David M. and Priami, Corrado and Uhrmacher, Adelinde M.}, title = {{06161 Executive Summary – Simulation and Verification of Dynamic Systems}}, booktitle = {Simulation and Verification of Dynamic Systems}, pages = {1--2}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {6161}, editor = {David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06161.2}, URN = {urn:nbn:de:0030-drops-7028}, doi = {10.4230/DagSemProc.06161.2}, annote = {Keywords: Modelling, Simulation, Verification, Systemsbiology} }
Published in: Dagstuhl Seminar Proceedings, Volume 6161, Simulation and Verification of Dynamic Systems (2006)
Gregory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermans, Jane Hillston, Peter Kemper, Alke Martens, Pieter Mosterman, Flemming Nielson, Oleg Sokolsky, and Adelinde M. Uhrmacher. 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. In Simulation and Verification of Dynamic Systems. Dagstuhl Seminar Proceedings, Volume 6161, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{batt_et_al:DagSemProc.06161.3, author = {Batt, Gregory and Bradley, Jeremy T. and Ewald, Roland and Fages, Fran\c{c}ois and Hermans, Holger and Hillston, Jane and Kemper, Peter and Martens, Alke and Mosterman, Pieter and Nielson, Flemming and Sokolsky, Oleg and Uhrmacher, Adelinde M.}, title = {{06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification}}, booktitle = {Simulation and Verification of Dynamic Systems}, pages = {1--21}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {6161}, editor = {David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06161.3}, URN = {urn:nbn:de:0030-drops-7249}, doi = {10.4230/DagSemProc.06161.3}, annote = {Keywords: Modelling, Simulation, Verification, Systemsbiology} }
Published in: Dagstuhl Seminar Proceedings, Volume 6161, Simulation and Verification of Dynamic Systems (2006)
Peter Kemper and Carsten Tepper. A Petri Net Approach to Verify and Debug Simulation Models. In Simulation and Verification of Dynamic Systems. Dagstuhl Seminar Proceedings, Volume 6161, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{kemper_et_al:DagSemProc.06161.4, author = {Kemper, Peter and Tepper, Carsten}, title = {{A Petri Net Approach to Verify and Debug Simulation Models}}, booktitle = {Simulation and Verification of Dynamic Systems}, pages = {1--13}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {6161}, editor = {David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06161.4}, URN = {urn:nbn:de:0030-drops-7084}, doi = {10.4230/DagSemProc.06161.4}, annote = {Keywords: Discrete event simulation, verification, debugging, process interaction, Petri net analysis} }
Feedback for Dagstuhl Publishing