Service-Oriented Computing - ICSOC 2014 Workshops: WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers
Toumani, Farouk, Pernici, Barbara, Grigori, Daniela, Benslimane, Djamal, Mendling, Jan, Ben Hadj-Alouane, Nejib, Blake, Brian, Perrin, Olivier, Saleh Moustafa, Iman, Bhiri, Sami
Year of Publication 2015
Year of Publication 2015
Get full text
eBook
Service-Oriented Computing - ICSOC Workshops 2012: ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, and WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers
Ghose, Aditya, Zhu, Huibiao, Yu, Qi, Delis, Alex, Sheng, Quan Z, Perrin, Olivier, Wang, Jianmin, Wang, Yan
Year of Publication 2013
Get full text
Year of Publication 2013
eBook
Efficient Renaming in Sequence CRDTs
Nicolas, Matthieu, Oster, Gerald, Perrin, Olivier
Published in IEEE transactions on parallel and distributed systems (01.12.2022)
Published in IEEE transactions on parallel and distributed systems (01.12.2022)
Get full text
Journal Article
A formal approach for the identification of redundant authorization policies in Kubernetes
Zahoor, Ehtesham, Chaudhary, Maryam, Akhtar, Sabina, Perrin, Olivier
Published in Computers & security (01.12.2023)
Published in Computers & security (01.12.2023)
Get full text
Journal Article
Ethereum’s Peer-to-Peer Network Monitoring and Sybil Attack Prevention
Eisenbarth, Jean-Philippe, Cholez, Thibault, Perrin, Olivier
Published in Journal of network and systems management (01.10.2022)
Published in Journal of network and systems management (01.10.2022)
Get full text
Journal Article
A Formal Approach for the Identification of Authorization Policy Conflicts within Multi-Cloud Environments
Zahoor, Ehtesham, Ikram, Asim, Akhtar, Sabina, Perrin, Olivier
Published in Journal of grid computing (01.06.2022)
Published in Journal of grid computing (01.06.2022)
Get full text
Journal Article
Risk analysis of information-leakage through interest packets in NDN
Kondo, Daishi, Silverston, Thomas, Tode, Hideki, Asami, Tohru, Perrin, Olivier
Published in 2017 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS) (01.05.2017)
Published in 2017 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS) (01.05.2017)
Get full text
Conference Proceeding
Towards formal verification of web service composition
ROUACHED, Mohsen, PERRIN, Olivier, GODART, Claude
Published in Lecture notes in computer science (01.01.2006)
Published in Lecture notes in computer science (01.01.2006)
Get full text
Conference Proceeding
REUSABLE DRINKING STRAW
PERRIN OLIVIER B, LENNE RICHARD, LEE HSIAO FONG, DAMME STIJN VAN, SALIM IWAN SOETOMO
Year of Publication 17.02.2021
Get full text
Year of Publication 17.02.2021
Patent
A Bounded Model Checking Approach for the Verification of Web Services Composition
Zahoor, Ehtesham, Munir, Kashif, Perrin, Olivier, Godart, Claude
Published in International journal of web services research (01.10.2013)
Published in International journal of web services research (01.10.2013)
Get full text
Journal Article