Mads Chr. Olesen - Concepedia

Author

Mads Chr. Olesen

Also Known As

Mads Chr Olesen, Mads Chr. Olesen, Olesen, Mads, Olesen, Mads Chr.

Publications

343

Citations

H-Index

Concepts

All Affiliations

Mads Chr. Olesen is an author at Aalborg University specializing in engineering, formal verification, and computer science.

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	97
2	Computer Science	5	5	97
3	Computer Engineering	3	3	66
4	Systems Engineering	3	3	45
5	Business	1	1	11

Mads Chr. Olesen

Publications

165

Citations

H-Index

Page 1

	Year	Citations
METAMOC: Modular Execution Time Analysis using Model Checking Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft, DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)	2010	68
Formalisation and analysis of Dalvik bytecode Erik Ramsgaard Wognsen, Henrik Søndberg Karlsen, Mads Chr. Olesen, Science of Computer Programming Software SecurityEngineeringProgram AnalysisDalvik BytecodeFormal Methods	2013	40
Modelling Social-Technical Attacks with Timed Automata Nicolas David, Alexandre David, René Rydhof Hansen, Security ModellingAttack SimulationEngineeringInformation SecurityFormal Methods	2015	20
What is a Timing Anomaly? Franck Cassez, René Rydhof Hansen, Mads Chr. Olesen DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) Anomaly DetectionEngineeringComputer ArchitectureSoftware EngineeringTiming Anomaly	2012	14
Coccinelle: Tool support for automated CERT C Secure Coding Standard certification Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Science of Computer Programming Software SecurityEngineeringTool SupportProgram AnalysisSoftware Testing	2012	12
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs* Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Fundamenta Informaticae Mathematical ProgrammingEngineeringReachability ProblemVerificationComputer-aided Verification	2018	11

Page 1