Filtrer vos résultats
- 39
- 37
- 54
- 15
- 3
- 1
- 1
- 1
- 1
- 1
- 68
- 11
- 2
- 1
- 1
- 1
- 14
- 19
- 22
- 13
- 4
- 1
- 1
- 1
- 70
- 4
- 2
- 76
- 8
- 6
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 25
- 21
- 13
- 10
- 9
- 9
- 9
- 8
- 8
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Spectrum sensing based on cumulative power spectral densityEURASIP Journal on Advances in Signal Processing, 2017, 2017 (38), ⟨10.1186/s13634-017-0475-y⟩
Article dans une revue
hal-01699322v1
|
||
A Model Checkable UML Soccer Player3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany
Communication dans un congrès
hal-02375996v1
|
|||
|
REVaMP 2 Project: Towards Round-Trip Engineering of Software Product Lines -Approach, Intermediate Results and ChallengesInternational Conference on Objects, Components, Models and Patterns (TOOLS 2019), Oct 2019, Innopolis, Russia. pp.406-417, ⟨10.1007/978-3-030-29852-4_34⟩
Communication dans un congrès
hal-02428581v1
|
||
|
A Problem-Oriented Approach to Critical System Design and Diagnosis Support1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco
Communication dans un congrès
hal-01933792v1
|
||
Modular Deployment of UML Models for V&V Activities and Embedded ExecutionMoDeVVa, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419227⟩
Communication dans un congrès
hal-02929122v1
|
|||
|
Preference-based Conflict Resolution for Collaborative Configuration of Product LinesInternational Conference on Evaluation of Novel Approaches to Software Engineering, Mar 2020, Prague, Czech Republic
Communication dans un congrès
hal-02502398v1
|
||
|
A New Leader Election Algorithm based on the WBS Algorithm Dedicated to Smart-cities3rd International Conference on Future Networks and Distributed Systems (ICFNDS '19), Jul 2019, Paris, France. pp.1-5, ⟨10.1145/3341325.3342014⟩
Communication dans un congrès
hal-02303247v2
|
||
An Automated Transformation Approach for Requirement SpecificationConf ITQM’16, Aug 2016, Séoul, South Korea
Communication dans un congrès
hal-01864825v1
|
|||
Towards one Model Interpreter for Both Design and Deployment3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States
Communication dans un congrès
hal-01585318v1
|
|||
A High Abstraction Level Constraint for Object Localization in Marine ObservatoriesCSCI 2017, Dec 2017, Las Vegas, United States
Communication dans un congrès
hal-01653617v1
|
|||
|
Domain-oriented Verification Management8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39
Communication dans un congrès
hal-01933794v1
|
||
Using Parallel and Distributed Reachability in Model CheckingRecent Advancement in Computer, Communication and Computational Sciences (RACCCS-2017), Sep 2017, Ajmer, India. pp.143-154, ⟨10.1007/978-981-10-7386-1_12⟩
Communication dans un congrès
hal-01780556v1
|
|||
|
Automatic Verification of BPMN Models10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Communication dans un congrès
hal-02441878v1
|
||
Twiddle Factor Generation Using Chebyshev Polynomials and HDL for Frequency Domain BeamformingApplications in Electronics Pervading Industry, Environment and Society, (Applepies, 2018), Sep 2018, Pisa, Italy
Communication dans un congrès
hal-01936687v1
|
|||
Precise use cases in a context-aware model-checking approachInternational Journal of Critical Computer-Based Systems, 2018, 8 (3/4), ⟨10.1504/IJCCBS.2018.10017704⟩
Article dans une revue
hal-01936730v1
|
|||
|
Finding the polygon hull of a network without conditions on the starting vertexTransactions on emerging telecommunications technologies, 2022, 33 (3), pp.e3696. ⟨10.1002/ett.3696⟩
Article dans une revue
hal-02303242v1
|
||
SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A2019
Proceedings/Recueil des communications
hal-02386136v1
|
|||
|
Apprentissage par projets à l'école primaire avec les filles qui. . .RJC-EIAH 2018 - Atelier "Organisation et suivi des activités d’apprentissage de l’informatique : outils, modèles et expériences", Apr 2018, Besançon, France
Communication dans un congrès
hal-01756178v1
|
||
|
PAnTHErS: A Prototyping and Analysis Tool for Homomorphic Encryption SchemesSECRYPT: 14th International Conference on Security and Cryptography, Jul 2017, Madrid, Spain
Communication dans un congrès
hal-01595789v1
|
||
A multi-company empirical evaluation of a framework that evaluates the convenience of adopting product line engineeringSPLC '20: 24th ACM International Systems and Software Product Line Conference, Oct 2020, Montreal (QC), Canada. pp.13-20, ⟨10.1145/3382026.3425774⟩
Communication dans un congrès
hal-03104184v1
|
|||
|
Early Validation Framework for Critical and Complex Process-Centric Systems20th International Conference (BPMDS 2019) and 24th International Conference (EMMSAD 2019), Jun 2019, Rome, Italy. pp.35-50, ⟨10.1007/978-3-030-20618-5_3⟩
Communication dans un congrès
hal-02149584v1
|
||
Validation formelle d’architecture logicielle basée sur des patrons de sécurité17e journées AFADL 2018, Approches Formelles dans l’Assistance au Développement de Logiciel, Jun 2018, Grenoble, France
Communication dans un congrès
hal-01864805v1
|
|||
Formal verification of security pattern composition: application to SCADACOMPUTING AND INFORMATICS, 2019, 38, pp.1149-1180. ⟨10.31577/cai.2019.5.1149⟩
Article dans une revue
hal-02638911v1
|
|||
|
Temperature-based models of batteries for the simulation of Wireless Sensor Networks3rd International Conferenceon on Future Networks and Distributed Systems, Jul 2019, Paris, France. pp.1-6, ⟨10.1145/3341325.3342013⟩
Communication dans un congrès
hal-02303250v1
|
||
Architecture des ordinateursLoïc Lagadec and Sébastien Pillement and Arnaud Tisserand. Hermes, 32, pp.150, 2013, Technique et science informatique, 9782746245679
Ouvrages
hal-00819668v1
|
|||
|
Soft timing closure for soft programmable logic cores: The ARGen approachARC 2017 - 13th International Symposium on Applied Reconfigurable Computing, Delft University of Technology Apr 2017, Delft, Netherlands
Communication dans un congrès
hal-01475251v1
|
||
Secure Communication Protocol: Application to Large Number of Distributed Sensors17th International Conference on Security and Management (SAM’18), Jul 2018, Las Vegas, United States
Communication dans un congrès
hal-01864790v1
|
|||
|
Transient Key-based Obfuscation for HLS in an Untrusted Cloud Environment2019 Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Mar 2019, Florence, Italy
Communication dans un congrès
hal-02052433v1
|
||
|
Comparando dos estrategias de aprendizaje activo para enseñar Scrum en un curso introductorio de ingeniería de softwareIngeniare : Revista Chilena de Ingeniería, 2020, 28 (1), pp.83-94. ⟨10.4067/S0718-33052020000100083⟩
Article dans une revue
hal-02924096v1
|
||
Contract-based design patterns: a design by contract approach to specify security patterns15th International Conference on Availibitlity, Reliability ans Security, ARES 2020, Association for Computing Machinery (ACM), Aug 2020, Virtual Event, Ireland. pp.1-9, ⟨10.1145/3407023.3409185⟩
Communication dans un congrès
hal-02958111v1
|