Search - Archive ouverte HAL Access content directly

Filter your results

105 Results
Image document

Model Execution and Debugging: A process to leverage existing tools

Faiez Zalila , Eric Jenn , Marc Pantel
ModelsWard (5th International Conference on Model-Driven Engineering and Software Development), Feb 2017, Porto, Portugal. pp. 401-408
Conference papers hal-01784172v1

Correct-by-construction model driven engineering composition operators

Mounira Kezadri , Marc Pantel , Xavier Thirioux , Benoit Combemale
Formal Aspects of Computing, 2016, 28 (3), ⟨10.1007/s00165-016-0354-6⟩
Journal articles hal-01319576v1

An Overview of the GRID-TLSE Project

Michel Daydé , Luc Giraud , M. Hernandez , Jean-Yves L'Excellent , Marc Pantel , et al.
VECPAR'04, Universidad Politécnica de Valencia, Jun 2004, Valence, Spain
Conference papers hal-00688814v1
Image document

Formal specification of block libraries in dataflow languages

Arnaud Dieumegard , Andres Toom , Marc Pantel
Embedded Real Time Software and Systems (ERTS 2014), Feb 2014, Toulouse, France
Conference papers hal-02272313v1

Formal Verification of Runtime Compensation of Web Service Compositions: A Refinement and Proof Based Proposal with Event-B

Guillaume Babin , Yamine Aït-Ameur , Marc Pantel
IEEE International Conference on Services Computing (SCC 2015), Jun 2015, New York, NY, United States. pp.98--105, ⟨10.1109/SCC.2015.23⟩
Conference papers hal-03198269v1
Image document

Handling Refinement of Continuous Behaviors: A Refinement and Proof Based Approach with Event-B

Guillaume Dupont , Yamine Aït-Ameur , Marc Pantel , Neeraj Kumar Singh
13th International Symposium on Theoretical Aspects of Software Engineering - TASE 2019, Jul 2019, Guilin, China. ⟨10.1109/TASE.2019.00-25⟩
Conference papers hal-03012569v1

Probabilistic failure analysis in model Validation &Verification (ERTS 2014)

Ning Ge , Marc Pantel , Xavier Crégut
7th European Conference on Embedded Real Time Software and Systems (ERTS 2014), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics; Information & Communication Technologies, Feb 2014, Toulouse, France. pp.(electronic medium)
Conference papers hal-03230717v1
Image document

An Event-B Based Generic Framework for Hybrid Systems Formal Modelling

Guillaume Dupont , Yamine Aït-Ameur , Marc Pantel , Neeraj Kumar Singh
16th International Conference on Integrated Formal Methods (IFM 2020), Nov 2020, Lugano (virtual), Switzerland. pp.82-102, ⟨10.1007/978-3-030-63461-2_5⟩
Conference papers hal-03265788v1

Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B

Guillaume Dupont , Yamine Aït-Ameur , Marc Pantel , Neeraj Singh
7th International Conference on Rigorous State-Based Methods (ABZ 2020), May 2020, Ulm, Germany. pp.169-185, ⟨10.1007/978-3-030-48077-6_12⟩
Conference papers hal-03266062v1

Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method

Guillaume Babin , Yamine Aït-Ameur , Marc Pantel
IEEE Transactions on Services Computing, 2017, 10 (1), pp.107--120. ⟨10.1109/TSC.2016.2594782⟩
Journal articles hal-03116279v1
Image document

Synoptic: a DSML for On-Board Real-Time Software Design

Alexandre Cortier , J P Bodeveix , M Filali , Gérald Garcia , E. Morand , et al.
5th European Congress on Embedded Real Time Software and Systems (ERTS2 2010), May 2010, Toulouse, France
Conference papers hal-02267722v1
Image document

Time Properties Dedicated Transformation from UML-MARTE Activity to Time Petri Net

Ning Ge , Marc Pantel , Xavier Crégut
2012
Preprints, Working Papers, ... hal-00686986v1
Image document

A transformation-driven approach to automate feedback verification results

Faiez Zalila , Xavier Crégut , Marc Pantel
3rd International Conference On Model and Data Engineering (MEDI 2013), Sep 2013, Amantea, Calabria, Italy. pp. 266-277
Conference papers hal-01231772v1
Image document

Introducing Simulation and Model Animation in the MDE Topcased Toolkit

Benoit Combemale , Xavier Crégut , Jean-Pierre Giacometti , Pierre Michel , Marc Pantel
4th European Congress EMBEDDED REAL TIME SOFTWARE (ERTS), Jan 2008, Toulouse, France, France. http://www.erts2008.org/
Conference papers hal-00371596v1
Image document

Concurrency-aware eXecutable Domain-Specific Modeling Languages as Models of Concurrency

Florent Latombe , Xavier Crégut , Marc Pantel
2nd International Workshop on Executable Modeling (EXE 2016), Oct 2016, Saint-Malo, France. pp.12-18
Conference papers hal-01357001v1
Image document

Automated Failure Analysis in Model Checking based on Data Mining

Ning Ge , Marc Pantel , Xavier Crégut
4th International Conference On Model and Data Engineering, Sep 2014, Larnaca, Cyprus. pp.13-28, ⟨10.1007/978-3-319-11587-0_4⟩
Conference papers hal-03252269v1

A software product line approach for semantic specification of block libraries in dataflow languages

Arnaud Dieumegard , Andres Toom , Marc Pantel
18th Software Product Line Conference (SPLC 2014), Sep 2014, Florence, Italy. pp.217-218, ⟨10.1145/2648511.2648534⟩
Conference papers hal-03252266v1

Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems

Arnaud Dieumegard , Andres Toom , Marc Pantel
International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2016), Sep 2016, Pise, Italy. pp.117--132, ⟨10.1007/978-3-319-45943-1_8⟩
Conference papers hal-03172262v1
Image document

A DSL to Feedback Formal Verification Results

Faiez Zalila , Xavier Crégut , Marc Pantel
13th Model-Driven Engineering, Verification and Validation Workshop at MODELS conference 2016 (MoDeVVa 2016), Oct 2016, Saint Malo, France. pp.30--39
Conference papers hal-03172263v1
Image document

Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation

Pierre-Loïc Garoche , Marc Pantel , Xavier Thirioux
IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Jun 2006, Bologne, Italy. pp.78-92, ⟨10.1007/11768869_8⟩
Conference papers hal-00116251v1

Use of A Network Enabled Server System for a Sparse Linear Algebra Application

Eddy Caron , Frédéric Desprez , Jean-Yves L'Excellent , Christophe Hamerling , Marc Pantel , et al.
Workshop on Future Generation Grids, Nov 2006, Dagstuhl, Germany. pp.171-193, ⟨10.1007/978-0-387-29445-2_10⟩
Conference papers hal-00688781v1
Image document

Online diagnosis of accidental faults for real-time embedded systems using a hidden Markov model

Ning Ge , Shin Nakajima , Marc Pantel
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2015, vol. 91 (n° 10), pp. 851-868
Journal articles hal-01316834v1
Image document

A UML-MARTE Temporal Property Verification Tool based on Model Checking

Ning Ge , Marc Pantel , Xavier Crégut
International Conference on Embedded Real Time Software and Systems (ERTS 2014), Feb 2014, Toulouse, France
Conference papers hal-01408375v1
Image document

Generative technologies for model animation in the TopCased platform

Xavier Crégut , Benoit Combemale , Marc Pantel , Raphaël Faudoux , Jonatas Pavei
6th European Conference on Modelling Foundations and Applications (ECMFA 2010), 2010, Paris, France, South Africa. pp.90--103
Conference papers inria-00504667v1
Image document

Credible Autocoding of Convex Optimization Algorithms

Timothy Wang , Romain Jobredeaux , Marc Pantel , Pierre-Loïc Garoche , Eric Féron , et al.
Optimization and Engineering, 2016, 17 (4), pp.781-812. ⟨10.1007/s11081-016-9320-7⟩
Journal articles hal-00961133v1
Image document

Verification of Synchronization-Related Properties for UML-MARTE RTES Models with a Set of Time Constraints Dedicated Formal Semantic

Ning Ge , Marc Pantel
2012
Preprints, Working Papers, ... hal-00677925v1
Image document

Verification of the Schorr-Waite Algorithm - From Trees to Graphs

Mathieu Giorgino , Martin Strecker , Ralph Matthes , Marc Pantel
Logic-Based Program Synthesis and Transformation, Jul 2010, Hagenberg, Austria. pp.67-83, ⟨10.1007/978-3-642-20551-4_5⟩
Conference papers hal-00601440v1
Image document

Efficient Online Analysis of Accidental Fault Localization for Dynamic Systems using Hidden Markov Model

Ning Ge , Shin Nakajima , Marc Pantel
Symposium on Theory and Modeling of Simulation (TMS/DEVS 2013), Apr 2013, San Diego, CA, United States. pp.1-8
Conference papers hal-03668914v1

Event-B Refinement for Continuous Behaviours Approximation

Guillaume Dupont , Yamine Aït-Ameur , Marc Pantel , Neeraj Singh
19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021), Oct 2021, Gold Coast, QLD, Australia. pp.320-336, ⟨10.1007/978-3-030-88885-5_21⟩
Conference papers hal-03385081v1
Image document

Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B

Guillaume Dupont , Yamine Ait-Ameur , Neeraj Kumar Singh , Marc Pantel
Science of Computer Programming, 2022, 216, pp.102765. ⟨10.1016/j.scico.2021.102765⟩
Journal articles hal-03513847v1