Danny Bøgsted Poulsen

Citée par

	Toutes	Depuis 2019
Citations	1725	969
indice h	14	12
indice i10	23	18

200

100

150

201120122013201420152016201720182019202020212022202320247 33 48 63 125 130 156 159 156 170 170 181 158 127

Accès public

Tout afficher

9 articles

2 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Kim G. LarsenDirector, Professor Aalborg UniversityAdresse e-mail validée de cs.aau.dk
axel legayUCLouvainAdresse e-mail validée de uclouvain.be
Alexandre DavidSenior Software Engineer, Google Inc.Adresse e-mail validée de cs.aau.dk
Marius MikučionisDepartment of Computer Science, Aalborg UniversityAdresse e-mail validée de cs.aau.dk
Dirk NowotkaProfessor für Informatik, Christian-Albrechts-Universität zu KielAdresse e-mail validée de zs.uni-kiel.de
Peter Bulychevpostdoc at Aalborg UniversityAdresse e-mail validée de cs.aau.dk
Rene Rydhof HansenAalborg UniversityAdresse e-mail validée de cs.aau.dk
Sean SedwardsUniversity of WaterlooAdresse e-mail validée de uwaterloo.ca
Florin ManeaUniversity of GöttingenAdresse e-mail validée de informatik.uni-goettingen.de
Peter Gjøl JensenAssociate Professor at Aalborg UniversityAdresse e-mail validée de cs.aau.dk
Joel DayLoughborough UniversityAdresse e-mail validée de lboro.ac.uk
Olga GadyatskayaAssociate professor at LIACS, Leiden UniversityAdresse e-mail validée de liacs.leidenuniv.nl
Mads Chr. OlesenPhD Student, Aalborg UniversityAdresse e-mail validée de cs.aau.dk
Amélie StainerUniversité Libre de BruxellesAdresse e-mail validée de ulb.ac.be
Kenneth Yrke JørgensenDepartment of Computer Science, Aalborg UniversityAdresse e-mail validée de cs.aau.dk
Marco MuñizAssociate Professor at Aalborg UniversityAdresse e-mail validée de cs.aau.dk
Thorsten EhlersGerman Aerospace CenterAdresse e-mail validée de dlr.de
cyrille JegourelSUTDAdresse e-mail validée de sutd.edu.sg
Shiraj AroraPostdoc at Aalborg UniversityAdresse e-mail validée de cs.aau.dk
Anton ChristensenPhD student at Aalborg UniversityAdresse e-mail validée de cs.aau.dk

Suivre

Danny Bøgsted Poulsen

Aalborg University

Adresse e-mail validée de cs.aau.dk - Page d'accueil

verification real time systems Model Checking


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Uppaal SMC tutorial A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen International journal on software tools for technology transfer 17, 397-415, 2015	620	2015
UPPAAL-SMC: Statistical model checking for priced timed automata P Bulychev, A David, KG Larsen, M Mikučionis, DB Poulsen, A Legay, ... arXiv preprint arXiv:1207.1272, 2012	220	2012
Statistical model checking for networks of priced timed automata A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen, J Van Vliet, ... Formal Modeling and Analysis of Timed Systems: 9th International Conference …, 2011	213	2011
Statistical model checking for stochastic hybrid systems A David, D Du, KG Larsen, A Legay, M Mikučionis, DB Poulsen, ... arXiv preprint arXiv:1208.3856, 2012	114	2012
Modelling attack-defense trees using timed automata O Gadyatskaya, RR Hansen, KG Larsen, A Legay, MC Olesen, ... Formal Modeling and Analysis of Timed Systems: 14th International Conference …, 2016	68	2016
Monitor-based statistical model checking for weighted metric temporal logic P Bulychev, A David, K Guldstrand Larsen, A Legay, G Li, ... Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012	58	2012
Rewrite-based statistical model checking of WMTL P Bulychev, A David, KG Larsen, A Legay, G Li, DB Poulsen Runtime Verification: Third International Conference, RV 2012, Istanbul …, 2013	55	2013
Statistical model checking for biological systems A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen, S Sedwards International journal on software tools for technology transfer 17, 351-367, 2015	49	2015
Checking and distributing statistical model checking P Bulychev, A David, K Guldstrand Larsen, A Legay, M Mikučionis, ... NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA …, 2012	41	2012
On solving word equations using SAT JD Day, T Ehlers, M Kulczynski, F Manea, D Nowotka, DB Poulsen Reachability Problems: 13th International Conference, RP 2019, Brussels …, 2019	35	2019
Runtime verification of biological systems A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen, S Sedwards Leveraging Applications of Formal Methods, Verification and Validation …, 2012	35	2012
Statistical model checking of dynamic networks of stochastic hybrid automata A David, KG Larsen, A Legay, D Poulsen Electronic Communications of the EASST 66, 2014	27	2014
Quantitative evaluation of attack defense trees using stochastic timed automata RR Hansen, PG Jensen, KG Larsen, A Legay, DB Poulsen Graphical Models for Security: 4th International Workshop, GraMSec 2017 …, 2018	22	2018
The power of string solving: simplicity of comparison M Kulczynski, F Manea, D Nowotka, DB Poulsen Proceedings of the IEEE/ACM 1st International Conference on Automation of …, 2020	14	2020
Importance sampling for stochastic timed automata C Jegourel, KG Larsen, A Legay, M Mikučionis, DB Poulsen, S Sedwards Dependable Software Engineering: Theories, Tools, and Applications: Second …, 2016	14	2016
ZaligVinder: A generic test framework for string solvers M Kulczynski, F Manea, D Nowotka, DB Poulsen Journal of Software: Evolution and Process 35 (4), e2400, 2023	13	2023
Verifiable strategy synthesis for multiple autonomous agents: a scalable approach R Gu, PG Jensen, DB Poulsen, C Seceleanu, E Enoiu, K Lundqvist International Journal on Software Tools for Technology Transfer 24 (3), 395-414, 2022	13	2022
Stochastic semantics and statistical model checking for networks of priced timed automata A David, KG Larsen, A Legay, M Mikučionis, DB Poulsen, J van Vliet, ... arXiv preprint arXiv:1106.3961, 2011	12	2011
Rule-based word equation solving JD Day, M Kulczynski, F Manea, D Nowotka, DB Poulsen Proceedings of the 8th International Conference on Formal Methods in …, 2020	11	2020
Fluid model-checking in UPPAAL for Covid-19 PG Jensen, KY Jørgensen, KG Larsen, M Mikučionis, M Muñiz, ... Leveraging Applications of Formal Methods, Verification and Validation …, 2020	11	2020

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs