Carbon availability limits potential denitrification in watercress farm sediment
Pulou, Jérémy, Tournebize, Julien, Chaumont, Cédric, Haury, Jacques, Laverman, Anniet M.
Published in Ecological engineering (01.12.2012)
Published in Ecological engineering (01.12.2012)
Get full text
Journal Article
Towards validated real-time software
Bertin, V., Poize, M., Pulou, J., Sifakis, J.
Published in Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000 (2000)
Published in Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000 (2000)
Get full text
Conference Proceeding
Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks
Basu, A., Mounier, L., Poulhies, M., Pulou, J., Sifakis, J.
Published in Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007) (01.07.2007)
Published in Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007) (01.07.2007)
Get full text
Conference Proceeding
Think: View-Based Support of Non-functional Properties in Embedded Systems
Anne, M., Ruan He, Jarboui, T., Lacoste, M., Lobry, O., Lorant, G., Louvel, M., Navas, J., Olive, V., Polakovic, J., Poulhies, M., Pulou, J., Seyvoz, S., Tous, J., Watteyne, T.
Published in 2009 International Conference on Embedded Software and Systems (01.05.2009)
Published in 2009 International Conference on Embedded Software and Systems (01.05.2009)
Get full text
Conference Proceeding
TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems
Bertin, V., Closse, E., Poize, M., Pulou, J., Sifakis, J., Venier, P., Weil, D., Yovine, S.
Published in Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) (2001)
Published in Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) (2001)
Get full text
Conference Proceeding