E-LIB Suche - Ergebnisse für: Luckow, Kasper Søe

1

One-Click Formal Methods:

Backes, John ; Bolignano, Pauline ; Cook, Byron...
IEEE Software. 36 (2019) 6 - p. 61-65 , 2019

2

HVMTP: A time predictable and portable java virtual machine..:

Luckow, Kasper Søe ; Thomsen, Bent ; Korsholm, Stephan Erbs
Concurrency and Computation: Practice and Experience. 29 (2016) 22 - p. , 2016

Link: https://doi.org/10.1002/..

3

HVMTP : A Time Predictable and Portable Java Virtual Mac..:

, In: Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems,

Luckow, Kasper Søe ; Thomsen, Bent ; Korsholm, Stephan Erbs - p. 107-116 , 2014

Link: https://dl.acm.org/doi/1..

4

TetaSARTS : a tool for modular timing analysis of safety..:

, In: Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems,

Luckow, Kasper Søe ; Bøgholm, Thomas ; Thomsen, Bent. - p. 11-20 , 2013

Link: https://dl.acm.org/doi/1..

5

Towards harnessing theories through tool support for hard r..:

Bøgholm, Thomas ; Frost, Christian ; Hansen, René Rydhof...
Innovations in Systems and Software Engineering. 9 (2012) 1 - p. 17-28 , 2012

Link: https://doi.org/10.1007/..

6

WCET analysis of Java bytecode featuring common execution e..:

, In: Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems,

Frost, Christian ; Jensen, Casper Svenning ; Luckow, Kasper Søe. - p. 30-39 , 2011

Link: https://dl.acm.org/doi/1..

7

Symbolic execution and timed automata model checking for ti..:

Luckow, Kasper Søe ; Păsăreanu, Corina S ; Thomsen, Bent
https://vbn.aau.dk/da/publications/540e4c68-c451-46d7-bef4-1421ce084138. , 2015

Link: https://vbn.aau.dk/da/pu..

8

Safety Critical Java for Robotics Programming:

Thomsen, Bent ; Luckow, Kasper Søe ; Bøgholm, Thomas..
Thomsen , B , Luckow , K S , Bøgholm , T , Thomsen , L L & Korsholm , S 2015 , Safety Critical Java for Robotics Programming . in Z-H Tan , S Bai , T Bak , M Rehm & E A Jochum (eds) , The 3rd AAU Workshop on Robotics : Proceedings . , 6 , Aalborg Universitetsforlag , pp. 38-47 , The 3rd AAU Workshop on Robotics , Aalborg , Denmark , 30/10/2014 .. , 2015

Link: https://vbn.aau.dk/da/pu..

9

Symbolic Arrays in Symbolic PathFinder:

Fromherz, Aymeric ; Luckow, Kasper S. ; Păsăreanu, Corina S.
ACM SIGSOFT Software Engineering Notes. 41 (2017) 6 - p. 1-5 , 2017

Link: https://dl.acm.org/doi/1..

10

Symbolic execution and timed automata model checking for ti..:

Luckow, Kasper S. ; Păsăreanu, Corina S. ; Thomsen, Bent
EURASIP Journal on Embedded Systems. 2015 (2015) 1 - p. , 2015

Link: https://doi.org/10.1186/..

11

Symbolic PathFinder v7:

Luckow, Kasper S. ; Păsăreanu, Corina S.
ACM SIGSOFT Software Engineering Notes. 39 (2014) 1 - p. 1-5 , 2014

Link: https://dl.acm.org/doi/1..

12

Stratified Abstraction of Access Control Policies:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Backes, John ; Berrueco, Ulises ; Bray, Tyler... - p. 165-176 , 2020

Link: https://doi.org/10.1007/..

13

Complexity vulnerability analysis using symbolic execution:

Luckow, Kasper ; Kersten, Rody ; Pasareanu, Corina
Software Testing, Verification and Reliability. 30 (2020) 7-8 - p. , 2020

Link: https://doi.org/10.1002/..

14

Study of Integrating Random and Symbolic Testing for Object..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Dimjašević, Marko ; Howar, Falk ; Luckow, Kasper. - p. 89-109 , 2018

Link: https://doi.org/10.1007/..

15

Releasing the PSYCO : Using Symbolic Search in Interface..:

Mues, Malte ; Howar, Falk ; Luckow, Kasper..
ACM SIGSOFT Software Engineering Notes. 41 (2017) 6 - p. 1-5 , 2017

Link: https://dl.acm.org/doi/1..