Nicolas Navet

According to our database1, Nicolas Navet
  • authored at least 37 papers between 1999 and 2016.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Towards a declarative modeling and execution framework for real-time systems.
SIGBED Review, 2016

Poster Abstract: An Optimizing Framework for Real-Time Scheduling.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Demo Abstract: Applications of the CPAL Language to Model, Simulate and Program Cyber-Physical Systems.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

CPAL: high-level abstractions for safe embedded systems.
Proceedings of the International Workshop on Domain-Specific Modeling, 2016

2015
A Contract-Based Approach to Support Goal-Driven Analysis.
Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

Formal analysis of the startup delay of SOME/IP service discovery.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2012
Multisource Software on Multicore Automotive ECUs - Combining Runnable Sequencing With Task Scheduling.
IEEE Trans. Industrial Electronics, 2012

Traffic shaping to reduce jitter in controller area network (CAN).
SIGBED Review, 2012

Controller Area Network (CAN): Response time analysis with offsets.
Proceedings of the 9th IEEE International Workshop on Factory Communication Systems, 2012

Controller area network (CAN) schedulability analysis for messages with arbitrary deadlines in FIFO and work-conserving queues.
Proceedings of the 9th IEEE International Workshop on Factory Communication Systems, 2012

2011
Impact of clock drifts on CAN frame response time distributions.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Schedulability analysis of CAN with non-abortable transmission requests.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2010
The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009
Aperiodic Traffic in Response Time Analyses with Adjustable Safety Level.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

Trends in Automotive Communication Systems.
Proceedings of the Networked Embedded Systems - Volume 2 of the Embedded Systems Handbook, 2009

2008
On Predictability and Profitability: Would GP Induced Trading Rules be Sensitive to the Observed Entropy of Time Series?
Proceedings of the Natural Computing in Computational Finance, 2008

Fine-Tuning MAC-Level Protocols for Optimized Real-Time QoS.
IEEE Trans. Industrial Informatics, 2008

Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms.
Proceedings of the IEEE International Conference on Sensor Networks, 2008

2007
Dynamic voltage scaling under EDF revisited.
Real-Time Systems, 2007

Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms
CoRR, 2007

2006
Impact de choix d'implantation sur les performances d'une application de contrôle-commande.
Technique et Science Informatiques, 2006

Frame packing algorithms for automotive applications.
J. Embedded Computing, 2006

Pretests for Genetic-Programming Evolved Trading Programs: "zero-intelligence" Strategies and Lottery Trading.
Proceedings of the Neural Information Processing, 13th International Conference, 2006

2005
Fault-Tolerant Services for Safe In-Car Embedded Systems.
Proceedings of the Embedded Systems Handbook., 2005

Fault confinement mechanisms on CAN: analysis and improvements.
IEEE Trans. Vehicular Technology, 2005

Shortest-path algorithms for real-time scheduling of FIFO tasks with minimal energy use.
ACM Trans. Embedded Comput. Syst., 2005

Maximizing the Robustness of TDMA Networks with Applications to TTP/C.
Real-Time Systems, 2005

Trends in Automotive Communication Systems.
Proceedings of the IEEE, 2005

Battery Model for Embedded Systems.
Proceedings of the 18th International Conference on VLSI Design (VLSI Design 2005), 2005

Configuration of in-vehicle embedded systems under real-time constraints.
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

2003
Nouvelles politiques pour la réservation explicite de ressources en avance.
Technique et Science Informatiques, 2003

Timing Analysis of Compound Scheduling Policies: Application to Posix1003.1B.
J. Scheduling, 2003

Dual-Priority versus Background Scheduling: A Path-Wise Comparison.
Real-Time Systems, 2003

Fine tuning the scheduling of tasks through a genetic algorithm: application to Posix1003.1b compliant systems.
IEE Proceedings - Software, 2003

2001
Validation of in-vehicle real-time applications.
Computers in Industry, 2001

2000
Worst-case deadline failure probability in real-time applications distributed over controller area network.
Journal of Systems Architecture, 2000

1999
Traffic shaping in real-time distributed systems: a low-complexity approach.
Computer Communications, 1999


  Loading...