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
ICFEM'14 - 16TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, Nov 2014, Luxembourg, Luxembourg