Hanna Klaudel - RankMe

89 papers A* 1A 2B 9C 7Misc 4Journal 29Unranked 36

Year	Rank	Type	Title / Venue / Authors
2024	C	`conf`	An autonomous vehicle in a connected environment: case study of cyber-resilience. FedCSIS Guillaume Hutzler, Hanna Klaudel, Witold Klaudel, Franck Pommereau, Artur Rataj
2024	Misc	`conf`	Automatic Discovery of Cyberattacks. CSR Guillaume Hutzler, Hanna Klaudel, Witold Klaudel, Franck Pommereau, Artur Rataj
2023	J	`jnl`	An Efficient State Space Construction for a Class of Timed Automata. Trans. Petri Nets Other Model. Concurr. Johan Arcile, Raymond Devillers, Hanna Klaudel
2023	B	`conf`	Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata. CONCUR Clément Bertrand, Cinzia Di Giusto, Hanna Klaudel, Damien Regnault
2023	J	`jnl`	Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata. CoRR Clément Bertrand, Cinzia Di Giusto, Hanna Klaudel, Damien Regnault
2023	C	`conf`	Factorization of the State Space Construction for Cyclic Systems with Data. VECoS Johan Arcile, Raymond Devillers, Hanna Klaudel
2022	B	`conf`	Layered Memory Automata: Recognizers for Quasi-Regular Languages with Unbounded Memory. Petri Nets Clément Bertrand, Hanna Klaudel, Frédéric Peschanski
2020	J	`jnl`	Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks. Fundam. Informaticae Johan Arcile, Raymond Devillers, Hanna Klaudel
2020	Misc	`conf`	Filtering Distributed Information to Build a Plausible Scene for Autonomous and Connected Vehicles. DCAI Guillaume Hutzler, Hanna Klaudel, Abderrahmane Sali
2020	—	`conf`	Models for Dynamic Exploration of the Statespaces of Autonomous Vehicles. PNSE@Petri Nets Johan Arcile, Raymond Devillers, Hanna Klaudel
2020	A	`conf`	VERIFCAR: A Framework for Modeling and Model checking Communicating Autonomous Vehicles. AAMAS Johan Arcile, Raymond Devillers, Hanna Klaudel
2019	—	`conf`	Analysis of Discrete Models for Ecosystem Ecology. BIOSTEC (Selected Papers) Cinzia Di Giusto, Cédric Gaucherel, Hanna Klaudel, Franck Pommereau
2019	J	`jnl`	Dynamic exploration of multi-agent systems with timed periodic tasks. CoRR Johan Arcile, Raymond Devillers, Hanna Klaudel
2019	J	`jnl`	From Box Algebra to Interval Temporal Logic. Fundam. Informaticae Hanna Klaudel, Maciej Koutny, Zhenhua Duan, Ben C. Moszkowski
2019	—	`conf`	Pattern Matching in Discrete Models for Ecosystem Ecology. BIOINFORMATICS Cinzia Di Giusto, Cédric Gaucherel, Hanna Klaudel, Franck Pommereau
2019	J	`jnl`	VerifCar: a framework for modeling and model checking communicating autonomous vehicles. Auton. Agents Multi Agent Syst. Johan Arcile, Raymond Devillers, Hanna Klaudel
2018	J	`jnl`	Activity Networks with Delays an Application to Toxicity Analysis. Fundam. Informaticae Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel, Antoine Spicher
2018	—	`conf`	Modélisation du changement de voie de véhicules autonomes à différents niveaux d'abstraction. JFSMA Jérémy Sobieraj, Lydie Nouvelière, Guillaume Hutzler, Hanna Klaudel
2018	B	`conf`	Pattern Matching in Link Streams: A Token-Based Approach. Petri Nets Clément Bertrand, Hanna Klaudel, Matthieu Latapy, Frédéric Peschanski
2018	J	`jnl`	Pattern Matching in Link Streams: Timed-Automata with Finite Memory. Sci. Ann. Comput. Sci. Clément Bertrand, Frédéric Peschanski, Hanna Klaudel, Matthieu Latapy
2017	—	`conf`	Combination of Simulation and Model-Checking for the Analysis of Autonomous Vehicles' Behaviors: A Case Study. EUMAS/AT Johan Arcile, Jérémy Sobieraj, Hanna Klaudel, Guillaume Hutzler
2017	Misc	`conf`	Modeling and checking robustness of communicating autonomous vehicles. DCAI Johan Arcile, Raymond Devillers, Hanna Klaudel, Witold Klaudel, Bozena Wozna-Szczesniak
2017	—	`conf`	Modélisation et simulation de la coopération dans les STI : un comparatif. JFSMA Jérémy Sobieraj, Guillaume Hutzler, Hanna Klaudel
2016	—	`ch.`	A Modular, Qualitative Modeling of Regulatory Networks Using Petri Nets. Modeling in Systems Biology, The Petri Net Approach Claudine Chaouiya, Hanna Klaudel, Franck Pommereau
2016	—	`conf`	Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata. FORMATS Raymond Devillers, Hanna Klaudel
2016	J	`jnl`	Activity Networks with Delays An application to toxicity analysis. CoRR Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel
2016	—	`conf`	From Petri Nets with Shared Variables to ITL. ACSD Hanna Klaudel, Maciej Koutny, Ben C. Moszkowski
2016	J	`jnl`	Networks and games for precision medicine. Biosyst. Célia Biane, Franck Delaplace, Hanna Klaudel
2015	—	`conf`	Indefinite waitings in MIRELA systems. ESSS Johan Arcile, Jean-Yves Didier, Hanna Klaudel, Raymond Devillers, Artur Rataj
2015	—	`conf`	Modelling and Analysing Mixed Reality Applications. ICMMI Johan Arcile, Tadeusz Czachórski, Raymond Devillers, Jean-Yves Didier, Hanna Klaudel, Artur Rataj
2014	A	`conf`	Deadlock and Temporal Properties Analysis in Mixed Reality Applications. ISSRE Raymond Devillers, Jean-Yves Didier, Hanna Klaudel, Johan Arcile
2014	C	`conf`	Interval Temporal Logic Semantics of Box Algebra. LATA Hanna Klaudel, Maciej Koutny, Zhenhua Duan
2014	—	`conf`	Systemic approach for toxicity analysis. BioPPN@Petri Nets Cinzia Di Giusto, Hanna Klaudel, Franck Delaplace
2013	J	`jnl`	A Petri Net Interpretation of Open Reconfigurable Systems. Fundam. Informaticae Frédéric Peschanski, Hanna Klaudel, Raymond Devillers
2013	J	`jnl`	ITL semantics of composite Petri nets. J. Log. Algebraic Methods Program. Zhenhua Duan, Hanna Klaudel, Maciej Koutny
2013	—	`conf`	Implementing Timed Automata Specifications: The "Sandwich" Approach. ACSD Raymond Devillers, Jean-Yves Didier, Hanna Klaudel
2012	—	`conf`	Analysis of Modular Organisation of Interaction Networks Based on Asymptotic Dynamics. CMSB Franck Delaplace, Hanna Klaudel, Tarek Melliti, Sylvain Sené
2012	J	`jnl`	Integrated regulatory networks (IRNs): Spatially organized biochemical modules. Theor. Comput. Sci. Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau
2011	B	`conf`	A Petri Net Interpretation of Open Reconfigurable Systems. Petri Nets Frédéric Peschanski, Hanna Klaudel, Raymond Devillers
2011	J	`jnl`	Analysis of modular organisation of interaction networks based on asymptotic dynamics CoRR Franck Delaplace, Hanna Klaudel, Tarek Melliti, Sylvain Sené
2011	—	`conf`	State Space Exploration of Spatially Organized Populations of Agents. SASO Workshops Antoine Dautriche, Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau
2010	—	`conf`	A Decidable Characterization of a Graphical Pi-calculus with Iterators INFINITY Frédéric Peschanski, Hanna Klaudel, Raymond Devillers
2010	—	`conf`	Discrete causal model view of biological networks. CMSB Franck Delaplace, Hanna Klaudel, Amandine Cartier-Michaud
2010	—	`conf`	Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections MeCBIC Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau
2010	J	`jnl`	State Space Reduction for Dynamic Process Creation. Sci. Ann. Comput. Sci. Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau
2009	—	`conf`	An approach to state space reduction for systems with dynamic process creation. ISCIS Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau
2009	—	`conf`	Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters. INFINITY Franck Pommereau, Raymond Devillers, Hanna Klaudel
2009	J	`jnl`	The MIRELA framework: modeling and analyzing mixed reality applications using timed automata. J. Virtual Real. Broadcast. Jean-Yves Didier, Bachir Djafri, Hanna Klaudel
2008	J	`jnl`	A compositional Petri net translation of general Formal Aspects Comput. Raymond Devillers, Hanna Klaudel, Maciej Koutny
2008	J	`jnl`	M-nets: a survey. Acta Informatica Hanna Klaudel, Franck Pommereau
2008	A*	`conf`	MIRELA: A Language for Modeling and Analyzing Mixed Reality Applications Using Timed Automata. VR Jean-Yves Didier, Bachir Djafri, Hanna Klaudel
2008	B	`conf`	Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets. Petri Nets Roland Bouroulet, Raymond Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau
2008	C	`conf`	Towards Efficient Verification of Systems with Dynamic Process Creation. ICTAC Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau
2007	J	`jnl`	From MIN model to ordinary differential equations. J. Integr. Bioinform. Anastasia Yartseva, Raymond Devillers, Hanna Klaudel, François Képès
2007	J	`jnl`	Incremental and unifying modelling formalism for biological interaction networks. BMC Bioinform. Anastasia Yartseva, Hanna Klaudel, Raymond Devillers, François Képès
2007	—	`conf`	Modelling Mobility in High-level Petri Nets. ACSD Raymond Devillers, Hanna Klaudel, Maciej Koutny
2006	C	`conf`	A Petri Net Translation of ICTAC Raymond Devillers, Hanna Klaudel, Maciej Koutny
2006	—	`conf`	Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language). ACSD Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz
2006	J	`jnl`	Petri Net Semantics of the Finite pi-calculus Terms. Fundam. Informaticae Raymond Devillers, Hanna Klaudel, Maciej Koutny
2006	J	`jnl`	Systèmes multi-agents adaptatifs avec contraintes temps-réel. Tech. Sci. Informatiques Guillaume Hutzler, Hanna Klaudel, Dong Yue Wang
2006	C	`conf`	Tutorial on Formal Methods for Distributed and Cooperative Systems. ICTAC Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg
2005	—	`conf`	A Petri Net Semantics of a Simple Process Algebra for Mobility. EXPRESS Raymond Devillers, Hanna Klaudel, Maciej Koutny
2005	—	`conf`	Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets. ICATPN Jean-Paul Comet, Hanna Klaudel, Stéphane Liauzu
2005	J	`jnl`	Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets. Fundam. Informaticae Raymond Devillers, Hanna Klaudel
2004	—	`conf`	A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets. ACSD Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz
2004	—	`conf`	Automates temporisés et systèmes multi-agents temps-réel. JFSMA Guillaume Hutzler, Hanna Klaudel, Dong Yue Wang
2004	—	`conf`	Context-based Process Algebras for Mobility. ACSD Raymond Devillers, Hanna Klaudel, Maciej Koutny
2004	B	`conf`	Object-Oriented Modelling with High-Level Modular Petri Nets. IFM Cécile Bui Thanh, Hanna Klaudel
2004	C	`conf`	Petri Net Semantics of the Finite pi-Calculus. FORTE Raymond Devillers, Hanna Klaudel, Maciej Koutny
2004	—	`conf`	Towards Timed Automata and Multi-agent Systems. FAABS Guillaume Hutzler, Hanna Klaudel, Dong Yue Wang
2003	J	`jnl`	Asynchronous Box Calculus. Fundam. Informaticae Raymond Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau
2003	J	`jnl`	General parameterised refinement and recursion for the M-net calculus. Theor. Comput. Sci. Raymond Devillers, Hanna Klaudel, Robert-C. Riemann
2002	J	`jnl`	A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems. Fundam. Informaticae Hanna Klaudel, Franck Pommereau
2002	—	`conf`	An Algebra of Non-safe Petri Boxes. AMAST Raymond Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau
2002	—	`conf`	Petri nets with causal time for system verification. MTCS Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau
2001	—	`conf`	A Concurrent Semantics of Static Exceptions in a Parallel Programming Language. ICATPN Hanna Klaudel, Franck Pommereau
2001	J	`jnl`	Compositional high-level Petri net semantics of a parallel programming language with procedures. Sci. Comput. Program. Hanna Klaudel
2000	B	`conf`	A Concurrent and Compositional Petri Net Semantics of Preemption. IFM Hanna Klaudel, Franck Pommereau
2000	J	`jnl`	An Algebraic Box Calculus. J. Autom. Lang. Comb. Raymond Devillers, Hanna Klaudel, Elisabeth Pelz
1999	—	`conf`	Asynchronous Links in the PBC and M-Nets. ASIAN Hanna Klaudel, Franck Pommereau
1999	Misc	`conf`	Refinement-based Semantics of Parallel Procedures. PDPTA Hanna Klaudel, Robert-C. Riemann
1998	J	`jnl`	M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. Acta Informatica Eike Best, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
1998	—	`conf`	M-net Calculus Based Semantics for Triggers. ICATPN Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann
1997	—	`conf`	General Refinement for High Level Petri Nets. FSTTCS Raymond Devillers, Hanna Klaudel, Robert-C. Riemann
1997	B	`conf`	High Level Expressions with their SOS Semantics (Extended Abstract). CONCUR Hanna Klaudel, Robert-C. Riemann
1995	—	`conf`	A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN) Application and Theory of Petri Nets Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
1995	—	`conf`	An M-net Semantics of B(PN)2. STRICT Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
1995	B	`conf`	Communication as Unification in the Petri Box Calculus. FCT Hanna Klaudel, Elisabeth Pelz
1995	—	`conf`	Refinement and Recursion in a High Level Petri Box Calculus. STRICT Raymond Devillers, Hanna Klaudel