Accéder directement au contenu Accéder directement à la navigation
  1. Recherche


hal-00913335v1  Communication dans un congrès
Jean-Philippe Schneider, Zoé Drey, Jean-Christophe Le Lann. Early exploring design alternatives of smart sensor software with Model of Computation implemented with actors
ESUG 2013 - 21th International Smalltalk Conference, Sep 2013, Annecy, France
...
hal-00914377v1  Communication dans un congrès
Stephen Creff, Joël Champeau. PLiMoS, a DSML to Reify Semantics Relationships: An Application to Model-Based Product Lines
MODELS 2013, Sep 2013, Miami, United States
hal-00635904v1  Communication dans un congrès
Amine Raji, Philippe Dhaussy. User context models : a framework to ease software formal verifications
ICEIS'10 - International Conference on Enterprise Information Systems, Jun 2010, Madeire, Portugal
...
hal-03494430v1  Communication dans un congrès
Andreas Rauh, Auguste Bourgois, Luc Jaulin, Julia Kersten. Ellipsoidal Enclosure Techniques for a Verified Simulation of Initial Value Problems for Ordinary Differential Equations
2021 International Conference on Control, Automation and Diagnosis (ICCAD), Nov 2021, Grenoble, France. pp.1-6, ⟨10.1109/ICCAD52417.2021.9638755⟩
...
hal-03619435v1  Article dans une revue
Andreas Rauh, Simon Rohou, Luc Jaulin. An Ellipsoidal Predictor-Corrector State Estimation Scheme for Linear Continuous-Time Systems With Bounded Parameters and Bounded Measurement Errors
Frontiers in Control Engineering, Frontiers Media, 2022, ⟨10.3389/fcteg.2022.785795⟩
...
hal-02565053v1  Chapitre d'ouvrage
Laurène Mazeau, Jordan Ninin. Decision-Making and Artificial Intelligence: From Technical Mechanisms to Legal Concepts
Marie-Eve Arbour; Lara Khoury. Concilier la sécurité des produits et la responsabilité civile à l'ère du risque et de l'incertitude, Éditions Yvon Blais, 2019, 9782897305543
hal-01006697v1  Communication dans un congrès
Philippe Dhaussy, Ciprian Teodorov. Context-aware Veri cation of a Landing Gear System
ABZ 2014, Jun 2014, Toulouse, France. pp.52-65
hal-00636875v1  Communication dans un congrès
Amine Raji, Philippe Dhaussy. Use Cases Modeling for Scalable Model-Checking
APSEC'11, Dec 2011, Minh City, Vietnam
hal-01006128v1  Communication dans un congrès
Loïc Lagadec, Jean-Christophe Le Lann, Théotime Bollengier. A Prototyping Platform for Virtual Reconfigurable Units
RECOSOC 2014, May 2014, Montpellier, France
hal-00738772v1  Communication dans un congrès
Stephen Creff, Joël Champeau, Jean-Marc Jézéquel. Model-Based Product Line Evolution: an Incremental Growing by Extension
16th International Software Product Line Conference SPLC 2012, Sep 2012, El Salvador. pp.107-114
hal-00635594v1  Communication dans un congrès
Papa Issa Diallo, Joël Champeau, Vincent Leilde. Model Based Engineering for the support of Models of Computation: The Cometa Approach
International Workshop on Multi-Paradigm Modeling - MPM 2011, Oct 2011, Wellington, New Zealand. pp.ISSN 1863-2122
hal-01371498v1  Communication dans un congrès
Dominique Monnet, Luc Jaulin, Jordan Ninin, Alexandre Chapoutot, Julien Alexandre Dit Sandretto. Inner and Outer Computation of the Viability Kernel based on Interval Analysis
International Symposium on Set Membership - Applications, Reliability and Theory, Sep 2015, Manchester, United Kingdom
hal-00771748v1  Communication dans un congrès
Stephen Creff, Joël Champeau. Relationships in Variability Modeling Approaches: A Survey and Classification
5ème journée Lignes de Produits, Nov 2012, Villeneuve d'Ascq, France
...
hal-01406604v1  Communication dans un congrès
Vincent Leilde, Vincent Ribaud, Philippe Dhaussy. Model-based Diagnosis Patterns for Model Checking
PAME 2016, Oct 2016, St Malo, France. pp.7-12
hal-01206527v1  Communication dans un congrès
Philippe Dhaussy. Formal Validation with Model-Checking Techniques
ICNTC'2012, Dec 2012, Chlef, Algérie
...
hal-00628532v1  Communication dans un congrès
Jean-Philippe Schneider, Joël Champeau, Dominique Kerjean. Domain-specific modelling applied to inteegration of smart sensors into an information system
ICEIS 2011, Jun 2011, Lille, France. pp.XX
...
tel-02515931v1  Thèse
Ciprian Teodorov. Model-Driven Physical-Design for Future Nanoscale Architectures
Emerging Technologies [cs.ET]. Université de Bretagne Occidentale (UBO), Brest, 2011. English
...
hal-03223740v1  Article dans une revue
Julia Kersten, Andreas Rauh, Harald Aschemann. Analyzing Uncertain Dynamical Systems after State-Space Transformations into Cooperative Form: Verification of Control and Fault Diagnosis
Axioms, MDPI, 2021, 10 (2), pp.88. ⟨10.3390/axioms10020088⟩
...
hal-03593500v1  Article dans une revue
Andreas Rauh, Ekaterina Auer. Interval Extension of Neural Network Models for the Electrochemical Behavior of High-Temperature Fuel Cells
Frontiers in Control Engineering, Frontiers Media, 2022, 3, ⟨10.3389/fcteg.2022.785123⟩
...
hal-01119571v1  Communication dans un congrès
Vincent Ribaud, Ciprian Teodorov, Zoé Drey, Luka Leroux, Philippe Dhaussy. Techniques and Challenges for Trace Processing from a Model-Checking Perspective
International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States