Pontus Ekberg, Wang Yi
ECRTS 2012, Pisa (Italy) 2012
Nan Guan, Pontus Ekberg, Martin Stigge, Wang Yi
RTSS 2011, Vienna (Austria) 2011
Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
Verimag Research Report No TR-2012-22, Grenoble (France) 2012
Saddek Bensalem, Benoit Boyer, Marius Bozga, Axel Legay
Verimag Research Report No TR-2012-15, Grenoble (France) 2012
Jingyi Bin
ACACES (HiPEAC) summer school 2012, Fiuggi (Italy) 2012
Philip Axer
GI-Edition Lecture Notes in Informatics, Braunschweig (Germany) 2010
Sophie Quinton
5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Heraklion (Greece) 2012
Sophie Quinton
DATE 2013, Grenoble (France) 2013
Mircea Negrean
DATE 2013, Grenoble (France) 2013
Georgia Giannopoulou, Kai Lampka, Nikolay Stoimenov, Lothar Thiele
EMSOFT 2012, Tampere (Finland) 2012
Pratyush Kumar, Nikolay Stoimenov, Lothar Thiele
ECRTS 2012, Pisa (Italy) 2012
Shin-Haeng Kang, Hoeseok Yang, Lars Schor, Iuliana Bacivarov, Soonhoi Ha, Lothar Thiele
ESTIMedia 2012, Tampere (Finland) 2012
Pratyush Kumar
RTSS 2012, San Juan (Puerto Rico) 2012
Pavel Krcal
PSAM 2012, Helsinki (Finland) 2012
Daniel Kästner, Marc Schlickling, Markus Pister, Christoph Cullmann, Gernot Gebhard, Reinhold Heckmann, Christian Ferdinand
Lecture Notes in Computer Science, Berlin (Germany) 2012
Georgia Giannopoulou
TIK Technical Report No. 347, TIK laboratory, ETH Zurich (Switzerland) 2012
Nan Guan, Mingsong Lv, Yu Ge and Wang Yi
RTAS 2012, Beijing (China) 2012
Nan Guan, Martin Stigge, Yu Ge, and Wang Yi
26th IEEE International Parallel & Distributed Processing Symposium, Shanghai (China) 2012
Nan Guan and Wang Yi
2012 IEEE 26th International Parallel and Distributed Processing Symposium, Shanghai (China) 2012
Philipp Ruemmer, Hossein Hojjat and Viktor Kuncak
VSTTE 2013, Atherton (California) 2013
Philip Axer and Rolf Ernst
DAC 2013, Austin (USA) 2013
Axel Legay, Saddek Bensalem, Benoît Boyer and Marius Bozga
ACSD 2013, Barcelona (Spain) 2013
Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
ECRTS 2013, Paris (France) 2013
Philip Axer, Moritz Neukirchner, Sophie Quinton, Rolf Ernst, Björn Döbel and Hermann Härtig
ECRTS 2013, Paris (France) 2013
Philipp Ruemmer, Hossein Hojjat and Viktor Kuncak
CAV 2013, Saint Petersburg (Russia) 2013
Dario Socci
ReTiMiCS 2013 - 1st workshop on Real-Time Mixed Criticality Systems, Taipei (China) 2013
Pengcheng Huang
ETFA 2013, Cagliari (Italy) 2013
Ayoub Nouri
SMC 2013 - 1st Workshop on Statistical Model Checking, Rennes (France) 2013
Kai Lampka
Int. Conf. on Runtime Verification 2013, Rennes (France) 2013
Georgia Giannopoulou
EMSOFT 3013, Montreal (Canada) 2013
M. Neunkirchner, K. Lampka
CODES+ISSS 2013, Montreal (Canada) 2013
Nan Guan
RTSS 2013, Vancouver (Canada) 2013
Martin Stigge
RTSS 2013, Vancouver (Canada) 2013
Pengcheng Huang
Asia and South Pacific Design Automation Conference (ASP-DAC 2014) 2014
Ayoub Nouri
International Journal on Software Tools for Technology Transfer 2014
Eberle Rambo
Design, Automation and Test in Europe (DATE 2014) 2014
Benoît Dupont de Dinechin
Design, Automation and Test in Europe (DATE 2014) 2014
Lacramioara Aştefănoaei
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014) 0
Pengcheng Huang
Design Automation Conference (DAC 2014) 0
Devendra Rai
Design Automation Conference (DAC 2014) 2014
Jonas Flodin, Kai Lampka, Wang Yi
Symposium on Industrial Embedded Systems (SIES 2014) 2014
Adam Kostrzewa
International Symposium on Industrial Embedded Systems (SIES 2014) 2014
Hossein Hojjat, Philipp Rümmer, Pavle Subotic, Wang Yi
Workshop on Horn Clauses for Verification and Synthesis (HCVS 2014) 0
Eberle Rambo
International Symposium on Networks-on-Chip (NoCS 2014) 2014
Ayoub Nouri
Int. Conf. on Runtime Verification (RV 2014) 2014
Pengcheng Huang
International Conference on Embedded Software (EMSOFT 2014) 2014
Kai Lampka
Real-Time Systems journal, Volume 50, Issue 5 2014
Petro Poplavko
VERIMAG technical reports 2014
Dario Socci
VERIMAG technical reports 2014
Benoît Dupont de Dinechin
Network on Chip Architecture Workshop (NoCArc 2014) 2014
Georgia Giannopoulou
Submitted to Real-Time Systems Journal (under review) 2014
The research leading to these results has received funding from the European Union Seventh Framework Programme (FP7/2007-2013) under grant agreement n° 288175
DR. Madeleine FAUGÈRE
THALES S.A.