C. Maksimovic
AuthID: R-006-NPD
1
TITLE: Gillian, Part II: Real-World Verification for JavaScript and C
AUTHORS: Maksimovic, P; Ayoun, SE; Santos, JF; Gardner, P;
PUBLISHED: 2021, SOURCE: 33rd International Conference on Computer-Aided Verification (CAV) in COMPUTER AIDED VERIFICATION, PT II, CAV 2021, VOLUME: 12760
AUTHORS: Maksimovic, P; Ayoun, SE; Santos, JF; Gardner, P;
PUBLISHED: 2021, SOURCE: 33rd International Conference on Computer-Aided Verification (CAV) in COMPUTER AIDED VERIFICATION, PT II, CAV 2021, VOLUME: 12760
INDEXED IN: 
WOS
WOS2
TITLE: Gillian, Part I: A Multi-language Platform for Symbolic Execution
AUTHORS: Santos, JF; Maksimovic, P; Ayoun, SE; Gardner, P;
PUBLISHED: 2020, SOURCE: 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) in PROCEEDINGS OF THE 41ST ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '20)
AUTHORS: Santos, JF; Maksimovic, P; Ayoun, SE; Gardner, P;
PUBLISHED: 2020, SOURCE: 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) in PROCEEDINGS OF THE 41ST ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '20)
INDEXED IN: 
Scopus WOS
Scopus WOS3
TITLE: Enhanced DEM-based flow path delineation methods for urban flood modelling
AUTHORS: Leitao, JP; Prodanovic, D; Boonya aroonnet, S; Maksimovic, C;
PUBLISHED: 2013, SOURCE: JOURNAL OF HYDROINFORMATICS, VOLUME: 15, ISSUE: 2
AUTHORS: Leitao, JP; Prodanovic, D; Boonya aroonnet, S; Maksimovic, C;
PUBLISHED: 2013, SOURCE: JOURNAL OF HYDROINFORMATICS, VOLUME: 15, ISSUE: 2
INDEXED IN: Scopus WOS
Scopus WOS4
TITLE: Radar-raingauge data combination techniques: a revision and analysis of their suitability for urban hydrology Full Text
AUTHORS: Li Pen Wang; Susana Ochoa Rodriguez; Nuno Eduardo Simoes ; Christian Onof; Cedo Maksimovic;
PUBLISHED: 2013, SOURCE: WATER SCIENCE AND TECHNOLOGY, VOLUME: 68, ISSUE: 4
AUTHORS: Li Pen Wang; Susana Ochoa Rodriguez; Nuno Eduardo Simoes ; Christian Onof; Cedo Maksimovic;
PUBLISHED: 2013, SOURCE: WATER SCIENCE AND TECHNOLOGY, VOLUME: 68, ISSUE: 4
5
TITLE: Quantifying the impact of small scale unmeasured rainfall variability on urban runoff through multifractal downscaling: A case study Full Text
AUTHORS: Gires, A; Onof, C; Maksimovic, C; Schertzer, D; Tchiguirinskaia, I; Simoes, N;
PUBLISHED: 2012, SOURCE: JOURNAL OF HYDROLOGY, VOLUME: 442
AUTHORS: Gires, A; Onof, C; Maksimovic, C; Schertzer, D; Tchiguirinskaia, I; Simoes, N;
PUBLISHED: 2012, SOURCE: JOURNAL OF HYDROLOGY, VOLUME: 442
6
TITLE: Collaborative modelling for active involvement of stakeholders in urban flood risk management Full Text
AUTHORS: Evers, M; Jonoski, A; Maksimovic, C; Lange, L; Ochoa O Rodriguez; Teklesadik, A; Cortes C Arevalo; Almoradie, A; Eduardo E Simoes ; Wang, L; Makropoulos, C;
PUBLISHED: 2012, SOURCE: NATURAL HAZARDS AND EARTH SYSTEM SCIENCES, VOLUME: 12, ISSUE: 9
AUTHORS: Evers, M; Jonoski, A; Maksimovic, C; Lange, L; Ochoa O Rodriguez; Teklesadik, A; Cortes C Arevalo; Almoradie, A; Eduardo E Simoes ; Wang, L; Makropoulos, C;
PUBLISHED: 2012, SOURCE: NATURAL HAZARDS AND EARTH SYSTEM SCIENCES, VOLUME: 12, ISSUE: 9
7
TITLE: Impact de la variabilité non-mesurée des précipitations sur les débits en hydrologie urbaine : un cas d’étude dans le cadre multifractal
AUTHORS: Auguste Gires; Daniel Schertzer; Ioulia Tchiguirinskaia; Schaun Lovejoy; Cedo Maksimovic; Christian Onof; Nuno Simoes;
PUBLISHED: 2011, SOURCE: La Houille Blanche, ISSUE: 4
AUTHORS: Auguste Gires; Daniel Schertzer; Ioulia Tchiguirinskaia; Schaun Lovejoy; Cedo Maksimovic; Christian Onof; Nuno Simoes;
PUBLISHED: 2011, SOURCE: La Houille Blanche, ISSUE: 4
8
TITLE: Real-time forecasting urban drainage models: full or simplified networks?
AUTHORS: Leitao, JP; Simoes, NE ; Maksimovic, C; Ferreira, F ; Prodanovic, D; Matos, JS ; Sa S Marques ;
PUBLISHED: 2010, SOURCE: WATER SCIENCE AND TECHNOLOGY, VOLUME: 62, ISSUE: 9
AUTHORS: Leitao, JP; Simoes, NE ; Maksimovic, C; Ferreira, F ; Prodanovic, D; Matos, JS ; Sa S Marques ;
PUBLISHED: 2010, SOURCE: WATER SCIENCE AND TECHNOLOGY, VOLUME: 62, ISSUE: 9
INDEXED IN: Scopus WOS
Scopus WOS9
TITLE: Sensitivity analysis of surface runoff generation in urban flood forecasting
AUTHORS: Simoes, NE ; Leitao, JP; Maksimovic, C; Sa S Marques ; Pina, R;
PUBLISHED: 2010, SOURCE: WATER SCIENCE AND TECHNOLOGY, VOLUME: 61, ISSUE: 10
AUTHORS: Simoes, NE ; Leitao, JP; Maksimovic, C; Sa S Marques ; Pina, R;
PUBLISHED: 2010, SOURCE: WATER SCIENCE AND TECHNOLOGY, VOLUME: 61, ISSUE: 10
INDEXED IN: Scopus WOS
Scopus WOS10
TITLE: The dynamic effect of pipe-wall viscoelasticity in hydraulic transients. Part II - model development, calibration and verification
AUTHORS: Covas, D ; Stoianov, I; Mano, JF ; Ramos, H ; Graham, N; Maksimovic, C;
PUBLISHED: 2005, SOURCE: JOURNAL OF HYDRAULIC RESEARCH, VOLUME: 43, ISSUE: 1
AUTHORS: Covas, D ; Stoianov, I; Mano, JF ; Ramos, H ; Graham, N; Maksimovic, C;
PUBLISHED: 2005, SOURCE: JOURNAL OF HYDRAULIC RESEARCH, VOLUME: 43, ISSUE: 1
INDEXED IN: Scopus WOS
Scopus WOS