Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mads Chr. Olesen
@article{DBLP:journals/fuin/DalsgaardEFJJJK18,
author = {Andreas Engelbredt Dalsgaard and
S{\o}ren Enevoldsen and
Peter Fogh and
Lasse S. Jensen and
Peter Gj{\o}l Jensen and
Tobias Skovgaard Jepsen and
Isabella Kaufmann and
Kim G. Larsen and
S{\o}ren M. Nielsen and
Mads Chr. Olesen and
Samuel Pastva and
Jir{\'{\i}} Srba},
title = {A Distributed Fixed-Point Algorithm for Extended Dependency Graphs},
journal = {Fundam. Informaticae},
volume = {161},
number = {4},
pages = {351--381},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1707},
doi = {10.3233/FI-2018-1707},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DalsgaardEFJJJK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DalsgaardEFJJKL17,
author = {Andreas Engelbredt Dalsgaard and
S{\o}ren Enevoldsen and
Peter Fogh and
Lasse S. Jensen and
Tobias Skovgaard Jepsen and
Isabella Kaufmann and
Kim G. Larsen and
S{\o}ren M. Nielsen and
Mads Chr. Olesen and
Samuel Pastva and
Jir{\'{\i}} Srba},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation},
booktitle = {Application and Theory of Petri Nets and Concurrency - 38th International
Conference, {PETRI} {NETS} 2017, Zaragoza, Spain, June 25-30, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10258},
pages = {139--158},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57861-3\_10},
doi = {10.1007/978-3-319-57861-3\_10},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/DalsgaardEFJJKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isf/HansenLOW16,
author = {Ren{\'{e}} Rydhof Hansen and
Kim Guldstrand Larsen and
Mads Chr. Olesen and
Erik Ramsgaard Wognsen},
title = {Formal modelling and analysis of Bitflips in {ARM} assembly code},
journal = {Inf. Syst. Frontiers},
volume = {18},
number = {5},
pages = {909--925},
year = {2016},
url = {https://doi.org/10.1007/s10796-016-9665-7},
doi = {10.1007/S10796-016-9665-7},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isf/HansenLOW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/OlesenHL16,
author = {Mads Christian Olesen and
Ren{\'{e}} Rydhof Hansen and
Kim Guldstrand Larsen},
editor = {Christian W. Probst and
Chris Hankin and
Ren{\'{e}} Rydhof Hansen},
title = {An Automata-Based Approach to Trace Partitioned Abstract Interpretation},
booktitle = {Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson
and Flemming Nielson on the Occasion of Their 60th Birthdays},
series = {Lecture Notes in Computer Science},
volume = {9560},
pages = {88--110},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27810-0\_5},
doi = {10.1007/978-3-319-27810-0\_5},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/OlesenHL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/GadyatskayaHLLO16,
author = {Olga Gadyatskaya and
Ren{\'{e}} Rydhof Hansen and
Kim Guldstrand Larsen and
Axel Legay and
Mads Chr. Olesen and
Danny B{\o}gsted Poulsen},
editor = {Martin Fr{\"{a}}nzle and
Nicolas Markey},
title = {Modelling Attack-defense Trees Using Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 14th International
Conference, {FORMATS} 2016, Quebec, QC, Canada, August 24-26, 2016,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9884},
pages = {35--50},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44878-7\_3},
doi = {10.1007/978-3-319-44878-7\_3},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/GadyatskayaHLLO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/DavidDHLLOP15,
author = {Nicolas David and
Alexandre David and
Ren{\'{e}} Rydhof Hansen and
Kim Guldstrand Larsen and
Axel Legay and
Mads Chr. Olesen and
Christian W. Probst},
editor = {Elisa Bertino and
Ilsun You},
title = {Modelling Social-Technical Attacks with Timed Automata},
booktitle = {Proceedings of the 7th {ACM} {CCS} International Workshop on Managing
Insider Security Threats, {MIST} 2015, Denver, Colorado, USA, October
16, 2015},
pages = {21--28},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2808783.2808787},
doi = {10.1145/2808783.2808787},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/DavidDHLLOP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/HansenLOW15,
author = {Ren{\'{e}} Rydhof Hansen and
Kim Guldstrand Larsen and
Mads Chr. Olesen and
Erik Ramsgaard Wognsen},
title = {Formal Methods for Modelling and Analysis of Single-Event Upsets},
booktitle = {2015 {IEEE} International Conference on Information Reuse and Integration,
{IRI} 2015, San Francisco, CA, USA, August 13-15, 2015},
pages = {287--294},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/IRI.2015.54},
doi = {10.1109/IRI.2015.54},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iri/HansenLOW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/SkelinWOHL15,
author = {Mladen Skelin and
Erik Ramsgaard Wognsen and
Mads Chr. Olesen and
Ren{\'{e}} Rydhof Hansen and
Kim Guldstrand Larsen},
title = {Model checking of finite-state machine-based scenario-aware dataflow
using timed automata},
booktitle = {10th {IEEE} International Symposium on Industrial Embedded Systems,
{SIES} 2015, Siegen, Germany, June 8-10, 2015},
pages = {235--244},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/SIES.2015.7185065},
doi = {10.1109/SIES.2015.7185065},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sies/SkelinWOHL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/OlesenHLP14,
author = {Mads Chr. Olesen and
Ren{\'{e}} Rydhof Hansen and
Julia L. Lawall and
Nicolas Palix},
title = {Coccinelle: Tool support for automated {CERT} {C} Secure Coding Standard
certification},
journal = {Sci. Comput. Program.},
volume = {91},
pages = {141--160},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2012.10.011},
doi = {10.1016/J.SCICO.2012.10.011},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/OlesenHLP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/WognsenKOH14,
author = {Erik Ramsgaard Wognsen and
Henrik S{\o}ndberg Karlsen and
Mads Chr. Olesen and
Ren{\'{e}} Rydhof Hansen},
title = {Formalisation and analysis of Dalvik bytecode},
journal = {Sci. Comput. Program.},
volume = {92},
pages = {25--55},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.11.037},
doi = {10.1016/J.SCICO.2013.11.037},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/WognsenKOH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LaarmanODLP13,
author = {Alfons Laarman and
Mads Chr. Olesen and
Andreas Engelbredt Dalsgaard and
Kim Guldstrand Larsen and
Jaco van de Pol},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Multi-core Emptiness Checking of Timed B{\"{u}}chi Automata Using
Inclusion Abstraction},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {968--983},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_69},
doi = {10.1007/978-3-642-39799-8\_69},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LaarmanODLP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/BiallasOCH13,
author = {Sebastian Biallas and
Mads Chr. Olesen and
Franck Cassez and
Ralf Huuck},
title = {PtrTracker: Pragmatic pointer analysis},
booktitle = {13th {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2013, Eindhoven, Netherlands, September 22-23,
2013},
pages = {69--73},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SCAM.2013.6648186},
doi = {10.1109/SCAM.2013.6648186},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/BiallasOCH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DalsgaardLLOP12,
author = {Andreas Engelbredt Dalsgaard and
Alfons Laarman and
Kim G. Larsen and
Mads Chr. Olesen and
Jaco van de Pol},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Multi-core Reachability for Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {91--106},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_8},
doi = {10.1007/978-3-642-33365-1\_8},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/DalsgaardLLOP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nordsec/JensenPOH12,
author = {Torben Jensen and
Heine Pedersen and
Mads Chr. Olesen and
Ren{\'{e}} Rydhof Hansen},
editor = {Audun J{\o}sang and
Bengt Carlsson},
title = {{THAPS:} Automated Vulnerability Scanning of {PHP} Applications},
booktitle = {Secure {IT} Systems - 17th Nordic Conference, NordSec 2012, Karlskrona,
Sweden, October 31 - November 2, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7617},
pages = {31--46},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34210-3\_3},
doi = {10.1007/978-3-642-34210-3\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nordsec/JensenPOH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/CassezHO12,
author = {Franck Cassez and
Ren{\'{e}} Rydhof Hansen and
Mads Chr. Olesen},
editor = {Tullio Vardanega},
title = {What is a Timing Anomaly?},
booktitle = {12th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2012, July 10, 2012, Pisa, Italy},
series = {OASIcs},
volume = {23},
pages = {1--12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/OASIcs.WCET.2012.1},
doi = {10.4230/OASICS.WCET.2012.1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/CassezHO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/DalsgaardHJLOOS11,
author = {Andreas Engelbredt Dalsgaard and
Ren{\'{e}} Rydhof Hansen and
Kenneth Yrke J{\o}rgensen and
Kim Guldstrand Larsen and
Mads Chr. Olesen and
Petur Olsen and
Jir{\'{\i}} Srba},
editor = {Mihaela Gheorghiu Bobaru and
Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {opaal: {A} Lattice Model Checker},
booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
Pasadena, CA, USA, April 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6617},
pages = {487--493},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20398-5\_37},
doi = {10.1007/978-3-642-20398-5\_37},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/DalsgaardHJLOOS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssv/BrauerHKLO11,
author = {J{\"{o}}rg Brauer and
Ren{\'{e}} Rydhof Hansen and
Stefan Kowalewski and
Kim G. Larsen and
Mads Chr. Olesen},
editor = {J{\"{o}}rg Brauer and
Marco Roveri and
Hendrik Tews},
title = {Adaptable Value-Set Analysis for Low-Level Code},
booktitle = {6th International Workshop on Systems Software Verification, {SSV}
2011, August 26, 2011, Nijmegen, The Netherlands},
series = {OASIcs},
volume = {24},
pages = {32--43},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/OASIcs.SSV.2011.32},
doi = {10.4230/OASICS.SSV.2011.32},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
biburl = {https://dblp.org/rec/conf/ssv/BrauerHKLO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/OlesenHLP10,
author = {Mads Chr. Olesen and
Ren{\'{e}} Rydhof Hansen and
Julia L. Lawall and
Nicolas Palix},
title = {Clang and Coccinelle: Synergising program analysis tools for {CERT}
{C} Secure Coding Standard certification},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {33},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.33.455},
doi = {10.14279/TUJ.ECEASST.33.455},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/OlesenHLP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/DalsgaardOTHL10,
author = {Andreas Engelbredt Dalsgaard and
Mads Chr. Olesen and
Martin Toft and
Ren{\'{e}} Rydhof Hansen and
Kim Guldstrand Larsen},
editor = {Bj{\"{o}}rn Lisper},
title = {{METAMOC:} Modular Execution Time Analysis using Model Checking},
booktitle = {10th International Workshop on Worst-Case Execution Time Analysis,
{WCET} 2010, July 6, 2010, Brussels, Belgium},
series = {OASIcs},
volume = {15},
pages = {113--123},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2010},
url = {https://doi.org/10.4230/OASIcs.WCET.2010.113},
doi = {10.4230/OASICS.WCET.2010.113},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/DalsgaardOTHL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-08 23:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
