Photo de Pierre Yves Schobbens

Voir le profil Scopus

Pierre Yves Schobbens

Prof.

 https://orcid.org/0000-0001-8677-4485

  • Belgique

Calculé d’après le nombre de publications stockées dans Pure et de citations dans Scopus
1986 …2024

Résultat de recherche par an

Filtrer
Article dans les actes d'une conférence/un colloque

Résultats de recherche

  • Applying VDM to large developments

    Ledru, Y. & Schobbens, P. Y., 1 avr. 1990, Conference Proceedings on Formal Methods in Software Development 1990. ACM Press, p. 55-58 4 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • An extensible platform for product-line behavioural analysis

    Cordy, M., Willemart, M., Dawagne, B., Heymans, P. & Schobbens, P-Y., 15 sept. 2014, ACM International Conference Proceeding Series: Companion Volume for Workshops, Demonstrations and Tools-Volume 2. ACM Press, Vol 2. p. 102-109 8 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    139 Téléchargements (Pure)

  • An experiment in formal software development

    Lafontaine, C., Ledru, Y. & Schobbens, P-Y., 1990, Proceedings of the 12th International Conference on Software Engineering (ICSE). p. 34-42 9 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • An algebraic approach for codesign

    Aiguier, M., Béroff, S. & Schobbens, P. Y., 19 sept. 2005, Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers. Liu, Z. & Araki, K. (eds.). Springer, p. 415-430 16 p. (Lecture Notes in Computer Science).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • A logic for legal hierarchies

    Schobbens, P. Y., 1 août 1993, Proceedings of the 4th International Conference on Artificial Intelligence and Law, ICAIL 1993. ACM Press, Vol Part F127196. p. 272-281 10 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Allocating goals to agent roles during MAS requirements engineering

    Jureta, I., Faulkner, S. & Schobbens, P. Y., 1 déc. 2007, Agent-Oriented Software Engineering VII - 7th International Workshop, AOSE 2006, Revised and Invited Papers. p. 19-34 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 4405 LNCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • A lightweight data sharing system based on bidirectional transformations

    Duchêne, A., Marchal, H., Hu, Z. & Schobbens, P. Y., 9 avr. 2018, Programming 2018 Companion - Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming. Sartor, J. B. & Marr, S. (eds.). ACM Press, Vol Part F137691. p. 42-45 4 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Agents as a Key Concept for Information Systems Requirements Engineering

    Petit, M., Heymans, P. & Schobbens, P-Y., 1999, Agent-Oriented Information Systems'99: AOIS99.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Agents and Roles: Refinement in Alternating-Time Temporal Logic

    Ryan, M. & Schobbens, P-Y., 2002, Proceedings of Agents: Theories, Achitectures and Languages (ATAL). Meyer, J. J. (Ed.). Vol 2333. p. 100-114 15 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • A framework for the rigorous design of highly adaptive timed systems

    Cordy, M., Legay, A., Schobbens, P. Y. & Traonouez, L. M., 28 oct. 2013, 2013 1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013 - Proceedings. p. 64-70 7 p. 6612279

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    35 Téléchargements (Pure)

  • Achieving, satisficing, and excelling

    Jureta, I. J., Faulkner, S. & Schobbens, P. Y., 1 déc. 2007, Advances in Conceptual Modeling - Foundations and Applications - ER 2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM, SeCoGIS, Proceedings. p. 286-295 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 4802 LNCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Achieving, Satisfacing and Excelling

    Jureta, I., Faulkner, S. & Schobbens, P-Y., 2007, Requirements, Intentions and Goals in Conceptual Modelling (RIGIM'07), Lecture Notes in Computer Science 4802. Vol 1. p. 286-295 10 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Abstract test case generation for behavioural testing of software product lines

    Devroey, X., Perrouin, G. & Schobbens, P-Y., 15 sept. 2014, ACM International Conference Proceeding Series. Florence, Italy: ACM Press, Vol 2. p. 86-93 8 p. (SPLC '14).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    File
    68 Téléchargements (Pure)
Votre message a bien été envoyé.
Votre message n’a pas été envoyé en raison d’une erreur.