( en | de | ru )

 

Disambiguation of "Hansen, Henri"

Author of the publication

copydeleteadd this publication to your clipboard
Guard-based partial-order reduction.

, , , and . Int. J. Softw. Tools Technol. Transf., 18 (4): 427-448 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Henri Hansen

Henri Berger

Henri Cohrt

Henri Adler

Henri Schutzbach

 

Other publications of authors with the same name

Safety Property-Driven Stubborn Sets., and . RP, volume 9899 of Lecture Notes in Computer Science, page 90-103. Springer, (2016)Detachment Problem - Application in Prevention of Information Leakage in Stock Markets., and . CoRR, (2024)Progress Checking for Dummies., and . FMICS, volume 11119 of Lecture Notes in Computer Science, page 115-130. Springer, (2018)Exploring the Scope for Partial Order Reduction., , and . ATVA, volume 5799 of Lecture Notes in Computer Science, page 39-53. Springer, (2009)Larger Automata and Less Work for LTL Model Checking., and . SPIN, volume 3925 of Lecture Notes in Computer Science, page 53-70. Springer, (2006)Can Stubborn Sets Be Optimal?, and . Fundam. Informaticae, 113 (3-4): 377-397 (2011)Stubborn Set Intuition Explained., and . Trans. Petri Nets Other Model. Concurr., (2017)FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers., , , , , and . ASE, page 793-803. IEEE Computer Society, (2017)On the Origin of Events: Branching Cells as Stubborn Sets., and . Petri Nets, volume 6709 of Lecture Notes in Computer Science, page 248-267. Springer, (2011)Stubborn Set Intuition Explained., and . PNSE @ Petri Nets, volume 1591 of CEUR Workshop Proceedings, page 213-232. CEUR-WS.org, (2016)