
Ana Rosa Cavalli
194
Documents
Publications
Publications
Towards the adoption of automated cyber threat intelligence information sharing with integrated risk assessmentThe 19th International Conference on Availability, Reliability and Security (ARES '24), Jul 2024, Vienna (AUSTRIA), Australia. pp.1-9, ⟨10.1145/3664476.3670444⟩
Communication dans un congrès
hal-04901146
v1
|
|
|
Towards Smarter Security Orchestration and Automatic Response for CPS and IoTIEEE CloudCom 2023 - 14th IEEE International Conference on Cloud Computing Technology and Science, IEEE, Dec 2023, Naples (Napoli), Italy. pp.298-302, ⟨10.1109/CloudCom59040.2023.00055⟩
Communication dans un congrès
hal-04526166
v1
|
|
Enhancing IoT security in 6G networks: AI-Based intrusion detection, penetration testing, and Blockchain-based trust management(work-in-progress paper )the 7th IFIP International Internet of Things Conference (IoT 2024), Université de Côte d'Azur, Nov 2024, Nice, France. ⟨10.1007/978-3-031-82065-6_5⟩
Communication dans un congrès
hal-04902431
v1
|
|
Testing techniques to assess impact and cascading effects2023 IEEE International Conference on Cloud Computing Technology and Science (CloudCom), Dec 2023, Naples, France. pp.269-272, ⟨10.1109/CloudCom59040.2023.00050⟩
Communication dans un congrès
hal-04587814
v1
|
A Resilience Component for a Digital TwinFoundations and Practice of Security, 2023, Bordeaux, France. pp.93-104, ⟨10.1007/978-3-031-57540-2_8⟩
Communication dans un congrès
hal-04901421
v1
|
|
Cybersecurity, monitoring, explainability and resilience2023 Fourteenth International Conference on Mobile Computing and Ubiquitous Network (ICMU), Nov 2023, Kyoto, France. pp.1-7, ⟨10.23919/ICMU58504.2023.10412157⟩
Communication dans un congrès
hal-04476909
v1
|
|
|
Diagnosis automation using similarity analysis: application to industrial systems19th International Conference on Software Technologies(ICSOFT), Jul 2024, Dijon, France. pp.331-338, ⟨10.5220/0012719200003753⟩
Communication dans un congrès
hal-04902424
v1
|
|
The DYNABIC approach to resilience of critical infrastructuresThe 18th International Conference on Availability, Reliability and Security (ARES ), Aug 2023, Benevento Italy, France. pp.1-8, ⟨10.1145/3600160.3605055⟩
Communication dans un congrès
hal-04476904
v1
|
|
Study on adversarial attacks techniques, learning methods and countermeasures: application to anomaly detection18th International Conference on Software Technologies (ICSOFT), Jul 2023, Rome, France. pp.510-517, ⟨10.5220/0012125100003538⟩
Communication dans un congrès
hal-04476913
v1
|
HTTP/2 attacks generation using 5GreplayThe 18th International Conference on Availability, Reliability and Security (ARES ), Aug 2023, Benevento Italy, France. pp.1-7, ⟨10.1145/3600160.3605062⟩
Communication dans un congrès
hal-04476907
v1
|
|
Monitoring Approaches for Security and Safety Analysis: Application to a Load Position System2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Apr 2022, Valencia, Spain. pp.40-48, ⟨10.1109/ICSTW55395.2022.00021⟩
Communication dans un congrès
hal-03974746
v1
|
|
|
Digital twin for IoT environments : a testing and simulation tool15th International Conference on the Quality of Information and Communications Technology(QUATIC) ·, University of Castilla-La Mancha, Sep 2022, Talavera de la Reina, Spain. pp.205-219, ⟨10.1007/978-3-031-14179-9_14⟩
Communication dans un congrès
hal-04039592
v1
|
Monitoring approaches for security and safety analysis: application to a load position systemInternational Conference on Software Testing, Verification and Validation Workshops (ICSTW), Universitat Politècnica de València and Open Universiteit, Apr 2022, Valencia (Espagne), mars 2007, Spain. ⟨10.1109/ICSTW55395.2022.00021⟩
Communication dans un congrès
hal-04477933
v1
|
|
|
Switched-based control testbed to assure cyber-physical resilience by designSECRYPT 2022 : 19th International Conference on Security and Cryptography, Jul 2022, Lisbon, Portugal. pp.681-686, ⟨10.5220/0011327300003283⟩
Communication dans un congrès
hal-03843016
v1
|
|
A formal approach for complex attacks generation based on mutation of 5G network traffic17th International Conference on Software Technologies (ICSOFT), Institute of Business Informatics Wroclaw; Department of Computing Sydney, Macquarie Univ., Sydney, Australia, Jul 2022, Lisbon (Portugal), Portugal. pp.234-241, ⟨10.5220/0011319000003266⟩
Communication dans un congrès
hal-04477834
v1
|
Towards improving explainability, resilience and performance of cybersecurity analysis of 5G/IoT networks2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Mälardalen University, Apr 2022, Valencia (Espagne), Spain. ⟨10.1109/ICSTW55395.2022.00016⟩
Communication dans un congrès
hal-04477901
v1
|
|
|
A Formal Approach for Complex Attacks Generation based on Mutation of 5G Network Traffic17th International Conference on Software Technologies, Jul 2022, Lisbon, Portugal. pp.234-241, ⟨10.5220/0011319000003266⟩
Communication dans un congrès
hal-03974768
v1
|
|
Towards improving explainability, resilience and performance of cybersecurity analysis of 5G/IoT networks (work-in-progress paper)2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Apr 2022, Valencia, Spain. pp.7-10, ⟨10.1109/ICSTW55395.2022.00016⟩
Communication dans un congrès
hal-04016695
v1
|
SANCUS: multi-layers vulnerability management framework for cloud-native 5G networksThe 16th International Conference on Availability, Reliability and Security (ARES), Aug 2022, Vienna, Austria. pp.1-10
Communication dans un congrès
hal-04478439
v1
|
|
|
5Greplay: a 5G Network Traffic Fuzzer - Application to Attack InjectionARES 2021: The 16th International Conference on Availability, Reliability and Security, Aug 2021, Vienna, Austria. pp.1-8, ⟨10.1145/3465481.3470079⟩
Communication dans un congrès
hal-04064212
v1
|
|
SANCUS: Multi-layers vulnerability management framework for cloud-native 5G networksThe 16th International Conference on Availability, Reliability and Security (ARES), Aug 2021, Vienna Austria, France. pp.1-10, ⟨10.1145/3465481.3470092⟩
Communication dans un congrès
hal-04587817
v1
|
|
5Greplay: a 5G Network Traffic Fuzzer - Application to Attack InjectionARES 2021: The 16th International Conference on Availability, Reliability and Security, Aug 2021, Vienna Austria, France. pp.1-8, ⟨10.1145/3465481.3470079⟩
Communication dans un congrès
hal-04050929
v1
|
|
A framework for security monitoring of real IoT testbeds16th International Conference on Software Technologies (ICSOFT), Lisbonne University, Jul 2022, Lisbonne, Portugal. pp.645-652, ⟨10.5220/0010578506450652⟩
Communication dans un congrès
hal-04478481
v1
|
|
Cyber-resilience evaluation of Cyber-Physical SystemsInternational Symposium on Network Computing and Applications, Nov 2020, Cambridge, MA (online), United States. pp.1-8, ⟨10.1109/NCA51143.2020.9306741⟩
Communication dans un congrès
hal-03115317
v1
|
Metrics-driven DevSecOpsICSOFT, Jul 2020, On line streaming, Australia
Communication dans un congrès
hal-03113928
v1
|
|
Smart measurements and analysis for software quality enhancementICSOFT 2018: International Conference on Software Technologies, Jul 2018, Porto, Portugal. pp.194-219, ⟨10.1007/978-3-030-29157-0_9⟩
Communication dans un congrès
hal-02268574
v1
|
|
|
A methodology for enterprise resource planning automation testing application to the Open Source ERP-ODOOICSOFT 2019: 14th International Conference on Software Technologies, Jul 2019, Prague, Czech Republic. pp.407-415, ⟨10.5220/0007923004070415⟩
Communication dans un congrès
hal-02268593
v1
|
|
Industrial IoT security monitoring and test on Fed4Fire+ platformsICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.270-278, ⟨10.1007/978-3-030-31280-0_17⟩
Communication dans un congrès
hal-02526342
v1
|
Reflective attenuation of cyber-physical attacksCyberICPS 2019 : 5th Workshop on the Security of Industrial Control Systems and of Cyber-Physical Systems, Sep 2019, Luxembourg, Luxembourg. pp.19-34, ⟨10.1007/978-3-030-42048-2_2⟩
Communication dans un congrès
hal-02434486
v1
|
|
|
Attack tolerance for services-based applications in the cloudICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.242-258, ⟨10.1007/978-3-030-31280-0_15⟩
Communication dans un congrès
hal-02526356
v1
|
Design of a secure shield for internet and web-based services using software reflectionIEEE International Conference on Web Services (ICWS), Jun 2018, Seattle, United States. pp.472 - 486, ⟨10.1007/978-3-319-94289-6_30⟩
Communication dans un congrès
hal-02017535
v1
|
|
|
Enhancing software development process quality based on metrics correlation and suggestionThe 13th International Conference on Software Technologies (ICSOFT), Jul 2018, Porto, Portugal. pp.120 - 131, ⟨10.5220/0006856501540165⟩
Communication dans un congrès
hal-01977133
v1
|
A platform for security monitoring of multi-cloud applicationsPSI 2017 : 11th International Adrei Ershov Informatics Conference, Jun 2017, Moscou, Russia. pp.59 - 71, ⟨10.1007/978-3-319-74313-4_5⟩
Communication dans un congrès
hal-01695148
v1
|
|
A study on mitigation techniques for SCADA-driven cyber-physical systemsFPS 2018: 11th International Symposium on Foundations & Practice of Security, Nov 2018, Montreal, Canada. pp.257 - 264, ⟨10.1007/978-3-030-18419-3_17⟩
Communication dans un congrès
hal-02014254
v1
|
|
A study of threat detection systems and techniques in the cloudCRISIS 2017 : 12th International Conference on Risks and Security of Internet and Systems, Sep 2017, Dinard, France. pp.140 - 155, ⟨10.1007/978-3-319-76687-4_10⟩
Communication dans un congrès
hal-01745762
v1
|
|
How web services can be tolerant to intruders through diversificationICWS 2017 : 24th IEEE International Conference on Web Services, Jun 2017, Honolulu, United States. pp.436 - 443, ⟨10.1109/ICWS.2017.50⟩
Communication dans un congrès
hal-01592719
v1
|
|
A framework to reduce the cost of monitoring and diagnosis using game theoryCRISIS 2016 : 11th International Conference on Risks and Security of Internet and Systems, Sep 2016, Roscoff, France. pp.169 - 182, ⟨10.1007/978-3-319-54876-0_14⟩
Communication dans un congrès
hal-01487740
v1
|
|
Decreasing the complexity of deriving test suites against nondeterministic Finite State MachinesEWDTS 2017 : 15th IEEE East-West Design & Test Symposium, Sep 2017, Novi Sad, Serbia. pp.1 - 4, ⟨10.1109/EWDTS.2017.8110091⟩
Communication dans un congrès
hal-01669274
v1
|
|
Model-based attack toleranceFINA 2017 : 13th International Symposium on Frontiers of Information Systems and Network Applications, Mar 2017, Taipei, Taiwan. pp.68 - 73, ⟨10.1109/WAINA.2017.88⟩
Communication dans un congrès
hal-01583439
v1
|
|
Multi-cloud applications security monitoringGPC 2017 : 12th International Conference on Green, Pervasive, and Cloud Computing, May 2017, Cetara, Italy. pp.748 - 758, ⟨10.1007/978-3-319-57186-7_54⟩
Communication dans un congrès
hal-01583350
v1
|
|
An attack-tolerant framework for web servicesSCC 2017 : 14th International Conference on Services Computing, Jun 2017, Honolulu, United States. pp.503 - 506, ⟨10.1109/SCC.2017.75⟩
Communication dans un congrès
hal-01695155
v1
|
|
|
Automatic derivation and validation of a cloud dataset for insider threat detectionICSOFT 2017 : 12th International Conference on Software Technologies, Jul 2017, Madrid, Spain. pp.480 - 487, ⟨10.5220/0006480904800487⟩
Communication dans un congrès
hal-01583232
v1
|
QoE-driven service optimization aware of the business modelWAINA 2016 : 30th International Conference on Advanced Information Networking and Applications Workshops , Mar 2016, Crans-Montana, Switzerland. pp.725 - 730, ⟨10.1109/WAINA.2016.105⟩
Communication dans un congrès
hal-01335539
v1
|
|
|
Effectively testing of timed composite systems using test case prioritizationSEKE 2016 : 28th International Conference on Software Engineering and Knowledge Engineering, Jul 2016, San Francisco, United States. pp.1 - 6, ⟨10.18293/SEKE2016-153⟩
Communication dans un congrès
hal-01358350
v1
|
An analysis of secure M2M communication in WSNs using DTLSSTAM 2016 : 2nd IEEE International Workshop on Security Testing and Monitoring, Jun 2016, Nara, Japan. pp.78 - 83, ⟨10.1109/ICDCSW.2016.13⟩
Communication dans un congrès
hal-01416148
v1
|
|
Monitoring techniques in practice: experiences and lessons learnedSAM 2016: 9th System Analysis and Modelling Conference , Oct 2016, Saint Malo, France
Communication dans un congrès
hal-01586259
v1
|
|
Optimizing network utilization through source code state model representationEWDTS 2016 : 14th East-West Design & Test Symposium, Oct 2016, Yerevan, Armenia. pp.1 - 4, ⟨10.1109/EWDTS.2016.7807732⟩
Communication dans un congrès
hal-01433929
v1
|
|
|
An implementation of a QoE evaluation technique including business model parametersICSOFT-PT 2016 : 11th International Conference on Software Paradigm Trends, Aug 2016, Lisbon, Portugal. pp.138 - 145, ⟨10.5220/0006005001380145⟩
Communication dans un congrès
hal-01369532
v1
|
A novel monitoring solution for 6LoWPAN-based Wireless Sensor NetworksAPCC 2016 : 22nd Asia-Pacific Conference on Communications, Aug 2016, Yogyakarta, Indonesia. pp.230 - 237, ⟨10.1109/APCC.2016.7581493⟩
Communication dans un congrès
hal-01391251
v1
|
|
Opportunistic media sharing for mobile networksNOMS 2016 : IEEE/IFIP Network Operations and Management Symposium, Apr 2016, Istanbul, Turkey. pp.799 - 803, ⟨10.1109/NOMS.2016.7502902⟩
Communication dans un congrès
hal-01348024
v1
|
|
Path sampling : a robust alternative to gossiping for opportunistic network routingWIMOB 2016 : 12th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications, Oct 2016, New York, United States. pp.1 - 8, ⟨10.1109/WiMOB.2016.7763244⟩
Communication dans un congrès
hal-01433849
v1
|
|
A misbehavior node detection algorithm for 6LoWPAN Wireless Sensor NetworksSTAM 2016: 2nd IEEE International Workshop on Security Testing And Monitoring, Jun 2016, Nara, Japan. pp.49 - 54, ⟨10.1109/ICDCSW.2016.11⟩
Communication dans un congrès
hal-01415351
v1
|
|
Intrusion Detection and Attack Tolerance for Cloud Environments: The CLARUS Approach2016 IEEE 36th International Conference on Distributed Computing Systems Workshops (ICDCSW), Jun 2016, Nara, France. ⟨10.1109/ICDCSW.2016.27⟩
Communication dans un congrès
hal-01767065
v1
|
|
Network monitoring using MMT: an application based on the user-agent field in HTTP headersAINA 2016 : 30th International Conference on Advanced Information Networking and Applications, Mar 2016, Crans-Montana, Switzerland. pp.147 - 154, ⟨10.1109/AINA.2016.41⟩
Communication dans un congrès
hal-01335530
v1
|
|
Optimizing protocol passive testing through 'Gedanken' experiments with Finite State MachinesQRS 2016 : International Conference on Software Quality, Reliability and Security, Aug 2016, Vienna, Austria. pp.315 - 322, ⟨10.1109/QRS.2016.43⟩
Communication dans un congrès
hal-01432412
v1
|
|
An active testing tool for security testing of distributed systemsARES 2015 : 10th International Conference on Availability, Reliability and Security, Aug 2015, Toulouse, France. pp.735 - 740, ⟨10.1109/ARES.2015.97⟩
Communication dans un congrès
hal-01263726
v1
|
|
An abstraction for the interoperability analysis of security policiesNSS 2015 : 9th International Conference on Network and System Security , Nov 2015, New York, United States. pp.418 - 427, ⟨10.1007/978-3-319-25645-0_30⟩
Communication dans un congrès
hal-01263746
v1
|
|
A comparative evaluation of two intrusion-tolerant routing protocols for Wireless Sensor NetworksBWCCA 2015: 10th International Conference on Broadband and Wireless Computing, Communication and Applications, Nov 2015, Krakow, Poland. pp.6 - 12, ⟨10.1109/BWCCA.2015.104⟩
Communication dans un congrès
hal-01341539
v1
|
|
QoE evaluation based on QoS and QoBiz parameters applied to an OTT serviceICWS 2015 : 22nd IEEE International Conference on Web Services, Jun 2015, New York, United States. pp.607 - 614, ⟨10.1109/ICWS.2015.86⟩
Communication dans un congrès
hal-01269646
v1
|
|
Process mining for trust monitoringWAINA 2015 : 29th International Conference on Advanced Information Networking and Applications Workshops , Mar 2015, Gwangiu, South Korea. pp.605 - 610, ⟨10.1109/WAINA.2015.71⟩
Communication dans un congrès
hal-01255094
v1
|
|
Monitoring-based validation of functional and performance aspects of a greedy ant colony optimization protocolLANOMS 2015 : 8th Latin American Network Operations and Management Symposium, Oct 2015, Joao Pessoa, Brazil. pp.69 - 72, ⟨10.1109/LANOMS.2015.7332672⟩
Communication dans un congrès
hal-01263742
v1
|
|
On modeling and testing security properties of vehicular networksICSTW 2014 : 7th International Conference on Software Testing, Verification and Validation Workshops, Mar 2014, Cleveland, United States. pp.42 - 50, ⟨10.1109/ICSTW.2014.56⟩
Communication dans un congrès
hal-01285747
v1
|
|
On modeling and testing components of the European Train Control SystemIPCT 2014 : International Conference on Advances in Information Processing And Communication Technology, Jun 2014, Rome, Italy. pp.31 - 35, ⟨10.15224/978-1-63248-021-7-72⟩
Communication dans un congrès
hal-01262564
v1
|
|
A Framework for Distributed Testing of Timed Composite Systems2014 21st Asia-Pacific Software Engineering Conference (APSEC), Dec 2014, Jeju, France. ⟨10.1109/APSEC.2014.16⟩
Communication dans un congrès
hal-01760336
v1
|
|
Estimation of video QoE from MAC parameters in wireless network : a Random Neural Network approachISCIT 2014 : 14th International Symposium on Communications and Information Technologies, Sep 2014, Incheon, South Korea. pp.51 - 55, ⟨10.1109/ISCIT.2014.7011868⟩
Communication dans un congrès
hal-01262789
v1
|
|
QoE estimation for web service selection using a Fuzzy-Rough hybrid expert systemAINA 2014 : 28th IEEE International Conference on Advanced Information Networking and Applications, May 2014, Victoria, Bc, Canada. pp.629 - 634, ⟨10.1109/AINA.2014.77⟩
Communication dans un congrès
hal-01262475
v1
|
|
|
Détection de flux de contrôle illégaux dans les SmartphonesINFORSID 2014 : 32ème congrès de l'INFormatique des ORganisations et Systèmes d'Information et de Décision, May 2014, Lyon, France
Communication dans un congrès
hal-01009849
v1
|
Performance evaluation of video transmission over 802.11n wireless network : a MAC layer perspectiveSaCoNeT 2014 : 5th International Conference on Smart Communications in Network Technologies, Jun 2014, Vilanova I La Geltrú, Spain. pp.1 - 6, ⟨10.1109/SaCoNeT.2014.6867761⟩
Communication dans un congrès
hal-01262788
v1
|
|
|
Detection of illegal control flow in Android System: Protecting private data used by Smartphone AppsFPS 2014 : the 7th International Symposium on Foundations & Practice of Security, Nov 2014, Montréal, Canada. pp.337 - 346, ⟨10.1007/978-3-319-17040-4_22⟩
Communication dans un congrès
hal-01214033
v1
|
Extended Finite State Machine based test derivation strategies for telecommunication protocolsSYRCoSE 2014 : 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering , May 2014, Saint-Pétersbourg, Russia. pp.108 - 113, ⟨10.15514/SYRCOSE-2014-8-15⟩
Communication dans un congrès
hal-01262562
v1
|
|
Formal verification of coordination systems' requirements : a case study on the European Train Control SystemSEKE 2014 : 26th International Conference on Software Engineering and Knowledge Engineering, Jul 2014, Vancouver, Canada. pp.393 - 396
Communication dans un congrès
hal-01262566
v1
|
|
How to evaluate trust using MMTNSS 2014 : 8th International Conference on Network and System Security, Oct 2014, Xi'An, China. pp.484 - 492, ⟨10.1007/978-3-319-11698-3_37⟩
Communication dans un congrès
hal-01262784
v1
|
|
Testing network protocols : formally, at runtime and onlineSEKE 2014 : 26th International Conference on Software Engineering and Knowledge Engineering, Jul 2014, Vancouver, Canada. pp.90 - 93
Communication dans un congrès
hal-01263332
v1
|
|
On testing against partial non-observable specificationsQUATIC 2014 : 9th International Conference on the Quality of Information and Communications Technology, Sep 2014, Guimaraes, Portugal. pp.230 - 233, ⟨10.1109/QUATIC.2014.38⟩
Communication dans un congrès
hal-01262783
v1
|
|
|
Protection against Code Obfuscation Attacks based on control dependencies in Android SystemsTC 2014 : 8th International Workshop on Trustworthy Computing, Jun 2014, San Francisco, United States
Communication dans un congrès
hal-01010902
v1
|
|
Evaluating web service QoE by learning logic networksWEBIST 2014 : 10th International Conference on Web Information Systems and Technologies, Apr 2014, Barcelone, Spain. pp.168 - 176, ⟨10.5220/0004855801680176⟩
Communication dans un congrès
hal-01262476
v1
|
Estimation of QoE of video traffic using a fuzzy expert systemCCNC '13 : The 10th Annual IEEE Consumer Communications and Networking Conference, Jan 2013, Las Vegas, United States. pp.224-229, ⟨10.1109/CCNC.2013.6488450⟩
Communication dans un congrès
hal-00816061
v1
|
|
Monitoring based on IOSTS for testing functional and security properties: application to an automotive case studyCOMPSAC 2013 : 37th Annual International Computer Software & Applications Conference, Jul 2013, Kyoto, Japan. pp.1 - 10, ⟨10.1109/COMPSAC.2013.5⟩
Communication dans un congrès
hal-01275006
v1
|
|
Evaluating quality of web services: a short surveyICWS 2013 : 20th International Conference on Web Services, Jun 2013, Santa Clara, United States. pp.587 - 594, ⟨10.1109/ICWS.2013.83⟩
Communication dans un congrès
hal-01274984
v1
|
|
An effective attack detection approach in wireless mesh networksNetMM '13 : International Workshop on Network Management and Monitoring, Mar 2013, Barcelona, Spain. pp.1450 -1455, ⟨10.1109/WAINA.2013.1⟩
Communication dans un congrès
hal-00842731
v1
|
|
Ecosystem for customer experience assuranceSACONET 2013 : International Conference on Smart Communications in Network Technologies, Jun 2013, Paris, France. pp.1 - 5, ⟨10.1109/SaCoNeT.2013.6654553⟩
Communication dans un congrès
hal-01262114
v1
|
|
|
Formal Characterization of Illegal Control Flow in Android SystemSITIS 2013 : 9th International Conference on Signal Image Technology & Internet Systems, Dec 2013, Kyoto, Japan
Communication dans un congrès
hal-00924480
v1
|
Evaluating Web service quality using finite state modelsQSIC 2013 : 13th International Conference on Quality Software, Jul 2013, Nanjing, China. pp.95 - 102, ⟨10.1109/QSIC.2013.52⟩
Communication dans un congrès
hal-01262103
v1
|
|
Role based interoperability security policies in collaborative systemsSECOTS '12 : International Symposium on Security in Collaboration Technologies and Systems, May 2012, Denver, United States. pp.471-477, ⟨10.1109/CTS.2012.6261092⟩
Communication dans un congrès
hal-00738970
v1
|
|
Improving protocol validation by an IOSTS-based passive testing approachSTV '12 : System Testing and Validation Workshop, Oct 2012, Paris, France. pp.87-95
Communication dans un congrès
hal-00738521
v1
|
|
How to reduce the cost of passive testingHASE '12 : 14th IEEE International High-Assurance Systems Engineering symposium, Oct 2012, Omaha, United States. pp.209-216, ⟨10.1109/HASE.2012.36⟩
Communication dans un congrès
hal-00771884
v1
|
|
A distributed intrusion detection scheme for wireless ad hoc networksSAC '12 : The 27th Annual ACM Symposium on Applied Computing, Mar 2012, Trento, Italy. pp.556-562, ⟨10.1145/2245276.2245382⟩
Communication dans un congrès
hal-00738916
v1
|
|
Trust-OrBAC : a trust access control model in multi-organization environmentsICISS '12 : 8th International Conference on Information Systems Security, Dec 2012, Guwahati, India. pp.89-103, ⟨10.1007/978-3-642-35130-3_7⟩
Communication dans un congrès
hal-00767797
v1
|
|
Quality of experience as a selection criterion for web servicesSITIS '12 : The 8th International Conference on Signal-Image Technology & Internet Systems, Nov 2012, Sorrento, Italy. pp.519-526, ⟨10.1109/SITIS.2012.81⟩
Communication dans un congrès
hal-00772763
v1
|
|
An IOSTS based passive testing approach for the validation of data-centric protocolsQSIC '12 : 12th International Conference of Quality Software, Aug 2012, Xi'An, China. pp.49-58, ⟨10.1109/QSIC.2012.33⟩
Communication dans un congrès
hal-00747198
v1
|
|
Managing customer experience through service quality monitoringConference Future Network & Mobile Summit 2012, Jul 2012, Berlín, Germany. pp.1-9
Communication dans un congrès
hal-00771815
v1
|
|
A event-based packet dropping detection scheme for wireless mesh networksCSS '12 : The 4th International Symposium on Cyberspace Safety and Security, Dec 2012, Melbourne, Australia. pp.309-323, ⟨10.1007/978-3-642-35362-8_24⟩
Communication dans un congrès
hal-00816664
v1
|
|
Testing interoperability security policiesSEKE '12 : The 24th International Conference on Software Engineering and Knowledge Engineering, Jul 2012, San Francisco, United States. pp.464-469
Communication dans un congrès
hal-00744694
v1
|
|
Setting trust evaluations with fuzzy logic in MOESTV '12: System Testing and Validation Workshop, Oct 2012, Paris, France. pp.49-58
Communication dans un congrès
hal-00767987
v1
|
|
A vector based model approach for defining trust in multi-organization environmentsCRiSIS '12 : 7th International Conference on Risks and Security of Internet and Systems, Oct 2012, Cork, Ireland. pp.1-8, ⟨10.1109/CRISIS.2012.6378939⟩
Communication dans un congrès
hal-00768221
v1
|
|
Using requirements engineering in an automatic security policy derivation processDPM - SETOP 2011 : 6th International Workshop on Data Privacy Management and 4th International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium. pp.155-172, ⟨10.1007/978-3-642-28879-1_11⟩
Communication dans un congrès
hal-00738844
v1
|
|
|
Detecting control flow in Smarphones: Combining static and dynamic analysesCSS 2012: The 4th International Symposium on Cyberspace Safety and Security, Dec 2012, Melbourne, Australia. pp.33 - 47, ⟨10.1007/978-3-642-35362-8_4⟩
Communication dans un congrès
hal-00785180
v1
|
Detection of attacks in wireless mesh networksLADC 2011 : 5th Latin-American Symposium on Dependable Computing, Apr 2011, Sao Jose Dos Campos, Brazil. pp.45 - 54, ⟨10.1109/LADC.2011.13⟩
Communication dans un congrès
hal-01301634
v1
|
|
|
Using testing techniques for vulnerability detection in C programs23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.80-96, ⟨10.1007/978-3-642-24580-0_7⟩
Communication dans un congrès
hal-01303013
v1
|
|
A quality of experience based approach for wireless mesh networks9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova I La Geltrú, Spain. pp.162-173, ⟨10.1007/978-3-642-21560-5_14⟩
Communication dans un congrès
hal-01301638
v1
|
Verification of interoperability security policies by model checkingHASE '11 : The 13th IEEE International High Assurance Systems Engineering Symposium, Nov 2011, Boca Raton, United States. pp.376 -381, ⟨10.1109/HASE.2011.17⟩
Communication dans un congrès
hal-00738626
v1
|
|
Route manipulation attack in wireless mesh networksAINA 2011 : 25th International Conference on Advanced Information Networking and Applications, Mar 2011, Biopolis, Singapore. pp.501 - 508, ⟨10.1109/AINA.2011.11⟩
Communication dans un congrès
hal-01465746
v1
|
|
Cost effective cross-layer protocol testing : a case studyCASE 2011 : Congreso Argentino de Sistemas Embebidos, Mar 2011, Buenos Aires, Argentina. pp.103 - 108
Communication dans un congrès
hal-01303607
v1
|
|
FSM-based test derivation strategies for systems with time-outsQSIC 2011 : 11th International Conference On Quality Software, Jul 2011, Madrid, Spain. pp.141 - 149, ⟨10.1109/QSIC.2011.30⟩
Communication dans un congrès
hal-01303601
v1
|
|
A model-based attack injection approach for security validationSIN '11 : 4th international conference on Security of information and networks, Nov 2011, Sydney, Australia. pp.103-110, ⟨10.1145/2070425.2070443⟩
Communication dans un congrès
hal-00711762
v1
|
|
A SPIN-based approach for detecting vulnerabilities in C programsPSSV 2011 : 2nd Workshop on Program Semantics, Specification and Verification : Theory and Applications, Jun 2011, St Petersburg, Russia. pp.131 - 143
Communication dans un congrès
hal-01465027
v1
|
|
|
Timed extended invariants for the passive testing of Web servicesICWS 2010 : 8th International Conference on Web Services, Jul 2010, Miami, United States. pp.592 - 599, ⟨10.1109/ICWS.2010.17⟩
Communication dans un congrès
hal-01309503
v1
|
A formal passive testing approach for checking real time constraintsQUATIC 2010 : 7th International Conference on the Quality of Information and Communications Technology, Sep 2010, Porto, Portugal. pp.274 - 279, ⟨10.1109/QUATIC.2010.55⟩
Communication dans un congrès
hal-01306297
v1
|
|
Testing web service orchestrators in context : a symbolic approachSEFM 2010 : 8th IEEE International Conference on Software Engineering and Formal Methods, Sep 2010, Pisa, Italy. pp.257 - 267, ⟨10.1109/SEFM.2010.30⟩
Communication dans un congrès
hal-01306744
v1
|
|
A formal approach for interoperability testing of security rulesSITIS 2010 : 6th International Conference on Signal-Image Technology & Internet-Based Systems, Dec 2010, Kuala Lumpur, Malaysia. pp.277 - 284, ⟨10.1109/SITIS.2010.53⟩
Communication dans un congrès
hal-01305099
v1
|
|
Webmov : a dedicated framework for the modelling and testing of web services compositionICWS 2010 : 8th International Conference on Web Services, Jul 2010, Miami, United States. pp.377 - 384, ⟨10.1109/ICWS.2010.24⟩
Communication dans un congrès
hal-01306746
v1
|
|
Attack scripts generation for security validationSEC-SY '10 : Sécurité des Systèmes d'Information et les Environnements Collaboratifs, May 2010, Marseille, France
Communication dans un congrès
hal-00727714
v1
|
|
|
Transmit and reserve (tar) : a coordinated channel access for IEEE 802.11 networksWCNC 2010 : IEEE Wireless Communications and Networking Conference, Apr 2010, Sidney, Australia. pp.1 - 6, ⟨10.1109/WCNC.2010.5506240⟩
Communication dans un congrès
hal-01306741
v1
|
A fault injection tool for testing web services compositionTAIC PART 2010 : Testing: Academic & Industrial Conference Practice and Research Techniques, Sep 2010, Windsor, United Kingdom. pp.137 - 146, ⟨10.1007/978-3-642-15585-7_13⟩
Communication dans un congrès
istex
hal-01306763
v1
|
|
|
A formal framework to integrate timed security rules within a TEFSM-based system specificationAPSEC 2009 : 16th AsiaPacific Software Engineering Conference, Dec 2009, Batu Ferringhi, Malaysia. pp.489 - 496, ⟨10.1109/APSEC.2009.52⟩
Communication dans un congrès
hal-00444089
v1
|
RobustWeb : development and validation of SOA applications based on Web servicesColloquium of Computation : Brazil / INRIA, Cooperations, Advances and Challenges, Jul 2009, Rio Grande Do Sul, Brazil
Communication dans un congrès
hal-00448589
v1
|
|
|
Analysis of the OLSR protocol by using formal passive testingAPSEC 2009 : 16th Asia-Pacific Software Engineering Conference, Dec 2009, Penang, Malaysia. pp.152 - 159, ⟨10.1109/APSEC.2009.37⟩
Communication dans un congrès
hal-01366249
v1
|
A formal approach for specification and verification of fault injection processICIS '09 : International Conference on Interaction Sciences, Dec 2009, Phoenix, United States. pp.883-890, ⟨10.1145/1655925.1656086⟩
Communication dans un congrès
hal-00771611
v1
|
|
A formal passive testing approach to test a MANET routing protocolPWN 2009 : 5th IEEE PerCom Workshop on Pervasive Wireless Networking , Mar 2009, Galveston, United States. pp.1 - 6, ⟨10.1109/PERCOM.2009.4912874⟩
Communication dans un congrès
hal-01369686
v1
|
|
|
Software vulnerabilities, prevention and detection methods : a reviewSEC-MDA 2009 : Security in Model Driven Architecture , Jun 2009, Enschede, Netherlands. pp.1 - 11
Communication dans un congrès
hal-01367445
v1
|
|
A passive testing approach for security checking and its practical usage for web services monitoringNOTERE 2009 : 9e Conférence Internationale sur Les NOuvelles TEchnologies de la REpartition, Jun 2009, Montréal, Canada
Communication dans un congrès
hal-01360187
v1
|
|
Modeling, validation, and verification of PCEP using the IF languageFMOODS/FORTE 2009 : 11th Formal Methods for Open Object-Based Distributed Systems and 29th Formal Techniques for Networked and Distributed Systems, Jun 2009, Lisboa, Portugal. pp.122 - 136, ⟨10.1007/978-3-642-02138-1_8⟩
Communication dans un congrès
hal-00446605
v1
|
|
An automated passive testing approach for the IMS PoC serviceASE 2009 : 24th IEEE/ACM International Conference on Automated Software Engineering, Nov 2009, Auckland, New Zealand. pp.535 - 539, ⟨10.1109/ASE.2009.33⟩
Communication dans un congrès
hal-01316417
v1
|
A passive conformance testing approach for a MANET routing protocolSAC '09 : 24th Annual ACM Symposium on Applied Computing, Mar 2009, Hawai, United States. pp.207-211, ⟨10.1145/1529282.1529326⟩
Communication dans un congrès
hal-00771619
v1
|
|
A statistical approach to test stochastic and probabilistic systemsICFEM 2009 : 11th International Conference on Formal Engineering Methods, Dec 2009, Rio De Janeiro, Brazil. pp.186 - 205, ⟨10.1007/978-3-642-10373-5_10⟩
Communication dans un congrès
istex
hal-01360751
v1
|
|
|
Prise en Compte de Règles de Sécurité Temporelles dans une Spécification TEFSM d'un SystèmeCFIP'2009, Oct 2009, Strasbourg, France
Communication dans un congrès
inria-00419463
v1
|
Interoperability testing of presence service on IMS platformTridentCom 2009 : 5th International Conference onTestbeds and Research Infrastructures for the Development of Networks & Communities and Workshops, Apr 2009, Washington, United States. ⟨10.1109/TRIDENTCOM.2009.4976260⟩
Communication dans un congrès
hal-00442192
v1
|
|
Network protocol interoperability testing based on contextual signatures and passive testingSAC 2009 : 24th Annual ACM Symposium on Applied Computing, Mar 2009, Honolulu (Hawaii), United States. pp.2 - 7, ⟨10.1145/1529282.1529284⟩
Communication dans un congrès
hal-01316444
v1
|
|
Modélisation et détection formelles de vulnérabilités logicielles par le test passifSAR-SSI 2009 : 4eme Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information , Jun 2009, Luchon, France
Communication dans un congrès
hal-00444066
v1
|
|
Extended interoperability models for timed system robustness testingLATINCOM '09 : IEEE Latin-American Conference on Communications, Sep 2009, Medelin, Colombia. pp.1-6, ⟨10.1109/LATINCOM.2009.5304903⟩
Communication dans un congrès
hal-00448581
v1
|
|
|
Observability and controllability issues in conformance testing of Web service compositionsTESTCOM/FATES 2009 : 21st IFIP International Conference on Testing of Communicating Systems and 9th International Workshop on Formal Approaches to Testing of Software, Nov 2009, Eindhoven, Netherlands. pp.217 - 222, ⟨10.1007/978-3-642-05031-2_15⟩
Communication dans un congrès
hal-01360755
v1
|
Security protocol testing using attack treesCSE '09 : 12th IEEE International Conference on Computational Science and Engineering, Aug 2009, Vancouver, Canada. pp.690-697, ⟨10.1109/CSE.2009.206⟩
Communication dans un congrès
hal-00446770
v1
|
|
|
A reactive wireless mesh network architectureMed-Hoc-Net 2008 : Seventh Annual Mediterranean Ad Hoc Networking Workshop : Advances in Ad Hoc Networking, Jun 2008, Palma De Mallorca, Spain. pp.203 - 214, ⟨10.1007/978-0-387-09490-8_18⟩
Communication dans un congrès
hal-01373149
v1
|
|
Une approche de test de robustesse basée sur l'injection de fautes et le monitorageColloque Francophone sur l'Ingénierie des Protocoles (CFIP), Mar 2008, Les Arcs, France
Communication dans un congrès
hal-00250162
v1
|
Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementationsICSTW 2008 : 1st International Conference on Software Testing Verification and Validation Workshop, Apr 2008, Lillehammer, Norway. pp.21 - 30, ⟨10.1109/ICSTW.2008.51⟩
Communication dans un congrès
hal-01326406
v1
|
|
Modeling and testing secure web-based systems : application to an industrial case studySITIS '08 : The Fourth International Conference on Signal-Image Technology & Internet-Based Systems, Nov 2012, Bali, Indonesia. pp.128-136, ⟨10.1109/SITIS.2008.58⟩
Communication dans un congrès
hal-00796034
v1
|
|
Security rules specification and analysis based on passive testingGLOBECOM 2008 : IEEE Global Telecommunications Conference, Nov 2008, New Orleans, United States. pp.1 - 6, ⟨10.1109/GLOCOM.2008.ECP.400⟩
Communication dans un congrès
hal-01378696
v1
|
|
Generating attack scenarios for the validation of security protocol implementationsSAST '08 : 2nd Brazilian Workshop on Systematic and Automated Software Testing, Oct 2008, Campinas, Brazil. pp.21-33
Communication dans un congrès
hal-00796077
v1
|
|
|
Distributed monitoring in Ad Hoc networks : conformance and security checking AdHoc-NOW 2008 : 7th International Conference on Ad Hoc Networks and Wireless, Sep 2008, Sophia-Antipolis, France. pp.345 - 356, ⟨10.1007/978-3-540-85209-4_27⟩
Communication dans un congrès
hal-01327393
v1
|
Testing security policies for web applicationsICSTW '08 : IEEE International Conference on Software Testing Verification and Validation Workshop, Apr 2008, Lillehammer, Norway. pp.269-270, ⟨10.1109/ICSTW.2008.45⟩
Communication dans un congrès
hal-00796098
v1
|
|
Context ontology for secure interoperabilityFARES 2008 : International Workshop on Frontiers in Availability, Reliability and Security, Mar 2008, Barcelona, Spain. pp.821-827, ⟨10.1109/ARES.2008.133⟩
Communication dans un congrès
hal-00796516
v1
|
|
|
Efficient time synchronization mechanism for wireless multi hop networksPIMRC 2008 : IEEE 19th International Symposium on Personal, Indoor and Mobile Radio Communications, Sep 2008, Cannes, France. pp.1 - 6, ⟨10.1109/PIMRC.2008.4699638⟩
Communication dans un congrès
hal-01379599
v1
|
ReDEx : Receiver Diversity Exploitation mechanism for 802.11 wireless networksICLAN 2008 : International Conference on the Latest Advances in Networks, Dec 2008, Toulouse, France. pp.1 - 6
Communication dans un congrès
hal-01394732
v1
|
|
Modeling system security rules with time constraints using timed extended finite state machinesDS-RT 2008 : 12th IEEE/ACM International Symposium on Distributed Simulation an Real Time Applications, Oct 2008, Vancouver, Canada. pp.173 - 180, ⟨10.1109/DS-RT.2008.22⟩
Communication dans un congrès
hal-01380237
v1
|
|
Regression and performance testing of an e-learning Web application : dotLRNSITIS 2007 : 3rd International Conference on Signal Image Technology and Internet-Based Systems, Dec 2007, Shangai, China. pp.369 - 376, ⟨10.1109/SITIS.2007.129⟩
Communication dans un congrès
hal-01328016
v1
|
|
|
Vérification et analyse de performance d'un protocole de gestion de sessionCFIP 2006: Colloque Francophone sur l'Ingénierie des Protocoles, Eric Fleury and Farouk Kamoun, Oct 2006, Tozeur, Tunisie. 12 p
Communication dans un congrès
inria-00111718
v1
|
MSP: A Novel Session Maintenance Protocol2006 14th IEEE International Conference on Networks, Sep 2006, Singapore, France. pp.1-6, ⟨10.1109/ICON.2006.302611⟩
Communication dans un congrès
hal-04085693
v1
|
|
Génération de tests d'intéropérabilité pour le protocole TCP4ème Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR '03), Oct 2003, Metz, France. pp.447-461
Communication dans un congrès
hal-01530440
v1
|
|
Testing Software and SystemsIFIP International Conference on Testing Software and Systems (ICTSS), 13045, 2022, Lecture Notes in Computer Science, 978-3-031-04673-5. ⟨10.1007/978-3-031-04673-5⟩
Proceedings/Recueil des communications
hal-04478239
v1
|
|
Special issue on information systems quality for digital transformationSoftware Quality Journal, 30 (4), pp.953-954, 2022, ⟨10.1007/s11219-022-09608-y⟩
N°spécial de revue/special issue
hal-04476915
v1
|
|
Testing Software and SystemsSpringer International Publishing, LNCS-10533, 2017, Lecture Notes in Computer Science, 978-3-319-67548-0. ⟨10.1007/978-3-319-67549-7⟩
Ouvrages
hal-01678967
v1
|
|
5Greplay: a 5G network traffic fuzzer - application to attack injectionARES '21 : Actes de la 16e Conférence internationale sur la disponibilité, la fiabilité et la sécurité, ACM, pp.1-8, 2021, 9781450390514. ⟨10.1145/3465481.3470079⟩
Chapitre d'ouvrage
hal-04478392
v1
|
From formal test objectives to TTCN-3 for verifying ETCS complex software control systemsCommunications in Computer and Information Science, 1250, Springer International Publishing; Springer, pp.156-178, 2020, Communications in Computer and Information Science (CCIS), 978-3-030-52990-1. ⟨10.1007/978-3-030-52991-8_8⟩
Chapitre d'ouvrage
hal-02904831
v1
|
|
Multimedia Quality of ExperienceEmerging research on networked multimedia communication systems, Information Science Reference, pp.250 - 284, 2015, Advances in multimedia and interactive technologies book series, 978-1-466-68850-6. ⟨10.4018/978-1-4666-8850-6.ch008⟩
Chapitre d'ouvrage
hal-01263826
v1
|
|
Symbolic-based monitoring for embedded applicationsHandbook of research on embedded systems design, IGI Global, pp.52 - 74, 2014, Advances in Systems Analysis, Software Engineering, and High Performance Computing book series, 978-1-466-66194-3. ⟨10.4018/978-1-4666-6194-3.ch003⟩
Chapitre d'ouvrage
hal-01263345
v1
|
|
An ecosystem for customer experience managementQuality of experience engineering for customer added value services: from evaluation to monitoring, Wiley, pp.1 - 256, 2014, ISTE, 978-1-84821-672-3. ⟨10.1002/9781118984352.ch2⟩
Chapitre d'ouvrage
hal-01255095
v1
|
|
Formal supervision of mobile ad hoc networks for security flaws detectionSecurity engineering techniques and solutions for information systems : management and implementation, IGI Global, 2011, 978-1-615-20803-6. ⟨10.4018/978-1-61520-803-6⟩
Chapitre d'ouvrage
hal-00690721
v1
|
|
Modeling and testing secure web applicationsWeb-based information technologies and distributed systems, Atlantis Press, pp.207-255, 2010, Atlantis Ambient and Pervasive Intelligence, ⟨10.1007/978-94-91216-32-9_10⟩
Chapitre d'ouvrage
hal-00673835
v1
|
|
Security in ad hoc networksWireless and mobile network security : security basics, security in on-the-shelf and emerging technologies, iSTE-WILEY, pp.475-524, 2009, 978-1-84821-117-9
Chapitre d'ouvrage
hal-00801279
v1
|
|
Cyber-resilience approaches for cyber-physical systemsTélécom SudParis (Institut Mines-Télécom). 2023
Rapport
hal-04495662
v1
|
Chargement...
Chargement...