Nombre de documents

19

CV de Stefan Haar


Pré-publication, Document de travail5 documents

  • 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>
  • Stefan Haar, Simon Theissing. Forecasting Passenger Loads in Transportation Networks. 2016. <hal-01259585v2>
  • 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>

Communication dans un congrès8 documents

  • 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>
  • Juraj Kolčák, David Šafránek, Stefan Haar, Loïc Paulevé. Unfolding of Parametric Boolean 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-01354109v2>
  • 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>
  • 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>
  • 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>
  • 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>

Article dans une revue5 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. <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>
  • 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>
  • 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>

Direction d'ouvrage, Proceedings1 document