329 citations
- Télécom SudParisFR48 papers
- Institut Polytechnique de ParisFR37 papers
- Centre National de la Recherche ScientifiqueFR36 papers
- Institut Mines-TélécomFR11 papers
- Laboratoire d'Ingénierie Circulation TransportsFR7 papers
- Laboratoire Traitement et Communication de l’InformationFR6 papers
- Université Paris-SaclayFR6 papers
- Concordia UniversityCA5 papers
- Centre de Mathématiques Appliquées de l'École polytechniqueFR3 papers
- Cisco Systems (United States)US3 papers
- École PolytechniqueFR3 papers
- Laboratoire de Mathématiques d'OrsayFR3 papers
7 papers · 1 filter
Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving
Catherine Dubois, Bruno Woltzenlogel Paleo
This volume of EPTCS contains the proceedings of the Fifth Workshop on Proof Exchange for Theorem Proving (PxTP 2017), held on September 23-24, 2017 as part of the Tableaux, FroCoS…
Security of Cyber-Physical Systems. From Theory to Testbeds and Validation
Jose Rubio-Hernan, Juan Rodolfo-Mejias, Joaquin Garcia-Alfaro
Traditional control environments connected to physical systems are being upgraded with novel information and communication technologies. The resulting systems need to be adequately…
An n-sided polygonal model to calculate the impact of cyber security events
Gustavo Gonzalez-Granadillo, Joaquin Garcia-Alfaro, Hervé Debar
This paper presents a model to represent graphically the impact of cyber events (e.g., attacks, countermeasures) in a polygonal systems of n-sides. The approach considers informati…
Getting Virtualized Wireless Sensor Networks IaaS Ready for PaaS
Imran Khan, Fatima Zahra Errounda, Sami Yangui +2
With the recent advances in sensor hardware and software, architectures for virtualized Wireless Sensor Networks (vWSNs) are now emerging. Through node- and network-level virtualiz…
Learning the distribution of latent variables in paired comparison models with round-robin scheduling
Roland Diel, Sylvain Le Corff, Matthieu Lerasle
Paired comparison data considered in this paper originate from the comparison of a large number N of individuals in couples. The dataset is a collection of results of contests betw…
Stability and Performance of Coalitions of Prosumers Through Diversification in the Smart Grid
Nicolas Gensollen, Vincent Gauthier, Monique Becker +1
Achieving a successful energetic transition through a smarter and greener electricity grid is a major goal for the 21st century. It is assumed that such smart grids will be charact…