, , pp.2018-2024
Understanding the mirai botnet, 26th USENIX Security Symposium, 2017. ,
Modeling Heterogeneous Real-time Components in BIP, 4th SEFM Conference, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00375298
A Language for Analyzing Security of IOT Systems, 13th SOSE Conference, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01960860
Statistical Model Checking Qos Properties of Systems with SBIP, 5th ISoLA Conference, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00847827
PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library, QEST Conference, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01088411
Reactive, Generative, and Stratified Models of Probabilistic Processes, Information and Computation, vol.121, p.1, 1995. ,
Distributed Implementation of Constrained Systems Based on Knowledge, 13th ISPDC Conference, 2014. ,
Knowledge for the Distributed Implementation of Constrained Systems, In: Softw. Syst. Model, vol.15, 2013. ,
Building Distributed Controllers for Systems with Priorities, J. Log. Algebr. Program, vol.80, pp.194-218, 2011. ,
A Calculus of Communicating Systems, 1982. ,
A Framework for Component-based Construction Extended Abstract, 3th SEFM Conference, 2005. ,
, Anatomy of an Attack, MEDJACK (Medical Device Attack), 2015.