Filtrer vos résultats
- 89
- 11
- 60
- 25
- 8
- 7
- 7
- 98
- 1
- 1
- 2
- 3
- 2
- 6
- 6
- 7
- 6
- 9
- 1
- 9
- 1
- 8
- 6
- 3
- 6
- 4
- 5
- 5
- 1
- 4
- 3
- 2
- 96
- 4
- 78
- 38
- 17
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 100
- 51
- 23
- 12
- 12
- 10
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 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
100 résultats
An Event-B model of the hybrid ERTMS/ETCS level 3 standardAbstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, Jun 2018, Southampton, United Kingdom. pp.353-366, ⟨10.1007/978-3-319-91271-4_24⟩
Communication dans un congrès
hal-01797810v1
|
|||
An Event-B-based approach to model and verify behaviors for component-based applicationsThe Computer Journal, 2021, 65 (10), pp.2780-2800. ⟨10.1093/comjnl/bxab115⟩
Article dans une revue
hal-03545928v1
|
|||
|
|
Proving non-interference on reachability properties : a refinement approachAPSEC 2011 : 18th Asia Pacific Software Engineering Conference, Dec 2011, Ho Chi Minh, Vietnam. pp.25 - 32, ⟨10.1109/APSEC.2011.35⟩
Communication dans un congrès
hal-01302414v1
|
||
An overview of a proof-based approach to detecting C vulnerabilitiesSAC 2011 : 26th Symposium on Applied Computing, Mar 2011, Taichung, Taiwan. pp.1343 - 1344, ⟨10.1145/1982185.1982476⟩
Communication dans un congrès
hal-01303015v1
|
|||
Validating the RBAC ANSI 2012 standard using BABZ 2014 : 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Jun 2014, Toulouse, France. pp.255 - 270, ⟨10.1007/978-3-662-43652-3_22⟩
Communication dans un congrès
hal-01264810v1
|
|||
UB2SQL : a tool for building database applications using UML and B formal methodDatabase technologies : concepts, methodologies, tools, and applications, IGI Global, pp.1168-1188, 2009, ⟨10.4018/978-1-60566-058-5.ch067⟩
Chapitre d'ouvrage
hal-00597321v1
|
|||
Intrusion detection using ASTDsAINA 2020: 34th international conference on Advanced Information Networking and Applications, Apr 2020, Caserta, Italy. pp.1397-1411, ⟨10.1007/978-3-030-44041-1_118⟩
Communication dans un congrès
hal-02975779v1
|
|||
|
|
An Event-B model of an automotive adaptive exterior light systemABZ 2020: 7th international conference on Rigorous State-Based Methods, May 2020, Ulm, Germany. pp.351-366, ⟨10.1007/978-3-030-48077-6_28⟩
Communication dans un congrès
hal-02975783v1
|
||
Using a Formal Refinement to Derive Relational Database Implementations from B Specifications[Research Report] CEDRIC-00-86, CEDRIC Lab/CNAM. 2000
Rapport
hal-01124516v1
|
|||
|
|
Formal representation of SysML/KAOS domain model[Research Report] LACL, Université Paris-Est/Créteil. 2019
Rapport
hal-02874826v1
|
||
Intrusion detection systems: a cross-domain overviewCommunications Surveys and Tutorials, IEEE Communications Society, 2019, 21 (4), pp.3639 - 3681. ⟨10.1109/COMST.2019.2922584⟩
Article dans une revue
hal-02403911v1
|
|||
Formal development of a secure access control filterHASE 2016 : 17th International Symposium on High-Assurance Systems Engineering, Jan 2016, Orlando, Florida, United States. pp.173 - 180, ⟨10.1109/HASE.2016.10⟩
Communication dans un congrès
hal-01298113v1
|
|||
|
|
Parameterized verification of monotone information systemsFormal Aspects of Computing, 2018, 30 (3-4), pp.463 - 489. ⟨10.1007/s00165-018-0460-8⟩
Article dans une revue
hal-01847131v1
|
||
A systematic approach to integrate common timed security rules within a TEFSM-based system specificationInformation and Software Technology, 2012, 54 (1), pp.87-98. ⟨10.1016/j.infsof.2011.07.004⟩
Article dans une revue
istex
hal-00711778v1
|
|||
From UML Diagrams to B SpecificationsHenri Habrias, France Marc Frappier. Software Specification Methods : an Overview Using a Case Study, ISTE - London, pp.59 - 80, 2006
Chapitre d'ouvrage
hal-00145958v1
|
|||
Building correct hybrid systems using Event-B and sagemath: Illustration by the hybrid smart heating system case study2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS), Mar 2022, Hiroshima, Japan. ⟨10.1109/ICECCS54210.2022.00019⟩
Communication dans un congrès
hal-03916803v1
|
|||
UB2SQL : a tool for building database applications using UML and B formal methodAdvanced principles for improving database design, systems modeling, and software development, Information Science Publishing, pp.111 - 131, 2008, Advances in Database Research, 978-1-60566-172-8. ⟨10.4018/978-1-60566-172-8.ch007⟩
Chapitre d'ouvrage
hal-01326381v1
|
|||
Event-B expression and verification of translation rules between SysML/KAOS domain models and B system specificationsABZ 2018 : 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Jun 2018, Southampton, United Kingdom. pp.55--70, ⟨10.1007/978-3-319-91271-4_5⟩
Communication dans un congrès
hal-01797812v1
|
|||
A SPIN-based approach for detecting vulnerabilities in C programsPSSV 2011 : 2nd Workshop on Program Semantics, Specification and Verification : Theory and Applications, Jun 2011, St Petersburg, Russia. pp.131 - 143
Communication dans un congrès
hal-01465027v1
|
|||
Verification of SGAC Access Control Policies Using Alloy and ProB18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017, Jan 2017, Singapore, Singapore. pp.120 - 123, ⟨10.1109/HASE.2017.24⟩
Communication dans un congrès
hal-01574899v1
|
|||
A verification and deployment approach for elastic component-based applicationsFormal Aspects of Computing, 2017, 29 (6), pp.987 - 1011. ⟨10.1007/s00165-017-0425-3⟩
Article dans une revue
hal-01692537v1
|
|||
UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method.Journal of Database Management, 2006, 17 (4), pp.70-89
Article dans une revue
hal-01224665v1
|
|||
Réutilisation des preuves dans le processus de raffinement B[Research Report] CEDRIC-01-377, CEDRIC Lab/CNAM. 2001
Rapport
hal-01124730v1
|
|||
Génération de code exécutable à partir d'une spécification B : applications aux bases de donnéesApproches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04, 2004, Besançon, France. pp.77--91
Communication dans un congrès
hal-01224671v1
|
|||
|
|
Industrialising a proof-based verification approach of computerised interlocking systemsCOMPRAIL '08 : Eleventh International Conference on Computer System Design and Operation in the Railway and Other Transit Systems, Sep 2008, Toledo, Spain. ⟨10.2495/CR080151⟩
Communication dans un congrès
hal-00796378v1
|
||
UML2SQL: Un environment intégré pour le développement d'implémentations relationnelles à partir de diagrammes UMLAFADL'04, Jan 2004, X, France
Communication dans un congrès
hal-01124911v1
|
|||
An Overview of a Method and its support Tool for Generating B Specifications from UML Notations15th IEEE Int. Conf. on Automated Software Engineering (ASE2000), Grenoble, France, Jan 2000, X, France
Communication dans un congrès
hal-01124519v1
|
|||
Design of an Automatic Prover Dedicated to the Refinement of Database ApplicationsFM'2003, Springer-Verlag, LNCS n° 2805, pp 834-854, Pise,Italy, Jan 2003, X, France
Communication dans un congrès
hal-01124709v1
|
|||
Systematic Identification of Preconditions from Set-Based Integrity ConstraintsINFORSID'06, Hammamet, Tunisie, Jan 2006, X, France. pp.595-610
Communication dans un congrès
hal-01125172v1
|
|||
A formal approach based on UML and B for the specification and development of database applicationsAutomated Software Engineering, 2006, 13 (4), pp.497-528
Article dans une revue
hal-00147056v1
|