Reconciling system requirements and runtime behavior MS Feather, S Fickas, A Van Lamsweerde, C Ponsard Proceedings Ninth International Workshop on Software Specification and ¡¦, 1998 | 293 | 1998 |
A monitoring and audit logging architecture for data location compliance in federated cloud infrastructures P Massonet, S Naqvi, C Ponsard, J Latanicki, B Rochwerger, M Villari 2011 IEEE international symposium on parallel and distributed processing ¡¦, 2011 | 118 | 2011 |
Goal-oriented requirements animation HT Van, A van Lamsweerde, P Massonet, C Ponsard Proceedings. 12th IEEE International Requirements Engineering Conference ¡¦, 2004 | 84 | 2004 |
Early verification and validation of mission critical systems C Ponsard, P Massonet, JF Molderez, A Rifaut, A Lamsweerde, HT Van Formal Methods in System Design 30, 233-247, 2007 | 76 | 2007 |
From Requirements Models to Formal Specifications in B. C Ponsard, E Dieul ReMo2V 241, 2006 | 47 | 2006 |
Energy efficiency embedded service lifecycle: Towards an energy efficient cloud computing architecture K Djemame, D Armstrong, R Kavanagh, AJ Ferrer, DG Perez, D Antona, ... CEUR Workshop Proceedings 1203, 1-6, 2014 | 46 | 2014 |
Towards modelling obligations in Event-B J Bicarregui, A Arenas, B Aziz, P Massonet, C Ponsard Abstract State Machines, B and Z: First International Conference, ABZ 2008 ¡¦, 2008 | 42 | 2008 |
Goal-oriented co-engineering of security and safety requirements in cyber-physical systems C Ponsard, G Dallons, P Massonet International Conference on Computer Safety, Reliability, and Security, 334-345, 2016 | 35 | 2016 |
An ocr-enabled digital comic books viewer C Ponsard, R Ramdoyal, D Dziamski Computers Helping People with Special Needs: 13th International Conference ¡¦, 2012 | 34 | 2012 |
Evidencing sustainability design through examples R Chitchyan, S Betz, L Duboc, B Penzenstadler, S Easterbrook, ... | 32 | 2015 |
From goal-oriented requirements to Event-B specifications B Aziz, AE Arenas, J Bicarregui, C Ponsard, P Massonet Proceedings of the First NASA Formal Methods Symposium, 2009 | 31 | 2009 |
Early verification and validation of mission critical systems C Ponsard, P Massonet, A Rifaut, JF Molderez, A van Lamsweerde, ... Electronic Notes in Theoretical Computer Science 133, 237-254, 2005 | 31 | 2005 |
Towards a Cyber Security Label for SMEs: A European Perspective-. C Ponsard, J Grandclaudon, G Dallons ICISSP 4, 426-431, 2018 | 26 | 2018 |
Oscar. cbls: an open source framework for constraint-based local search R De Landtsheer, C Ponsard Proceedings of ORBEL 27, 2013 | 26 | 2013 |
Survey and Lessons Learned on Raising SME Awareness about Cybersecurity. C Ponsard, J Grandclaudon, S Bal ICISSP, 558-563, 2019 | 25 | 2019 |
Objective accessibility assessment of public infrastructures C Ponsard, V Snoeck International Conference on Computers for Handicapped Persons, 314-321, 2006 | 25 | 2006 |
An accessible viewer for digital comic books C Ponsard, V Fries Computers Helping People with Special Needs: 11th International Conference ¡¦, 2008 | 23 | 2008 |
Enhancing the accessibility for all of digital comic books C Ponsard, V Fries vol. I, 127-144, 2009 | 22 | 2009 |
Applying digital forensics in the future internet enterprise systems-European SME's perspective S Naqvi, G Dallons, C Ponsard 2010 Fifth IEEE International Workshop on Systematic Approaches to Digital ¡¦, 2010 | 21 | 2010 |
Software development practices in small entities: an ISO29110‐based survey A Majchrowski, C Ponsard, S Saadaoui, J Flamand, JC Deprez Journal of Software: Evolution and Process 28 (11), 990-999, 2016 | 19 | 2016 |