Jérôme Legrand

Laboratoire d’Informatique et SystèmesFrance

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
What is an AADL Subset
2013
ACM SIGAda Ada Letters·2011· 14 cited
SAE technical papers on CD-ROM/SAE technical paper series·2011
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)