I agree that this site is using cookies. You can find further informations here.
X
Brunel, Jean-Pierre
8  results:
Bookchapter (Online) X
Search for persons X
?
1

A Full Finite Element Model for the Simulation of Friction-..:

, In: Notes on Numerical Fluid Mechanics and Multidisciplinary Design; Noise and Vibration Mitigation for Rail Transportation Systems,
Lai, Van Vuong ; Chiello, Olivier ; Brunel, Jean-François. - p. 339-347 , 2021
Link: https://doi.org/10.1007/..
 
?
2

"Building the Clutter, Widening the Vacancy": Capitalism an..:

, In: The Fictions of American Capitalism,
Brunel, Jean-Louis - p. 263-279 , 2020
Link: https://doi.org/10.1007/..
 
?
3

SoftContract : an Assertion-Based Software Development P..:

, In: Proceedings of the conference on Design, automation and test in Europe - Volume 1,
Brunel, Jean-Yves ; Di Natale, Marco ; Ferrari, Alberto.. - p. 10358 ff. , 2004
Link: https://dl.acm.org/doi/1..
 
?
4

An overview of funds of hedge funds:

, In: Funds of Hedge Funds,
Brunel, Jean - p. 349-362 , 2006
Link: https://doi.org/10.1016/..
 
?
5

Thermal multiscale simulation of a FO-WLP SiP including a G..:

, In: 2024 25th International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems (EuroSimE),
Kakou, N'Doua Luc Arnaud ; Sommet, Raphael ; Brunel, Laurent... - p. 1-4 , 2024
Link: https://doi.org/10.1109/..
 
?
6

Sound Verification Procedures for Temporal Properties of In..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Peyras, Quentin ; Bodeveix, Jean-Paul ; Brunel, Julien. - p. 337-360 , 2021
Link: https://doi.org/10.1007/..
 
?
7

Mechanically Verifying the Fundamental Liveness Property of..:

, In: Lecture Notes in Computer Science; Formal Methods – The Next 30 Years,
Bodeveix, Jean-Paul ; Brunel, Julien ; Chemouil, David. - p. 45-63 , 2019
Link: https://doi.org/10.1007/..
 
?
8

Security policy compliance with violation management:

, In: Proceedings of the 2007 ACM workshop on Formal methods in security engineering,
Brunel, Julien ; Cuppens, Frédéric ; Cuppens, Nora.. - p. 31-40 , 2007
Link: https://dl.acm.org/doi/1..
 
1-8