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)
Matteo Cavaliere and Sean Sedwards. Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting. In Simulation and Verification of Dynamic Systems. Dagstuhl Seminar Proceedings, Volume 6161, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{cavaliere_et_al:DagSemProc.06161.7, author = {Cavaliere, Matteo and Sedwards, Sean}, title = {{Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting}}, booktitle = {Simulation and Verification of Dynamic Systems}, pages = {1--8}, 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.7}, URN = {urn:nbn:de:0030-drops-7061}, doi = {10.4230/DagSemProc.06161.7}, annote = {Keywords: Systems biology, membrane systems, formal language, simulation} }
Published in: Dagstuhl Seminar Proceedings, Volume 6161, Simulation and Verification of Dynamic Systems (2006)
Jane Hillston. Population models from PEPA descriptions. In Simulation and Verification of Dynamic Systems. Dagstuhl Seminar Proceedings, Volume 6161, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{hillston:DagSemProc.06161.8, author = {Hillston, Jane}, title = {{Population models from PEPA descriptions}}, booktitle = {Simulation and Verification of Dynamic Systems}, pages = {1--6}, 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.8}, URN = {urn:nbn:de:0030-drops-7071}, doi = {10.4230/DagSemProc.06161.8}, annote = {Keywords: Stochastic Process Algebra, Fluid Approximation, Discrete vs Continuous models} }
Published in: Dagstuhl Seminar Proceedings, Volume 6161, Simulation and Verification of Dynamic Systems (2006)
Henrik Pilegaard, Hanne Riis-Nielson, and Flemming Nielson. Static Analysis of a Model of the LDL Degradation Pathway. In Simulation and Verification of Dynamic Systems. Dagstuhl Seminar Proceedings, Volume 6161, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{pilegaard_et_al:DagSemProc.06161.9, author = {Pilegaard, Henrik and Riis-Nielson, Hanne and Nielson, Flemming}, title = {{Static Analysis of a Model of the LDL Degradation Pathway}}, 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.9}, URN = {urn:nbn:de:0030-drops-7230}, doi = {10.4230/DagSemProc.06161.9}, annote = {Keywords: Static analysis, Systems Biology, BioAmbients, LDL Degradation Pathway} }
Feedback for Dagstuhl Publishing