Filtrer vos résultats
- 48
- 9
- 41
- 13
- 2
- 1
- 2
- 56
- 1
- 6
- 1
- 3
- 3
- 3
- 4
- 3
- 5
- 5
- 8
- 1
- 4
- 2
- 4
- 4
- 1
- 54
- 2
- 1
- 55
- 9
- 7
- 6
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 57
- 51
- 14
- 9
- 7
- 6
- 6
- 6
- 6
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
57 résultats
|
|
|
triés par
|
|
|
Verification of AADL Models with Timed Abstract State MachinesJournal of Software, 2015, vol. 26 (n° 2), pp. 202-222
Article dans une revue
hal-01153717v1
|
||
|
|
A Refinement-based compiler development for synchronous languages15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017), Sep 2017, Vienna, Austria. pp.165-174, ⟨10.1145/3127041.3127056⟩
Communication dans un congrès
hal-03624681v1
|
||
|
|
Automatic Refinement for Event-B through Annotated Patterns25th Euromicro International Conference on Parallel, Distributed and network-based Processing (PDP 2017), Mar 2017, Saint Petersburg, Russia. pp.287-290, ⟨10.1109/PDP.2017.72⟩
Communication dans un congrès
hal-01887899v1
|
||
Advanced transformation rules for structured document applicationsproceedings of the 8th International Conference on Electronic Document (CIDE'05), 2005, France
Communication dans un congrès
hal-00324847v1
|
|||
Synoptic: a domain-specific modeling language for space on-board application softwareSynthesis of embedded software, frameworks and methodologies for correctness by construction, Springer, pp.79 - 119, 2010, Engineering, 978-1-4419-6399-4. ⟨10.1007/978-1-4419-6400-7_3⟩
Chapitre d'ouvrage
istex
hal-02061818v1
|
|||
|
|
SPaCIFY: a Formal Model-Driven Engineering for Spacecraft On-Board Software5th European Congress on Embedded Real Time Software and Systems (ERTS2 2010), AAAF : Association Aéronautique et Astronautique de France; SEE : French Electrical, Electronics, and Information & Communication Technologies Society; SIA: Société des Ingénieurs de l'Automobile, May 2010, Toulouse, France
Communication dans un congrès
hal-02267838v1
|
||
|
|
Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol23rd International Symposium on Formal Methods (FM 2019), FME: Formal Methods Europe, Oct 2019, Porto, Portugal. pp.45-63, ⟨10.1007/978-3-030-30942-8_5⟩
Communication dans un congrès
hal-02332531v1
|
||
|
|
Towards the verification of model transformations3rd Conference on Embedded Real Time Software and Systems (ERTS 2006), Jan 2006, Toulouse, France
Communication dans un congrès
hal-02270435v1
|
||
|
|
Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNALFrontiers of Computer Science, 2019, 13 (4), pp.715-734. ⟨10.1007/s11704-017-6485-y⟩
Article dans une revue
hal-02419464v1
|
||
|
|
Un processus de développement Event-B pour des applications distribuées15emes 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
Communication dans un congrès
hal-01500510v1
|
||
|
|
Polychronous interpretation of synoptic, a domain specific modeling language for embedded flight-softwareFM 09 - Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands. pp.80-87, ⟨10.4204/EPTCS.20.9⟩
Communication dans un congrès
hal-00624134v1
|
||
|
|
Real-Time Model Checking Support for AADL[Research Report] LAAS-CNRS. 2015
Rapport
hal-01121605v1
|
||
|
|
Formal Verification of AADL models with Fiacre and TinaERTSS 2010 - Embedded Real-Time Software and Systems, 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies; SIA: the French Society of Automobive Engineers, May 2010, Toulouse, France. pp.1-9, ⟨10.5281/zenodo.32930⟩
Communication dans un congrès
hal-00494348v1
|
||
|
|
Verification Based Development Process for Embedded SystemsEuropean conference on Embedded Real Time Software & Systems (ERTS2 2010), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies; SIA: the French Society of Automobive Engineers, May 2010, Toulouse, France. pp.1-10
Communication dans un congrès
hal-02267842v1
|
||
|
|
Towards a formal semantics for AADL execution model4th European Congress on Embedded Real Time Software and Systems (ERTS 2008), 3AF : Association Aéronautique et Astronautique de France; SEE : Société de l'électricité, de l'électronique et des technologies de l'information et de la communication, Jan 2008, Toulouse, France
Communication dans un congrès
hal-02269846v1
|
||
|
|
Event-B formalization of a variability-aware component model patterns frameworkScience of Computer Programming, 2020, 199, ⟨10.1016/j.scico.2020.102511⟩
Article dans une revue
hal-03097697v1
|
||
|
|
The COTRE Project: How to model and verify Real Time Architecture?2nd Embedded Real Time Software Congress (ERT 2004), SIA; SEE; AAAF, Jan 2004, Toulouse, France
Communication dans un congrès
hal-02271255v1
|
||
|
|
Formal Verification of AADL Specifications in the Topcased EnvironmentReliable Software Technologies - Ada Europe 2009, Jun 2009, Brest, France. 15p., ⟨10.1007/978-3-642-01924-1_15⟩
Communication dans un congrès
hal-01790208v1
|
||
The AADL behaviour annex -- experiments and roadmapInternational Conference on Engineering Complex Computer Systems, 2007, Auckland, New Zealand. pp.377-382, ⟨10.1109/ICECCS.2007.41⟩
Communication dans un congrès
hal-00784976v1
|
|||
|
|
Modes in Asynchronous Systems13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), Mar 2008, Belfast, Ireland. pp.282 - 287, ⟨10.1109/ICECCS.2008.28⟩
Communication dans un congrès
hal-00784986v1
|
||
|
|
A Mechanized Semantic Framework for Real-Time Systems11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013), Aug 2013, Buenos Aires, Argentina. pp.106-120, ⟨10.1007/978-3-642-40229-6_8⟩
Communication dans un congrès
hal-01231769v1
|
||
|
|
Event algebra for transition systems composition Application to timed automataActa Informatica, 2018, 55, pp.363-400. ⟨10.1007/s00236-017-0302-9⟩
Article dans une revue
hal-02538359v1
|
||
|
|
C2AADL_Reverse: A model-driven reverse engineering approach to development and verification of safety-critical softwareJournal of Systems Architecture, 2021, 118, pp.102202. ⟨10.1016/j.sysarc.2021.102202⟩
Article dans une revue
hal-03411219v1
|
||
Formal Simulation and Verification of Solidity contracts in Event-B45th IEEE Annual Computers, Software, and Applications Conference (COMPSAC 2021), IEEE, Jul 2021, Madrid, Spain. pp.1309-1314, ⟨10.1109/COMPSAC51774.2021.00183⟩
Communication dans un congrès
hal-03411229v1
|
|||
|
|
From AADL to Timed Abstract State Machines: A Verified Model TransformationJournal of Systems and Software, 2014, vol. 93, pp. 42-68. ⟨10.1016/j.jss.2014.02.058⟩
Article dans une revue
hal-01123837v1
|
||
|
|
Synoptic: a DSML for On-Board Real-Time Software Design5th European Congress on Embedded Real Time Software and Systems (ERTS2 2010), May 2010, Toulouse, France
Communication dans un congrès
hal-02267722v1
|
||
|
|
Supporting the Design of Safety Critical Systems Using AADL15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2010), IEEE, Mar 2010, Oxford, United Kingdom. pp.331-336, ⟨10.1109/ICECCS.2010.56⟩
Communication dans un congrès
hal-03900243v1
|
||
|
|
A refinement-based compiler development for synchronous languages15th International Conference on Formal Methods and Models for System Design (MEMOCODE 2017), ACM; SIGBED; SIGDA; IEEE CEDA; IEEE CAS, Sep 2017, Vienne, Austria. pp.165-174, ⟨10.1145/3127041.3127056⟩
Communication dans un congrès
hal-03764356v1
|
||
|
|
Pattern-based requirements development9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
Communication dans un congrès
hal-01708993v1
|
||
|
|
A Verified Transformation: From Polychronous Programs to a Variant of Clocked Guarded Actions17th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2014), SIGBED: Special Interest Group on Embedded Systems, Jun 2014, Sankt Goar, Germany. pp.128-137, ⟨10.1145/2609248.2609259⟩
Communication dans un congrès
hal-04080835v1
|
- 1
- 2