Skip to Main content Skip to Navigation

Search by documents

hal-01589479v1  Conference papers
Ning GeMarc PantelSilvano Dal Zilio. Formal Verification of User-Level Real-Time Property Patterns
11th International Symposium on Theoretical Aspects of Software Engineering (TASE 2017), Sep 2017, Sophia Antipolis, France. 8p
hal-01289687v1  Conference papers
Soukayna M'SirdiWenceslas GodardMarc Pantel. A Multi-Core Interference-Aware Schedulability Test for IMA Systems, as a Guide for SW/HW Integration
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
hal-00646426v1  Conference papers
Benoit CombemaleXavier CrégutArnaud DieumegardMarc PantelFaiez Zalila. Teaching MDE through the Formal Verification of Process Models
7th Educators' Symposium @ MODELS 2011: Software Modeling in Education (EduSymp2011), Marion Brandsteidl; Andreas Winter, Oct 2011, Wellington, New Zealand
hal-01430628v1  Conference papers
John Paul GibsonIdir Ait-SadouneMarc Pantel. Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.
7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece
hal-00653367v1  Conference papers
Ricardo Bedin FrançaSandrine BlazyDenis Favre-FelixXavier LeroyMarc Pantel et al.  Formally verified optimizing compilation in ACG-based flight control software
ERTS2 2012: Embedded Real Time Software and Systems, AAAF, SEE, Feb 2012, Toulouse, France
hal-03172263v1  Conference papers
Faiez ZalilaXavier CrégutMarc Pantel. A DSL to Feedback Formal Verification Results
13th Model-Driven Engineering, Verification and Validation Workshop at MODELS conference 2016 (MoDeVVa 2016), Oct 2016, Saint Malo, France. pp.30--39
hal-00730738v1  Conference papers
Jean-Christophe BachPierre-Etienne MoreauMarc Pantel. Tom-based tools to transform EMF models in avionics context
ITSLE - Industrial Track of Software Language Engineering 2012, Sep 2012, Dresden, Germany
hal-00961133v1  Journal articles
Timothy WangRomain JobredeauxMarc PantelPierre-Loïc GarocheEric Féron et al.  Credible Autocoding of Convex Optimization Algorithms
Optimization and Engineering, Springer Verlag, 2016, 17 (4), pp.781-812
hal-00926244v1  Conference papers
Benoit CombemaleJulien DeantoniRobert FranceFrédéric BoulangerSébastien Mosser et al.  Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013)
GEMOC+AMINO@MoDELS: GEMOC - 1st International Workshop On the Globalization of Modeling Languages (2013), Sep 2013, Miami, United States. pp.3-13
hal-00739332v1  Conference papers
Benoit CombemaleXavier CrégutMarc Pantel. A Design Pattern to Build Executable DSMLs and associated V&V tools
The 19th Asia-Pacific Software Engineering Conference (APSEC 2012), Dec 2012, Hong Kong, Hong Kong SAR China
hal-02272323v1  Conference papers
Ning GeMarc PantelXavier Crégut. Probabilistic Failure Analysis in Model V&V
Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
hal-02272309v1  Conference papers
Andres ToomArnaud DieumegardMarc Pantel. Specifying and Verifying Model Transformations for Certified Systems using Transformation Models
Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
hal-01316816v1  Conference papers
Arnaud DieumegardMarc PantelGuillaume BabinMartin Carton. Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs
15th International Workshop on OCL and Textual Modeling Workshop at the MODELS conference (OCL-TM 2015) co-located with 18th International Conference on Model Driven Engineering Languages and Systems, Sep 2015, Ottawa, Canada. pp. 89-104
hal-03155039v1  Book sections
Guillaume BabinYamine Aït-AmeurMarc Pantel. A generic model for system substitution
Romanovsky, Alexander; Ishikawa, Fuyuki. Trustworthy Cyber-Physical Systems Engineering, 4, Chapman & Hall, CRC Press, pp.75--103, 2016, Computer and Information Science Series, 978-1498742450
hal-03116284v1  Conference papers
Faiez ZalilaEric JennMarc Pantel. Model Execution and Debugging - A Process to Leverage Existing Tools
International Conference on Model-Driven Engineering and Software Development, Feb 2017, Porto, Portugal. pp.401--408, ⟨10.5220/0006143104010408⟩
hal-03012569v1  Conference papers
Guillaume DupontYamine Aït-AmeurMarc PantelNeeraj Kumar Singh. Handling Refinement of Continuous Behaviors: A Refinement and Proof Based Approach with Event-B
13th International Symposium on Theoretical Aspects of Software Engineering - TASE 2019, Jul 2019, Guilin, China. ⟨10.1109/TASE.2019.00-25⟩
hal-02267640v1  Conference papers
Andres ToomNassima IzerroukenTonu NaksMarc PantelOlivier Ssi Yan Kai. Towards Reliable Code Generation with an Open Tool: Evolutions of the Gene-Auto toolset
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France
hal-02189894v1  Conference papers
Mounira KezadriMarc Pantel. First steps toward a Verification and Validation Ontology
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
hal-01914210v1  Conference papers
John Paul GibsonPeter Gorm LarsenMarc PantelJohn FitzgeraldJim Woodcock. Cyber-physical systems engineering: an introduction
ISOLA 2018: 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Nov 2018, Limassol, Cyprus. pp.407 - 410, ⟨10.1007/978-3-030-03424-5_27⟩
hal-02263437v1  Conference papers
Matteo BordinTonu NaksAndres ToomMarc Pantel. Compilation of Heterogeneous Models: Motivations and Challenges
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
hal-01222999v1  Conference papers
Florent LatombeXavier CrégutJulien DeantoniMarc PantelBenoit Combemale. Coping with Semantic Variation Points in Domain-Specific Modeling Languages
1st International Workshop on Executable Modeling (EXE'15), co-located with MODELS'15, 2015, Ottawa, Canada
hal-01782961v1  Conference papers
Neeraj Kumar SinghYamine Aït-AmeurMarc PantelArnaud DieumegardEric Jenn. Stepwise formal modeling and verification of Self-Adaptive systems with Event-B. The automatic rover protection case study
21th International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Nov 2016, Dubaï, United Arab Emirates. pp.1-10, ⟨10.1109/ICECCS.2016.015⟩
hal-01024067v1  Conference papers
Mounira KezadriMarc PantelBenoit CombemaleXavier Thirioux. A formal framework to prove the correctness of model driven engineering composition operators