Photo of Pierre-Yves Schobbens

View Scopus Profile

Pierre-Yves Schobbens

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

  • Belgium

  • 2507 Citations
  • 23 h-Index
1986 …2023
If you made any changes in Pure these will be visible here soon.

Research Output 1986 2019

Filter
Other report
2005

Class-Level Behavioral Modeling and Synthesis

Bontemps, Y., Heymans, P., Saval, G., Schobbens, P-Y. & Trigaux, J-C., 2005, Namur, Belgium: University of Namur, Computer Science Institute.

Research output: Book/Report/Journal › Other report

1999

Axioms for real-time logics

Henzinger, T., Raskin, J-F. & Schobbens, P-Y., 1999, Saarbrücken (Germany): Max-Planck-Institut für Informatik.

Research output: Book/Report/Journal › Other report

The formal semantics of Albert II

Chabot, F., Ferier, L., Raskin, J-F. & Schobbens, P-Y., 1999, Namur: FUNDP Institut d'Informatique.

Research output: Book/Report/Journal › Other report

The logic of event clocks

Schobbens, P-Y. & Raskin, J-F., 1999, Saarbrücken (Germany): Max-Planck-Institut für Informatik.

Research output: Book/Report/Journal › Other report