Filter your results
- 428
- 63
- 3
- 336
- 109
- 15
- 6
- 5
- 5
- 5
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 494
- 6
- 5
- 4
- 2
- 2
- 2
- 1
- 1
- 37
- 2
- 14
- 21
- 23
- 33
- 46
- 50
- 63
- 52
- 49
- 74
- 18
- 5
- 7
- 5
- 4
- 6
- 10
- 6
- 4
- 1
- 1
- 434
- 56
- 2
- 1
- 1
- 340
- 166
- 34
- 25
- 13
- 11
- 10
- 8
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 58
- 52
- 50
- 46
- 33
- 31
- 25
- 24
- 20
- 19
- 18
- 18
- 18
- 18
- 16
- 15
- 14
- 14
- 14
- 12
- 12
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 10
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
|
Bypassing IOMMU Protection against I/O Attacks7th Latin-American Symposium on Dependable Computing (LADC’16), Oct 2016, Cali, Colombia. pp.145-150, ⟨10.1109/LADC.2016.31⟩
Conference papers
hal-01419962v1
|
||
|
Mirage: towards a Metasploit-like framework for IoT2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE), Oct 2019, Berlin, Germany
Conference papers
hal-02346074v1
|
||
|
Game Jam [4Research]International Conference for Human-Computer Interaction - CHI 2014, Apr 2014, Toronto, Canada. pp. 25-28
Conference papers
hal-01137749v1
|
||
|
PANDA: prototyping using annotation and decision analysis8th ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2016), Jun 2016, Brussels, Belgium. pp. 171-176
Conference papers
hal-01712526v1
|
||
Security and safety interplay of intelligent software systems: ESORICS 2018 international workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6-7, 2018, revised selected papersSpringer, pp.173, 2019, Security and Cryptology, LNCS, vol. 11552, Security and Cryptology, LNCS, vol. 11552, 978-3-030-16873-5
Books
hal-02086531v1
|
|||
Requirements Analysis from Vertical StakeholdersBooks hal-03014029v1 |
|||
AMORES: an architecture for mobiquitous resilient systemsARMOR'12, Apr 2012, Sibiu, Romania. Article N°7 (7p.), ⟨10.1145/2222436.2222443⟩
Conference papers
hal-00736020v1
|
|||
Detecting Attacks Against Data in Web ApplicationsCRiSIS 2012 - 7th International Conference on Risks and Security of Internet and Systems, Oct 2012, Cork, Ireland. pp.1-8
Conference papers
hal-00735997v1
|
|||
|
On the use of graph transformations for model composition traceability8th International Conference on Research Challenge in Information Science (RCIS 2014), May 2014, Marrakesh, Morocco. pp. 1-11
Conference papers
hal-01387730v1
|
||
|
Abstraction and Verification of Properties of a Real-Time Java8th International Conference on Information in Education, Research, and Industrial Applications (ICTERI 2012), Jun 2012, Kherson, Ukraine. pp.1-18
Conference papers
hal-01264525v1
|
||
|
Efficient Online Analysis of Accidental Fault Localization for Dynamic Systems using Hidden Markov ModelSymposium on Theory and Modeling of Simulation (TMS/DEVS 2013), Apr 2013, San Diego, CA, United States. pp.1-8
Conference papers
hal-03668914v1
|
||
|
Testing-Based Compiler Validation for Synchronous Languages6th International Symposium on NASA Formal Methods (NFM 2014), Apr 2014, Houston, Texas, United States. pp.246-251, ⟨10.1007/978-3-319-06200-6_19⟩
Conference papers
hal-02092914v1
|
||
|
A Map of Asynchronous Communication ModelsRefinement Workshop, in World Congress on Formal Methods (REFINE 2019), Oct 2019, Porto, Portugal. pp.1-15, ⟨10.1007/978-3-030-54997-8_20⟩
Conference papers
hal-02930097v1
|
||
|
Taylor Series RevisitedInternational Colloquium on Theoretical Aspects of Computing (ICTAC 2019), Oct 2019, Hammamet, Tunisia. pp.335-352
Conference papers
hal-02950743v1
|
||
|
Johnson's procedure: mechanization and parallelization7th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2016) in conjunction with ECRTS 2016, Jul 2016, Toulouse, France. pp.9-10
Conference papers
hal-01517378v1
|
||
|
A comparative study of two formal semantics of the SIGNAL languageFrontiers of Computer Science, 2013, vol. 7 (n° 5), pp. 673-693. ⟨10.1007/s11704-013-3908-2⟩
Journal articles
hal-01154264v1
|
||
|
A Methodological Approach to Evaluate Security Requirements Engineering Methodologies: Application to the IREHDO2 Project ContextJournal of Cybersecurity and Privacy, 2021, 1 (3), pp.422-452. ⟨10.3390/jcp1030022⟩
Journal articles
hal-03323564v1
|
||
|
Specification By Example for Educational PurposesACM Conference on Innovation and Technology in Computer Science Education (ITiCSE 2017), Jul 2017, Bologna, Italy. pp. 212-217
Conference papers
hal-03624716v1
|
||
|
A Survey on MBSE Adoption ChallengesINCOSE EMEA Sector Systems Engineering Conference (INCOSE EMEASEC 2018), Nov 2018, Berlin, Germany. pp.1-16
Conference papers
hal-02124402v1
|
||
|
Analysis of distributed multi-periodic systems to achieve consistent data matchingConcurrency and Computation: Practice and Experience, 2013, vol. 25 (n° 2), pp. 234-249. ⟨10.1002/cpe.2803⟩
Journal articles
hal-01130800v1
|
||
Delegating Elliptic-Curve Operations with Homomorphic EncryptionIEEE Conference on Communications and Network Security, May 2018, Pékin, China
Conference papers
hal-01946364v1
|
|||
|
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web3rd Workshop on Formal Integrated Development Environment (F-IDE 2016), co-located with FM 2016, Nov 2016, Limassol, Cyprus. pp.1-19, ⟨10.4204/EPTCS.240.1⟩
Conference papers
hal-01757338v1
|
||
|
Mobile interaction with and in autonomous vehiclesInternational Conference on Human-Computer Interaction with Mobile Devices and Services (MobileHCI), Sep 2017, Vienna, Austria. pp.1-6, ⟨10.1145/3098279.3119837⟩
Conference papers
hal-02878791v1
|
||
|
Collection and analysis of attack data based on honeypots deployed on the InternetWorkshop on Quality of protection (QoP 2005), Security Measurements and Metrics, Sep 2005, France. pp.79-92
Conference papers
hal-00140390v1
|
||
|
Lessons Learned from the deployment of a high-interaction honeypotEuropean Dependable Computing Conference, Oct 2006, France. pp.39-44
Conference papers
hal-00140355v1
|
||
|
Designing and Assessing Interactive Systems Using Task Models (2016)ACM SIGCHI Conference on Human Factors in Computing Systems (CHI 2016), ACM SIGCHI, May 2016, San José, CA, United States. pp.976-979, ⟨10.1145/2851581.2856686⟩
Conference papers
hal-01493786v1
|
||
|
Abstracting and Structuring Web Contents for Supporting Personal Web Experiences16th International Conference on Web Engineering (ICWE 2016), Jun 2016, Lugano, Switzerland. pp. 77-95
Conference papers
hal-01709191v1
|
||
|
Common Pattern Modeling Language for Object and Component Architectures20th Pattern Languages of Programs Conference (PLoP 2013), Oct 2013, Monticello, Illinois, United States. pp. 1-16
Conference papers
hal-01402742v1
|
||
|
Heterogeneous models matching for consistency managementIEEE International Conference on Research Challenges in Information Science - RCIS 2014, May 2014, Marrakech, Morocco. pp. 1-12
Conference papers
hal-01147267v1
|
||
|
Towards an Integrated Conceptual Design Evaluation of Mechatronic Systems: The SysDICE ApproachInternational Conference on Computational Science (ICCS 2015), Jun 2015, Reykjavik, Iceland. pp. 650-659
Conference papers
hal-01327102v1
|