Nombre de documents

20

CV de Stefan Haar


Communication dans un congrès8 documents

  • Hugues Mandon, Stefan Haar, Loïc Paulevé. Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph. Eugenio Cinquemani; Alexandre Donzé. Fifth International Workshop on Hybrid Systems Biology (HSB 2016), Oct 2016, Grenoble, France. Springer International Publishing, 9957, pp.113-127, Lecture Notes in Computer Science. <http://hsb2016.imag.fr/>. <10.1007/978-3-319-47151-8_8>. <hal-01354079>
  • Juraj Kolčák, David Šafránek, Stefan Haar, Loïc Paulevé. Unfolding of Parametric Logical Regulatory Networks. The Seventh International Workshop on Static Analysis and Systems Biology (SASB 2016), Sep 2016, Edimbourg, United Kingdom. Elsevier, accepted, Electronic Notes in Theoretical Computer Science. <http://sasb2016.fi.muni.cz/>. <hal-01354109>
  • Stefan Haar, Simon Theissing. Predicting Traffic Load in Public Transportation Networks. 2016 American Control Conference, Jul 2016, Boston, United States. <hal-01329632>
  • Stefan Haar, Simon Theissing. Decoupling Passenger Flows for Improved Load Prediction. 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016) , Aug 2016, Québec City, Canada. <hal-01330136>
  • Stefan Haar, Simon Theissing. A Hybrid-Dynamical Model for Passenger-flow in Transportation Systems. 5th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'15), 2015, Atlanta, Georgia, United States. <hal-01242903>
  • Hernan Ponce de León, César Rodriguez, Josep Carmona, Keijo Heljanko, Stefan Haar. Unfolding-Based Process Discovery. 13th International Symposium on Automated Technology for Verification and Analysis (ATVA'15), 2015, Shanghai, China. Springer, Lecture Notes in Computer Science, 9364. <hal-01242885>
  • Stanislav Böhm, Stefan Haar, Serge Haddad, Piotr Hofman, Stefan Schwoon. Active Diagnosis with Observable Quiescence. 54th IEEE Conference on Decision and Control (CDC'15), 2015, Osaka, Japan. IEEE Control System Society. <hal-01242934>
  • Thomas Chatain, Stefan Haar, Maciej Koutny, Stefan Schwoon. Non-Atomic Transition Firing in Contextual Nets. Springer. 36th International Conference on Applications and Theory of Petri Nets (ICATPN'15), 2015, Brussels, Belgium. Lecture Notes in Computer Science, 9115. <hal-01241129>

Pré-publication, Document de travail5 documents

  • Stefan Haar, Simon Theissing. Forecasting Passenger Loads in Transportation Networks. 2016. <hal-01259585v2>
  • Stefan Haar, Simon Theissing. A Passenger-centric Multi-agent System Model for Multimodal Public Transportation. 2016. <hal-01322956>
  • Stefan Haar, Simon Theissing. Decoupling Passenger Flows for Improved Load Prediction. 2016. <hal-01294498>
  • Stefan Haar, Simon Theissing. Predicting traffic load in public transportation networks. 2016. <hal-01286476v2>
  • Hernán Ponce de León, Stefan Haar, Delphine Longuet. Model Based Testing for Concurrent Systems with Labeled Event Structures. Submitted to a journal. 2013. <hal-00796006>

Article dans une revue6 documents

  • Stefan Haar, Serge Haddad, Tarek Melliti, Stefan Schwoon. Optimal constructions for active diagnosis. Journal of Computer and System Sciences, Elsevier, 2017, 83 (1), pp.101--120. <hal-01395692>
  • Stefan Haar, Serge Haddad, Tarek Melliti, Stefan Schwoon. Optimal constructions for active diagnosis. Journal of Computer and System Sciences, Elsevier, 2017, 83 (1), pp.101-120. <10.1016/j.jcss.2016.04.007>. <hal-01408047>
  • Michell Guzman, Stefan Haar, Salim Perchy, Camilo Rueda, Frank Valencia. Belief, Knowledge, Lies and Other Utterances in an Algebra for Space and Extrusion. Journal of Logical and Algebraic Methods in Programming, Elsevier, 2016, <10.1016/j.jlamp.2016.09.001>. <hal-01257113v4>
  • Vasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon. Diagnosability under Weak Fairness. ACM Transactions on Embedded Computing Systems (TECS), ACM, 2015, 14 (4). <hal-01242989>
  • Stefan Haar. Cyclic Ordering through Partial Orders. Journal of Multiple-Valued Logic and Soft Computing, 2015. <hal-01242990>
  • Hernán Ponce de León, Stefan Haar, Delphine Longuet. Model-based Testing for Concurrent Systems: Unfolding-based Test Selection. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2015. <hal-01242994>

Direction d'ouvrage, Proceedings1 document