Laboratoire d’Informatique et Systèmes — France
Computer Science · Physical Sciences
16h-index1.1kcitations38works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Real-Time Systems Scheduling(16), Embedded Systems Design Techniques(13), Avian ecology and behavior(9), Wildlife Ecology and Conservation(8), Formal Methods in Verification(6)
Publications38 total
About Early Scheduling Verification Of Embedded Real-Time Critical Systems: An Example With AADL
HAL (Le Centre pour la Communication Scientifique Directe)·2018
HAL (Le Centre pour la Communication Scientifique Directe)·2015Open Access
ACM SIGBED Review·2014· 7 cited
Composition of Design Pattern : from the modeling of RTOS synchronization tools to schedulability analysis
HAL (Le Centre pour la Communication Scientifique Directe)·2014
Enforcing Software Engineering Tools Interoperability: An Example with AADL Subsets
2013
2013· 4 citedOpen Access
What is an AADL Subset
2013
ACM SIGAda Ada Letters·2011· 14 cited
SAE technical papers on CD-ROM/SAE technical paper series·2011
Journal für Ornithologie·2011· 14 cited
Animal Conservation·2010· 45 cited
Lecture notes in computer science·2010· 6 cited
Real-Time Systems·2009· 48 cited
Population Ecology·2009· 44 cited
Canadian Journal of Zoology·2008· 17 cited
Journal of Wildlife Management·2008· 22 cited
Diet study of an introduced predator reveals an unexpected population structure and reproductive strategy in an endemic long-lived seabird
HAL (Le Centre pour la Communication Scientifique Directe)·2008
Iconography : Yelkouan shearwater Puffinus yelkouan presence and behaviour at colonies: not only a moonlight question
2008
page 1 of 2Next →
Frequent Co-authors
Frank Singhoff(19), Éric Vidal(15), Karen Bourgeois(12), Alain Plantec(11), Pierre Dissaux(11), Laurent Nana(8), Vincent Gaudel(7), Lionel Marcé(6), Elsa Bonnaud(5), Céline Duhem(4), Stéphane Rubini(4), Jérôme Hugues(4), Sylvain Dromzée(3), Lise Ruffino(2), Philip Roche(2), Matthieu Le Corre(2), Mickaël Kerbœuf(2), Jalil Boukhobza(2), Laurent Lemarchand(2), Yves Kayser(1)