Alexandre David

79 papers A* 2A 5B 11C 2Misc 1Journal 20Unranked 36

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Physical modeling of ribosomes along messenger RNA: Estimating kinetic parameters from ribosome profiling experiments using a ballistic model. PLoS Comput. Biol. Carole Chevalier, Jérôme Dorignac, Yahaya Ibrahim, Armelle Choquet, Alexandre David, Julie Ripoll, Eric Rivals, Frédéric Geniet, Nils-Ole Walliser, John Palmeri, Andrea Parmeggiani, Jean-Charles Walter
2016	J	`jnl`	Statistical and exact schedulability analysis of hierarchical scheduling systems. Sci. Comput. Program. Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2015	J	`jnl`	A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling. Sci. Comput. Program. Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2015	C	`conf`	Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. ISORC Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh Thi Xuan Phan
2015	—	`conf`	Modelling Social-Technical Attacks with Timed Automata. MIST@CCS Nicolas David, Alexandre David, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Christian W. Probst
2015	J	`jnl`	Real-time specifications. Int. J. Softw. Tools Technol. Transf. Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, Andrzej Wasowski
2015	J	`jnl`	Schedulability of Herschel revisited using statistical model checking. Int. J. Softw. Tools Technol. Transf. Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis
2015	J	`jnl`	Statistical model checking for biological systems. Int. J. Softw. Tools Technol. Transf. Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
2015	J	`jnl`	Three Layers Framework Concept for Adjustable Artificial Intelligence. J. Adv. Comput. Intell. Intell. Informatics Benoit Vallade, Alexandre David, Tomoharu Nakashima
2015	J	`jnl`	Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transf. Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen
2015	A	`conf`	Uppaal Stratego. TACAS Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist
2014	J	`jnl`	Adaptive Task Automata with Earliest-Deadline-First Scheduling. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Leo Hatvani, Alexandre David, Cristina Cerschi Seceleanu, Paul Pettersson
2014	—	`conf`	Analyzing Industrial Architectural Models by Simulation and Model-Checking. FTSCS Raluca Marinescu, Henrik Kaijser, Marius Mikucionis, Cristina Seceleanu, Henrik Lönn, Alexandre David
2014	Misc	`conf`	Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks. TASE Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2014	J	`jnl`	Efficient controller synthesis for a fragment of MTL Acta Informatica Peter E. Bulychev, Alexandre David, Kim G. Larsen, Guangyuan Li
2014	J	`jnl`	Formal verification and simulation for platform screen doors and collision avoidance in subway control systems. Int. J. Softw. Tools Technol. Transf. Huixing Fang, Jianqi Shi, Huibiao Zhu, Jian Guo, Kim Guldstrand Larsen, Alexandre David
2014	B	`conf`	On Time with Minimal Expected Cost! ATVA Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Didier Lime, Mathias Grund Sørensen, Jakob Haahr Taankvist
2014	—	`conf`	Proposition of a three layers architecture for adaptable artificial intelligence. SCIS&ISIS Benoit Vallade, Alexandre David, Tomoharu Nakashima
2014	—	`conf`	Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata. ACSD Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen
2014	—	`conf`	Verification and Performance Evaluation of Timed Game Strategies. FORMATS Alexandre David, Huixing Fang, Kim Guldstrand Larsen, Zhengkui Zhang
2014	—	`conf`	Widening the Schedulability of Hierarchical Scheduling Systems. FACS Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2013	J	`jnl`	A Context-Aware User Interface for Wireless Personal-Area Network Assistive Environments. Wirel. Pers. Commun. Bastien Paul, Séverin Marcombes, Alexandre David, Lotte N. S. Andreasen Struijk, Yannick Le Moullec
2013	—	`conf`	Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. FACS Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
2013	—	`conf`	Optimizing Control Strategy Using Statistical Model Checking. NASA Formal Methods Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis
2013	C	`conf`	Remote Testing of Timed Specifications. ICTSS Alexandre David, Kim G. Larsen, Marius Mikucionis, Omer Nguena-Timo, Antoine Rollet
2013	J	`jnl`	Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Alexandre David, Kim G. Larsen, Axel Legay, Danny Bøgsted Poulsen
2013	—	`ch.`	Tools for Model-Checking Timed Systems. Communicating Embedded Systems Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez
2012	—	`conf`	A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets SSV Alexandre David, Lasse Jacobsen, Morten Jacobsen, Jirí Srba
2012	J	`jnl`	An evaluation framework for energy aware buildings using statistical model checking. Sci. China Inf. Sci. Alexandre David, Dehui Du, Kim G. Larsen, Marius Mikucionis, Arne Skou
2012	—	`conf`	Checking and Distributing Statistical Model Checking. NASA Formal Methods Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen
2012	J	`jnl`	Compositional verification of real-time systems using Ecdar. Int. J. Softw. Tools Technol. Transf. Alexandre David, Kim Guldstrand Larsen, Axel Legay, Mikael H. Møller, Ulrik Nyman, Anders P. Ravn, Arne Skou, Andrzej Wasowski
2012	—	`conf`	Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach IWIGP Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis
2012	J	`jnl`	Controllers with Minimal Observation Power (Application to Timed Systems) CoRR Peter E. Bulychev, Franck Cassez, Alexandre David, Kim G. Larsen, Jean-François Raskin, Pierre-Alain Reynier
2012	B	`conf`	Controllers with Minimal Observation Power (Application to Timed Systems). ATVA Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier
2012	B	`conf`	Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. LPAR Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen, Amélie Stainer
2012	B	`conf`	Moving from Specifications to Contracts in Component-Based Design. FASE Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2012	B	`conf`	Rewrite-Based Statistical Model Checking of WMTL. RV Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen
2012	—	`conf`	Runtime Verification of Biological Systems. ISoLA (1) Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
2012	—	`conf`	Schedulability of Herschel-Planck Revisited Using Statistical Model Checking. ISoLA (2) Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis
2012	A	`conf`	State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. DATE Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans
2012	—	`conf`	Statistical Model Checking for Stochastic Hybrid Systems HSB Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
2012	A	`conf`	TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets. TACAS Alexandre David, Lasse Jacobsen, Morten Jacobsen, Kenneth Yrke Jørgensen, Mikael H. Møller, Jirí Srba
2012	—	`conf`	UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata QAPL Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang
2012	—	`conf`	mctau: Bridging the Gap between Modest and UPPAAL. SPIN Jonathan Bogdoll, Alexandre David, Arnd Hartmanns, Holger Hermanns
2011	J	`jnl`	Developing UPPAAL over 15 years. Softw. Pract. Exp. Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
2011	—	`conf`	Distributed Parametric and Statistical Model Checking PDMC Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay
2011	—	`conf`	Statistical Model Checking for Networks of Priced Timed Automata. FORMATS Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang
2011	J	`jnl`	Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata CoRR Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang
2011	A*	`conf`	Time for Statistical Model Checking of Real-Time Systems. CAV Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang
2010	—	`conf`	Application of Model-Checking Technology to Controller Synthesis. FMCO Alexandre David, Jacob Deleuran Grunnet, Jan Jakob Jessen, Kim Guldstrand Larsen, Jacob Illum Rasmussen
2010	B	`conf`	ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. ATVA Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2010	—	`conf`	New Results on Timed Specifications. WADT Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski
2010	J	`jnl`	Scenario-based verification of real-time systems using Uppaal. Formal Methods Syst. Des. Shuhao Li, Sandie Balaguer, Alexandre David, Kim G. Larsen, Brian Nielsen, Saulius Pusinskas
2010	—	`conf`	Testing Real-Time Systems under Uncertainty. FMCO Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Marius Mikucionis, Brian Nielsen
2010	—	`conf`	Timed I/O automata: a complete specification theory for real-time systems. HSCC Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2009	—	`conf`	Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation. FORMATS Peter E. Bulychev, Thomas Chatain, Alexandre David, Kim Guldstrand Larsen
2009	—	`conf`	Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. FMCO Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2009	—	`conf`	Playing Games with Timed Games. ADHS Thomas Chatain, Alexandre David, Kim G. Larsen
2009	A	`conf`	Timed Testing under Partial Observability. ICST Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen
2008	A	`conf`	A Game-Theoretic Approach to Real-Time System Testing. DATE Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen
2008	—	`conf`	Cooperative Testing of Timed Systems. MBT@ETAPS Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen
2008	J	`jnl`	Model-Driven Development of Embedded Real-Time Systems. ERCIM News Alexandre David, Brian Nielsen
2007	—	`conf`	Guided Controller Synthesis for Climate Controller Using Uppaal Tiga. FORMATS Jan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David
2007	B	`conf`	Timed Control with Observation Based and Stuttering Invariant Strategies. ATVA Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin
2007	A*	`conf`	UPPAAL-Tiga: Time for Playing Games! CAV Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime
2006	—	`conf`	Model Checking Timed Automata with Priorities Using DBM Subtraction. FORMATS Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson
2006	—	`conf`	UPPAAL 4.0. QEST Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks
2005	B	`conf`	Efficient On-the-Fly Algorithms for the Analysis of Timed Games. CONCUR Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime
2004	—	`conf`	A Tutorial on Uppaal. SFM Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen
2003	—	`—`	Hierarchical modeling and analysis of timed systems. Alexandre David
2003	—	`conf`	Unification & Sharing in Timed Automata Verification. SPIN Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi
2002	—	`conf`	A Tool Architecture for the Next Generation of Uppaal. 10th Anniversary Colloquium of UNU/IIST Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi
2002	B	`conf`	Formal Verification of UML Statecharts with Real-Time Extensions. FASE Alexandre David, M. Oliver Möller, Wang Yi
2002	—	`conf`	UPPAAL Implementation Secrets. FTRTFT Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
2001	—	`conf`	Specification, Implementation, and Validation of Object-Oriented Embedded Systems. ECOOP Workshops Sébastien Gérard, Alexandre David, François Terrier
2001	—	`conf`	UPPAAL - present and future. CDC Gerd Behrmann, Kim G. Larsen, Oliver Möller, Alexandre David, Paul Pettersson, Wang Yi
2000	B	`conf`	A Real-Time Animator for Hybrid Systems. LCTES Tobias Amnell, Alexandre David, Wang Yi
2000	B	`conf`	Modelling and analysis of a commercial field bus protocol. ECRTS Alexandre David, Wang Yi
2000	—	`conf`	UPPAAL - Now, Next, and Future. MOVEP Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi