96 results  save search

hal-01402565v1  Conference papers
Ning GeShin NakajimaMarc Pantel. Hidden Markov Model Based Automated Fault Localization for Integration Testing
4th International Conference on Software Engineering and Service Science (ICSESS 2013), May 2013, Beijing, China. pp. 1-4
hal-01429567v1  Conference papers
Hrachya AstsatryanEddy CaronMichel DaydéAurélie HuraultMarc Pantel. On defining a web interface for linear algebra tasks over computational grids
International Conference on Computer Science and Information Technologies (CSIT'07), Sep 2007, Yerevan, Armenia
hal-01500510v1  Conference papers
Badr SialaMohamed Tahar BhiriJean-Paul BodeveixMamoun Filali. Un processus de développement Event-B pour des applications distribuées
15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), en collaboration avec les journées du GDR GPL, Jun 2016, Besançon, France. pp. 94-100
hal-01231765v1  Conference papers
Abdeldjalil BoudjadarFrits VaandragerJean-Paul BodeveixMamoun Filali. Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems
5th International Conference on Fundamentals of Software Engineering (FSEN 2013), Apr 2013, Tehran, Iran. pp.111-132
hal-01231769v1  Conference papers
Manuel GarnachoJean-Paul BodeveixMamoun Filali. A Mechanized Semantic Framework for Real-Time Systems
11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013), Aug 2013, Buenos Aires, Argentina. pp. 106-120
hal-00457182v1  Conference papers
Jean-Paul BodeveixMamoun FilaliJulia LawallGilles Muller. Formal Methods Meet Domain Specific Languages
The 5th International Conference on Integrated Formal Methods, 2005, Eindhoven, The Netherlands, Netherlands. pp.187-206
hal-00457183v1  Conference papers
Jean-Paul BodeveixMamoun FilaliJulia LawallGilles Muller. Applying the B formal method to the Bossa domain-specific language
The 17th Nordic Workshop on Programming Theory (NWPT'05), 2005, Copenhagen, Denmark, Denmark. pp.35-38
hal-01226470v1  Conference papers
Elie FaresJean-Paul BodeveixMamoun FilaliManuel Garnacho. An Automatic Technique for Checking the Simulation of Timed Systems
11th International Symposium Automated Technology for Verification and Analysis (ATVA 2013), Oct 2013, Hanoï, Vietnam. pp. 71-86
hal-00371596v1  Conference papers
Benoit CombemaleXavier CrégutJean-Pierre GiacomettiPierre MichelMarc Pantel. Introducing Simulation and Model Animation in the MDE Topcased Toolkit
4th European Congress EMBEDDED REAL TIME SOFTWARE (ERTS), Jan 2008, Toulouse, France, France. http://www.erts2008.org/
hal-01095002v1  Journal articles
Zhibin YangKai HuDianfu MaJean-Paul BodeveixLei Pi et al.  From AADL to timed abstract state machine: a certified model transformation
Journal of Systems and Software, Elsevier, 2014, Journal of Systems and Software, pp.20
hal-01357001v1  Conference papers
Florent LatombeXavier CrégutMarc Pantel. Concurrency-aware eXecutable Domain-Specific Modeling Languages as Models of Concurrency
2nd International Workshop on Executable Modeling, Oct 2016, Saint-Malo, France
hal-01784172v1  Conference papers
Faiez ZalilaEric JennMarc Pantel. Model Execution and Debugging: A process to leverage existing tools
ModelsWard (5th International Conference on Model-Driven Engineering and Software Development), Feb 2017, Porto, Portugal. pp. 401-408
hal-00494348v1  Conference papers
Bernard BerthomieuJean-Paul BodeveixSilvano Dal ZilioPierre DissauxMamoun Filali et al.  Formal Verification of AADL models with Fiacre and Tina
ERTSS 2010 - Embedded Real-Time Software and Systems, May 2010, TOULOUSE (31000), France. pp.1-9
hal-01185911v1  Conference papers
Florent LatombeXavier CrégutBenoit CombemaleJulien DeantoniMarc Pantel. Weaving Concurrency in eXecutable Domain-Specific Modeling Languages
8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2015, Pittsburg, United States
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
inria-00504667v1  Conference papers
Xavier CrégutBenoit CombemaleMarc PantelRaphaël FaudouxJonatas Pavei. Generative technologies for model animation in the TopCased platform
6th European Conference on Modelling Foundations and Applications (ECMFA 2010), 2010, Paris, France, South Africa. pp.90--103
hal-00784976v1  Conference papers
Ricardo Bedin FrançaJean-Paul BodeveixDavid ChemouilMamoun FilaliJean-François Rolland et al.  The AADL behaviour annex -- experiments and roadmap
International Conference on Engineering Complex Computer Systems, 2007, Auckland, New Zealand. pp.377-382, ⟨10.1109/ICECCS.2007.41⟩
hal-00784986v1  Conference papers
Jean-Paul BodeveixDavid ChemouilMamoun FilaliDave Thomas. Modes in Asynchronous Systems
13th IEEE International Conference on Engineering of Complex Computer Systems, 2008, Belfast, Ireland. pp.282 - 287, ⟨10.1109/ICECCS.2008.28⟩
hal-00784968v1  Conference papers
Jean-Paul BodeveixRaphaël CavalleroDavid ChemouilMamoun FilaliJean-François Rolland. A mapping from AADL to Java-RTSJ
5th international workshop on Java technologies for real-time and embedded systems, 2007, Austria. pp.165-174, ⟨10.1145/1288940.1288965⟩
hal-00784959v1  Conference papers
Jean-Paul BodeveixDavid ChemouilMamoun FilaliMartin Strecker. Towards formalising AADL in Proof Assistants
Formal Foundations of Embedded Software and Component-based Software Architectures 2005, 2005, Edinburgh, United Kingdom. pp.153-169, ⟨10.1016/j.entcs.2005.05.008⟩
hal-00788450v1  Conference papers
Alexandre CortierLoïc BesnardJean-Paul BodeveixJérémy BuissonFabien Dagnat et al.  Synoptic: a domain specific modeling language for embedded flight-software
FMA 2009 : Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands
hal-00689914v1  Conference papers
Hrachya AstsatryanVladimir SahakyanYuri ShoukouryanMichel DaydéAurélie Hurault et al.  A grid-aware web portal with advanced service trading for linear algebra calculations
VECPAR 2008: 8th International Conference High Performance Computing for Computational Science, Jun 2008, Toulouse, France. pp.150-159, ⟨10.1007/978-3-540-92859-1_15⟩
hal-00688814v1  Conference papers
Michel DaydéLuc GiraudM. HernandezJean-Yves l'ExcellentMarc Pantel et al.  An Overview of the GRID-TLSE Project
VECPAR'04, Universidad Politécnica de Valencia, Jun 2004, Valence, Spain