Site

Displaying 1 - 30 of 114 results.

Pages

    • Speech
    A Variability Perspective of Mutation Analysis
    Devroey, Xavier Perrouin, Gilles Cordy, Maxime Papadakis, Mike Legay, Axel Schobbens, Pierre-Yves (2014) 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE '14) —
    • Speech
    Coverage criteria for behavioural testing of software product lines
    Devroey, Xavier Perrouin, Gilles Legay, Axel Cordy, Maxime Schobbens, Pierre-Yves Heymans, Patrick (2014) 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 —
    • Journal article
    Synthesising Features by Games
    Guelev, Dimitar Ryan, Mark Schobbens, Pierre-Yves (2006) Electronic Notes in Theoretical Computer Science — vol. 154, p. 79-93 (2006)
    • Journal article
    Exceptions for algebraic specifications
    Schobbens, Pierre-Yves (1993) Science of Computer Programming — vol. 20, (2005)
    • Journal article
    Belief revision and verisimilitude
    Ryan, Mark Schobbens, Pierre-Yves (1995) Notre Dame Journal of Formal Logic — vol. 36, no. 1, (2005)
    • BookChapter
    Managing evolution in Software Product Lines : A model-checking perspective
    Cordy, Maxime Classen, Andreas Heymans, Patrick Schobbens, Pierre-Yves Legay, Axel Ulrich, W Sven, Eisenecker Stefania, Apel (2012) Proceedings of the Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany, January 25-27 : — [ISBN : 9781450310581]
    • BookChapter
    Behavioural modelling and verification of real-time software product lines
    Cordy, Maxime Schobbens, Pierre-Yves Heymans, Patrick Legay, Axel (2012) Proceedings of the 16th International Software Product Line Conference (SPLC '12), Salvador, Brazil, September 2-7 : — [ISBN : 9781450310956]
    • Journal article
    Model-checking access control policies
    Guelev, Dimitar Ryan, Mark Schobbens, Pierre-Yves (2004) Proc. 7th International Conference on Information Security (ISC 2004) — vol. 3225, p. 219-230 (2003)

Pages