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

  • 1988

    Precise Standards through Formal Specifications: a Case Study: the Unix File System

    Declerfayt, O., Demeuse, B., Milgrom, E., Schobbens, P-Y. & Wautier, F., 1988, Proc. Autumn '88 EUUG Conference.

    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

  • Une Notation pour la Spécification Algébrique de Systèmes Concurrents

    Broy, M. & Schobbens, P-Y., 1988, 4e Colloque de Génie Logiciel (CGL4). Paris: Association française pour la cybernétique économique et technique , p. 141-152 12 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

  • 1990

    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

  • 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

  • Formalising methods: an experiment with VDM

    Ledru, Y. & Schobbens, P-Y., 1990, Proceedings of the 5th Australian Software Engineering Conference (ASWEC'90). p. 45-50 6 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

  • Two approaches towards the formalisation of VDM

    Lafontaine, C., Ledru, Y. & Schobbens, P-Y., 1990, VDM'90: VDM and Z!. Vol 428. p. 370-398 29 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

  • 1991

    Clean algebraic exceptions with implicit propagation

    Schobbens, P-Y., 1991, Proceedings of the Second International Conference on Algebraic Methodology and Software Technology (AMAST).

    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

  • On the Meaning of "but

    Schobbens, P. Y., 25 oct. 1991, IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design. ACM Press, p. 185-192 8 p. (IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design).

    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

  • 1993

    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

  • Circumscribing equality: a better way

    Schobbens, P-Y., 1993, Proceedings of First Dutch/German Workshop on Non-Monotonic Reasoning. Nejdl, W. (Ed.).

    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

  • Operators and laws for combining preference relations

    Ryan, M., Schobbens, P-Y. & Andréka, H., 1993, Selected Papers of the Intl. Workshop on Information Systems: Correctness and Reuse. Wieringa, R. & Feenstra, R. (eds.). p. 191-206 16 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

  • 1994

    Extensions of initial models and their second-order proof systems

    Schobbens, P. Y., 1 janv. 1994, Higher-Order Algebra, Logic, and Term Rewriting - 1st International Workshop, HOA 1993, Selected Papers. Springer Verlag, p. 326-344 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 816 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

  • Second-order proof systems for algebraic specification languages

    Schobbens, P. Y., 1 janv. 1994, Recent Trends in Data Type Specification - 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Selected Papers. Springer Verlag, p. 321-336 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 785 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

  • 1996

    Counterfactuals and updates as inverse modalities

    Rodrigues, O., Ryan, M. & Schobbens, P-Y., 1996, Proceedings of the International Conference on Theoretical Aspects of Rationality and Knowledge (TARK96). Shoham, Y. (Ed.). p. 163-173 11 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

  • Intertranslating counterfactuals and updates

    Ryan, M. & Schobbens, P-Y., 1996, 12th European Conference on Artificial Intelligence (ECAI). Wahlster, W. (Ed.). p. 100-104 5 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

  • 1997

    Event clock logic : a decidable real-time logic

    Raskin, J-F. & Schobbens, P-Y., 1997, Proc. International Workshop on Real-time and Hybrid Systems: HART'97.

    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

  • Real-time logics: Fictitious clock as an abstraction of dense time

    Raskin, J. F. & Schobbens, P. Y., 1 janv. 1997, Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings. Springer Verlag, p. 165-182 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 1217).

    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

  • State clock logic: A decidable real-time logic

    Raskin, J. F. & Schobbens, P. Y., 1 janv. 1997, Hybrid and Real-Time Systems - International Workshop, HART 1997, Proceedings. Springer Verlag, p. 33-47 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 1201).

    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

  • 1998

    Axiomatization of real-time logics

    Schobbens, P-Y., 1998, Information Systems as Reactive Systems. Ehrich, H. D., Goltz, U. & Meseguer, J. (eds.). Vol 200.

    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

  • Axioms for Real-Time Logics

    Raskin, J-F., Schobbens, P-Y. & Henzinger, T., 1998, CONCUR'98: 9th International Conference on Concurrency Theory. Sangiorgi, D. & de, R. (eds.). Springer Verlag, Vol 1466.

    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

  • The regular real-time languages

    Henzinger, T., Raskin, J-F. & Schobbens, P-Y., 1998, Proceedings of ICALP'98: International Colloquium on Automata, Languages and Programming. Larsen, K. (Ed.). Vol 1343. p. 580-591 12 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

  • 1999

    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

  • Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees

    Ferier, L., Raskin, J-F. & Schobbens, P-Y., 1999, SMC'99: First International Workshop on Symbolic Model Checking. Cimatti, A. & Grumberg, O. (eds.). Trento: Elsevier, Vol 23-1. p. 107-127 21 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

  • Preface

    Meyer, J. J. C. & Schobbens, P. Y., 1 janv. 1999, Formal Models of Agents - ESPRIT Project ModelAge Final Workshop, Selected Papers. Springer Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 1760).

    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

  • 2000

    Proving feature non-interaction with Alternating-Time Temporal Logic

    Cassez, F., Ryan, M. & Schobbens, P-Y., 2000, Language Constructs for Describing Features: Proceedings of the FIREworks workshop. Gilmore, S. & Ryan, M. D. (eds.). London: Springer, p. 85-103 19 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

  • 2002

    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

  • Approximating ATL* in ATL

    Harding, A., Ryan, M. & Schobbens, P-Y., 2002, Proceedings of the Third International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI02, Venice. Cortesi, T. (Ed.). Vol 2294. p. 289-301 13 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

  • Realizing KAOS agents

    Schobbens, P-Y., 2002, Proc. Symposium on Logic in Games and Multiagent Systems. Marc Pauly

    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

  • 2003

    Feature Integration as Substitution

    Guelev, D., Ryan, M. & Schobbens, P-Y., 2003, Proc. Feature Integration Workshop. Amyot, D. & Logrippo, L. (eds.).

    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

  • Symbolic Synthesis for ATL*

    Harding, A., Ryan, M. & Schobbens, P-Y., 2003, Proc. Symposium on Logic in Games and Multiagent Systems: Liverpool, July 2002. Pauly, M. (Ed.).

    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

  • Synthèse de stratégies sans déterminisation

    Harding, A., Ryan, M. & Schobbens, P-Y., 2003, (Non publié) Actes de la Conférence sur les Modèles Formels de l'Interaction. Chaib-Draa, B. & Herzig, A. (eds.).

    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

  • Synthesis of Open Reactive Systems from scenario-based specification

    Bontemps, Y. & Schobbens, P-Y., 2003, (Non publié) Proc. Third International Conference on Application of Concurrency to System Design. Lilius, J. & Balarin, F. (eds.).

    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

  • Synthesis of open reactive systems from scenario-based specifications

    Bontemps, Y. & Schobbens, P. Y., 1 janv. 2003, Proceedings - 3rd International Conference on Application of Concurrency to System Design, ACSD 2003. Institute of Electrical and Electronics Engineers Inc., Vol 2003-January. p. 41-50 10 p. 1207698

    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

  • Towards symbolic strategy synthesis for A-LTL

    Harding, A., Ryan, M. & Schobbens, P-Y., 2003, 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003),. p. 137-146 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

  • 2004

    FireWorks: A Formal Transformation-Based Model-Driven Approach to Features in Product Lines

    Ryan, M. & Schobbens, P-Y., 2004, Proc. of Workshop on Software Variability Management for Product Derivation (Towards Tool Support). Tomi, M. & Jan, B. (eds.).

    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

  • Model-checking access control policies

    Guelev, D., Ryan, M. & Schobbens, P-Y., 2004, Information Security: ISC 2004. Zhang, K. & Zheng, Y. (eds.). Berlin: Springer, p. 219-230 12 p. (Lecture Notes in Computer Science; Vol 3225).

    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

  • Semantics of FODA Feature Diagrams

    Bontemps, Y., Schobbens, P-Y., Heymans, P. & Trigaux, J-C., 2004, Proceedings of Workshop on Software Variability Management for Product Derivation Towards Tool Support held in conjunction with the 8th international Conference on Software Product Line Conference (SPLC'04): HUT-SoberIT-C6. Mannisto, T. & Bosch, J. (eds.). Helsinki, Finland: T. Mannisto and J. Bosch, p. 48-58 11 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

  • 2005

    Generic Semantics of Feature Diagrams Variants

    Bontemps, Y., Heymans, P., Schobbens, P-Y. & Trigaux, J-C., 2005, Proceedings of 8th International Conference on Feature Interactions in Telecommunications and Software Systems. Reiff-Marganiec, S. & Ryan, M. D. (eds.). Leicester, UK: IOS Press, p. 58-77 20 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

  • Lightweight Formal Methods for Scenario-based Software Engineering

    Bontemps, C., Heymans, P. & Schobbens, P-Y., 2005, Scenarios: Models, Transformations and Tools. Leue, S. & Johanna, T. (eds.). Springer, Vol 3466. p. 174-192 19 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

  • Model-checking the preservation of temporal properties upon feature integration

    Guelev, D. P., Ryan, M. & Schobbens, P. Y., 23 mai 2005, Proceedings of the Fouth International Workshop on Automate Verification of Critical Systems (AVoCS 2004). 6 Ed. Vol 128. p. 311-324 14 p. (Electronic Notes in Theoretical 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

  • The complexity of live sequence charts

    Bontemps, Y. & Schobbens, P. Y., 19 sept. 2005, 8th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2005. Vol 3441. p. 364-378 15 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

  • 2006

    Comparative Semantics of Feature Diagrams: FFD vs vDFD

    Trigaux, J-C., Heymans, P., Schobbens, P-Y. & Classen, A., 2006, Proceedings of the Workshop on Comparative Evaluation in Requirements Engineering (CERE'06) held in conjunction with the 14th IEEE International Requirements Engineering Conference (RE'06).

    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
    113 Téléchargements (Pure)

  • Comparative semantics of Feature Diagrams: FFD vs vDFG (extended abstract)

    Trigaux, J-C., Heymans, P. & Schobbens, P-Y., 2006, Proceedings of 18th International Workshop on Algebraic Development Technique (WADT'06).

    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

  • Feature Diagrams: A Survey and A Formal Semantics: (An extended version of this paper appears in Journal of Computer Networks, February 2007)

    Schobbens, P-Y., Heymans, P., Trigaux, J-C. & Bontemps, Y., 2006, Proceedings of 14th IEEE International Requirements Engineering Conference (RE'06). Glinz, M. & Lutz, R. (eds.). Minneapolis/St. Paul Minesota, USA: IEEE Computer society, p. 139-148 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

  • From Interaction Diagrams to State Machines: Moving to Class-Level

    Bontemps, Y., Saval, G., Heymans, P. & Schobbens, P-Y., 2006, Digest of the 18th International Workshop on Algebraic Development Techniques (WADT'06). Luiz, J. & Pierre-Yves, F. (eds.).

    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

  • From Interaction Diagrams to State Machines: Moving to Class-Level

    Bontemps, Y., Saval, G., Heymans, P. & Schobbens, P-Y., 2006, Actes de la 7e Conférence Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'06). Vignes, S. & Viguié, V. (eds.). Paris, France: Ecole Nationale Supérieure des Télécommunications, p. 45-61 17 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

  • Justifying goal models

    Jureta, I., Faulkner, S. & Schobbens, P. Y., 1 déc. 2006, Proceedings - 14th IEEE International Requirements Engineering Conference, RE'06. p. 116-125 10 p. 1704055

    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

  • 2007

    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

  • 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

  • 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

Votre message a bien été envoyé.
Votre message n’a pas été envoyé en raison d’une erreur.