Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Frédéric
Last name:	Boniol
DBLP:	34/131
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 43  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Rémy Wyss, Frédéric Boniol, Claire Pagetti, Julien Forget. End-to-end latency computation in a multi-periodic design.	Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013 2013	(0)	2013
	Conference paper Frédéric Boniol, Hugues Cassé, Eric Noulard, Claire Pagetti. Deterministic Execution Model on COTS Hardware.	Architecture of Computing Systems - ARCS 2012 - 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings 2012	(0)	2012
	Conference paper Julie Baro, Frédéric Boniol, Mikel Cordovilla, Eric Noulard, Claire Pagetti. Off-line (Optimal) multiprocessor scheduling of dependent periodic tasks.	Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012 2012	(0)	2012
	Conference paper Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Luka Leroux. Improving Model Checking with Context Modelling.	Adv. Software Engineering 2012, Volume 2012	(0)	2012
	Conference paper Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Amine Raji, Yves Le Traon, Benoit Baudry. Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués.	Technique et Science Informatiques 2012, Volume 31	(0)	2012
	Conference paper Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti. A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming.	Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings 2012	(0)	2012
	Conference paper Mikel Cordovilla, Frédéric Boniol, Eric Noulard, Claire Pagetti. Multiprocessor schedulability analyser.	Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011 2011	(0)	2011
	Conference paper Xavier Dumas, Philippe Dhaussy, Frédéric Boniol, Eric Bonnafous. Application of partial-order methods for the verification of closed-loop SDL systems.	Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011 2011	(0)	2011
	Conference paper Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, David Lesens. Multi-task Implementation of Multi-periodic Synchronous Programs.	Discrete Event Dynamic Systems 2011, Volume 21	(0)	2011
	Conference paper Philippe Dhaussy, Jean-Charles Roger, Frédéric Boniol. Reducing State Explosion with Context Modeling for Model-Checking.	13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011 2011	(0)	2011

Show item 1 to 10 of 43  

Your query returned 43 matches in the database.