( en | de | ru )

 

Disambiguation of "Steffen, Bernhard"

Author of the publication

copydeleteadd this publication to your clipboard
The Automatic Generation of an Efficient Floor Field for CA Simulations in Crowd Management.

, , and . J. Cell. Autom., 15 (1-2): 3-15 (2020)

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.

Bernhard Steffen

Bernhard Steffen

Bernhard Steffen

Bernhard Steffen

Bernhard Steffen

 

Other publications of authors with the same name

Product Line Verification via Modal Meta Model Checking., , , and . From Software Engineering to Formal Methods and Tools, and Back, volume 11865 of Lecture Notes in Computer Science, page 313-337. Springer, (2019)Introduction to the First Issue of FoMaC.. LNCS Trans. Found. Mastering Chang., (2016)Backtracking-Free Design Planning by Automatic Synthesis in METAFrame., and . FASE, volume 1382 of Lecture Notes in Computer Science, page 188-204. Springer, (1998)From the How to the What, and . (2008)The RERS challenge: towards controllable and scalable benchmark synthesis., , , , and . Int. J. Softw. Tools Technol. Transf., 23 (6): 917-930 (2021)TOOLympics II: competitions on formal methods., , , and . Int. J. Softw. Tools Technol. Transf., 23 (6): 879-881 (2021)Forest GUMP: a tool for verification and explanation., , , , and . Int. J. Softw. Tools Technol. Transf., 25 (3): 287-299 (June 2023)Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn)., , and . Int. J. Softw. Tools Technol. Transf., 25 (3): 241-247 (June 2023)Formal Methods Boost Experimental Performance for Explainable AI., , and . IT Prof., 23 (6): 8-12 (2021)An Introduction to Graphical Modeling of CI/CD Workflows with Rig., , , , , and . ISoLA, volume 13036 of Lecture Notes in Computer Science, page 3-17. Springer, (2021)