PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Klaedtke, Felix"

Author of the publication

copydeleteadd this publication to your clipboard
Don't care words with an application to the automata-based approach for real addition.

, and . Formal Methods in System Design, 33 (1-3): 85-115 (2008)

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.

Fuchs Felix University of Stuttgart

Felix Baumgärtner University of Stuttgart

Felix Schuderer University of Stuttgart

Felix Grigat University of Stuttgart

Felix Zaiß University of Stuttgart

 

Other publications of authors with the same name

Monitoring Usage-Control Policies in Distributed Systems., , , and . TIME, page 88-95. IEEE, (2011)First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014., , , , , , , , , and 5 other author(s). STTT, 21 (1): 31-70 (2019)Don't Care Words with an Application to the Automata-Based Approach for Real Addition., and . CAV, volume 4144 of Lecture Notes in Computer Science, page 67-80. Springer, (2006)MONPOLY: Monitoring Usage-Control Policies., , , and . RV, volume 7186 of Lecture Notes in Computer Science, page 360-364. Springer, (2011)Scalable Offline Monitoring., , , , , and . RV, volume 8734 of Lecture Notes in Computer Science, page 31-47. Springer, (2014)Optimizing Bounded Model Checking for Linear Hybrid Systems., , , and . VMCAI, volume 3385 of Lecture Notes in Computer Science, page 396-412. Springer, (2005)Decision Procedure for an Extension of WS1S.. CSL, volume 2142 of Lecture Notes in Computer Science, page 384-398. Springer, (2001)Don't care words with an application to the automata-based approach for real addition., and . Formal Methods in System Design, 33 (1-3): 85-115 (2008)Deciding safety and liveness in TPTL., , , and . Inf. Process. Lett., 114 (12): 680-688 (2014)On regular temporal logics with past., , and . Acta Inf., 47 (4): 251-277 (2010)