Search Results - "Combaz, Jacques"

Rigorous design of robot software: A formal component-based approach by Abdellatif, Tesnim, Bensalem, Saddek, Combaz, Jacques, de Silva, Lavindra, Ingrand, Felix

“…We have recently started an effort to combine a state of the art tool for developing functional modules of robotic systems (GenoM) with a component based…”
Get full text

Compositional Verification for Timed Systems Based on Automatic Invariant Generation by Astefanoaei, Lacramioara, Rayana, Souha Ben, Bensalem, Saddek, Bozga, Marius, Combaz, Jacques

“…We propose a method for compositional verification to address the state space explosion problem inherent to model-checking timed systems with a large number of…”
Get full text

Rigorous Component-Based System Design Using the BIP Framework by Basu, A, Bensalem, B, Bozga, M, Combaz, J, Jaber, M, Nguyen, T, Sifakis, J

“…An autonomous robot case study illustrates the use of the behavior, interaction, priority (BIP) component framework as a unifying semantic model to ensure…”
Get full text

Local Planning Semantics: A Semantics for Distributed Real-Time Systems by Dellabani, Mahieddine, Combaz, Jacques, Bensalem, Saddek, Bozga, Marius

“…Design, implementation and verification of distributed real-time systems are acknowledged to be very hard tasks. Such systems are prone to different kinds of…”
Get full text

Knowledge Based Optimization for Distributed Real-Time Systems by Dellabani, Mahieddine, Combaz, Jacques, Bensalem, Saddek, Bozga, Marius

“…The design and the implementation of distributed real-time systems has always been a challenging task. A central question being how to efficiently coordinate…”
Get full text

Rigorous Component-Based System Design Using the BIP Framework : SOFTWARE COMPONENTS: BEYOND PROGRAMMING by BASU, Ananda, BENSALEM, Saddek, BOZGA, Marius, COMBAZ, Jacques, JABER, Mohamad, NGUYEN, Thanh-Hung, SIFAKIS, Joseph

Get full text

Assessing the Potential of Carpooling for Reducing Vehicle Kilometers Traveled by Rasoldier, Aina, Girault, Alain, Quinton, Sophie, Combaz, Jacques, Marquet, Kevin

“…The national and local strategies implemented to achieve the French Nationally Determined Contribution (a key element of the Paris Agreement) rely heavily on…”
Get full text

Symbolic quality control for multimedia applications by Combaz, Jacques, Fernandez, Jean-Claude, Sifakis, Joseph, Strus, Loïc

“…We present a fine grain quality control method for multimedia applications. The method takes as input an application software composed of actions. The…”
Get full text

Runtime Verification of Timed Properties in Autonomous Robots by Foughali, Mohammed, Bensalem, Saddek, Combaz, Jacques, Ingrand, Felix

“…Throughout the last few decades, researchers and practitioners are showing more and more interest in using formal methods in order to predict and prevent…”
Get full text

Unraveling the Hidden Environmental Impacts of AI Solutions for Environment by Ligozat, Anne-Laure, Lefèvre, Julien, Bugeau, Aurélie, Combaz, Jacques

“…In the past ten years, artificial intelligence has encountered such dramatic progress that it is now seen as a tool of choice to solve environmental issues and…”
Get full text

Correct Implementation of Open Real-Time Systems by Abdellatif, T., Combaz, J., Poulhiès, Marc

“…Correct and efficient implementation of open real-time systems is still a costly and error-prone process. We present a rigorous model-based implementation…”
Get full text

Effect of Two Different Intramyocellular Lipid Contents on Substrate Utilization During Endurance Exercise and Performance by Zehnder, Monica G., Christ, Emanuel R., Ith, Michael, Kreis, Roland, Boesch, Chris, D??combaz, Jacques

Get full text

Optimized distributed implementation of timed component-based systems by Triki, Ahlem, Combaz, Jacques, Bensalem, Saddek

“…Distributed implementation of real-time systems has always been a challenging task. The coordination of components executing on a distributed platform has to…”
Get full text

Influence of Diet on the Response of GH-IGF-I Axis and Ghrelin Secretion during Endurance Exercise in Trained Athletes by Christ, Emanuel R., Zehnder, Monica G., Trepp, Roman, Mullis, Primus E., Boesch, Chris, Diem, Peter, D??combaz, Jacques

Get full text

Using neural networks for quality management by Jaber, M., Combaz, J., Strus, L., Fernandez, J.-C.

“…We present a method for fine grain QoS control of multimedia applications. This method takes as input an application software composed of actions. The…”
Get full text

Compositional Verification for Timed Systems Based on Automatic Invariant Generation by Astefanoaei, Lacramioara, Rayana, Souha Ben, Bensalem, Saddek, Bozga, Marius, Combaz, Jacques

“…Logical Methods in Computer Science, Volume 11, Issue 3 (September 17, 2015) lmcs:1591 We propose a method for compositional verification to address the state…”
Get full text

Fine Grain QoS Control for Multimedia Application Software by Combaz, Jacques, Fernandez, Jean-Claude, Lepley, Thierry, Sifakis, Joseph

“…We propose a method for fine grain QoS control of dataflow applications. We assume that the application software is described as the composition of actions…”
Get full text

A stochastic approach for fine grain QoS control by Combaz, J., Strus, L.

“…We present a method for fine grain QoS control of multimedia applications. This method takes as input an application software composed of actions parameterized…”
Get full text

Using Speed Diagrams for Symbolic Quality Management by Combaz, Jacques, Fernandez, Jean-Claude, Sifakis, Joseph, Strus, Loic

“…We present a quality management method for multimedia applications. The method takes as input an application software composed of actions. The execution times…”
Get full text