Articles dans des revues avec comité de lecture (185)

  1. 113. Classen, A., Heymans, P., Schobbens, P.-Y., Legay, A., & Raskin, J.-F. (2010). Model checking lots of systems: Efficient verification of temporal properties in software product lines. Proceedings - International Conference on Software Engineering, 1, 335-344. doi:10.1145/1806799.1806850
  2. 114. Filiot, E., Raskin, J.-F., Reynier, P.-A., Servais, F., & Talbot, J.-M. (2010). Properties of Visibly Pushdown Transducers (MFCS). Lecture notes in computer science, 6281.
  3. 115. Doyen, L., & Raskin, J.-F. (2009). Improved Algorithms for the Automata-Based Approach to Model-Checking. Logical methods in computer science, 5(1), 1-20.
  4. 116. Doyen, L., & Raskin, J.-F. (2009). Antichains for the automata-based approach to model-checking. Logical methods in computer science, 5(1), 1-20. doi:10.2168/LMCS-5 (1:5) 2009
  5. 117. Doyen, L., Geeraerts, G., Raskin, J.-F., & Reichert, J. (2009). Realizability of real-time logics. Lecture notes in computer science, 5813.
  6. 118. Ganty, P., Maquet, N., & Raskin, J.-F. (2009). Fixpoint guided abstraction refinement for alternating automata. Lecture notes in computer science, 5642 LNCS, 155-164. doi:10.1007/978-3-642-02979-0_19
  7. 119. Filiot, E., Jin, N., & Raskin, J.-F. (2009). An antichain algorithm for LTL realizability. Lecture notes in computer science, 5643 LNCS, 263-277. doi:10.1007/978-3-642-02658-4_22
  8. 120. Cassez, F. F., Jessen, J. J., Larsen, K. G., Raskin, J.-F., & Reynier, P.-A. (2009). Automatic synthesis of robust and optimal controllers - An industrial case study. Lecture notes in computer science, 5469, 90-104. doi:10.1007/978-3-642-00602-9_7
  9. 121. De Wulf, M., Doyen, L., Markey, N. N., & Raskin, J.-F. (2008). Robust safety of timed automata. Formal methods in system design, 33(1-3), 45-84. doi:10.1007/s10703-008-0056-7
  10. 122. Doyen, L., Henzinger, T. A., & Raskin, J.-F. (2008). Equivalence of labeled Markov chains. International journal of foundations of computer science, 19(3), 549-563. doi:10.1142/S0129054108005814
  11. 123. Bruyère, V., Dall'Olio, E., & Raskin, J.-F. (2008). Durations and parametric model-checking in timed automata. ACM transactions on computational logic, 9(2), 12. doi:10.1145/1342991.1342996
  12. 124. Raskin, J.-F., & Servais, F. (2008). Visibly pushdown transducers. Lecture notes in computer science, 5126, 386-397.

  13. << Précédent 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 Suivant >>