HVMTP: A time predictable and portable java virtual machine for hard real‐time embedded systems von Luckow, Kasper Søe, Thomsen, Bent, Korsholm, Stephan Erbs

Volltext

One-Click Formal Methods von Backes, John, Bolignano, Pauline, Cook, Byron, Gacek, Andrew, Luckow, Kasper Soe, Rungta, Neha, Schaef, Martin, Schlesinger, Cole, Tanash, Rima, Varming, Carsten, Whalen, Michael

Volltext

Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking von Ravn, Anders P., Thomsen, Bent, Søe Luckow, Kasper, Leth, Lone, Bøgholm, Thomas

Volltext

Symbolic execution and timed automata model checking for timing analysis of Java real-time systems von Luckow, Kasper S., Păsăreanu, Corina S., Thomsen, Bent

Volltext

From Safety Critical Java Programs to Timed Process Models von Thomsen, Bent, Luckow, Kasper Søe, Leth, Lone, Bøgholm, Thomas

Volltext

Complexity vulnerability analysis using symbolic execution von Luckow, Kasper, Kersten, Rody, Pasareanu, Corina

Volltext

Towards harnessing theories through tool support for hard real-time Java programming von Bøgholm, Thomas, Frost, Christian, Hansen, René Rydhof, Jensen, Casper Svenning, Luckow, Kasper Søe, Ravn, Anders P., Søndergaard, Hans, Thomsen, Bent

Volltext

HVM TP : A time predictable and portable java virtual machine for hard real‐time embedded systems von Luckow, Kasper Søe, Thomsen, Bent, Korsholm, Stephan Erbs

Volltext

JDart: A Dynamic Symbolic Analysis Framework von Luckow, Kasper, Dimjašević, Marko, Giannakopoulou, Dimitra, Howar, Falk, Isberner, Malte, Kahsai, Temesghen, Rakamarić, Zvonimir, Raman, Vishwanath

Volltext

Monte Carlo Tree Search for Finding Costly Paths in Programs von Luckow, Kasper, Păsăreanu, Corina S., Visser, Willem

Volltext

A Cloud-Based Execution Framework for Program Analysis von Balasubramanian, Daniel, Kostyuchenko, Dmitriy, Luckow, Kasper, Kersten, Rody, Karsai, Gabor

Volltext

Study of Integrating Random and Symbolic Testing for Object-Oriented Software von Dimjašević, Marko, Howar, Falk, Luckow, Kasper, Rakamarić, Zvonimir

Volltext

Symbolic PathFinder v7 von Luckow, Kasper S., Păsăreanu, Corina S.

Volltext

Policy scope management von Watson, Alexander, Bray, Tyler Stuart, Cook, John, Puchalski, Jeff, Rungta, Neha, Gough, Michael, Luckow, Kasper Søe

Volltext bestellen

POLICY SCOPE MANAGEMENT von Watson, Alexander, Bray, Tyler Stuart, Cook, John, Puchalski, Jeff, Rungta, Neha, Gough, Michael, Luckow, Kasper Søe

Volltext bestellen

Releasing the PSYCO: Using Symbolic Search in Interface Generation for Java von Mues, Malte, Howar, Falk, Luckow, Kasper, Kahsai, Temesghen, Rakamarić, Zvonimir

Volltext

Symbolic Arrays in Symbolic PathFinder von Fromherz, Aymeric, Luckow, Kasper S., Păsăreanu, Corina S.

Volltext

Techniques for analyzing security in computing environments with privilege escalation von Cook, John Byron, Gacek, Andrew Jude, Luckow, Kasper, Schlesinger, Cole, Bolignano, Pauline Virginie, Sweet, Ian, Rungta, Neha, Varming, Carsten

Volltext bestellen

Quantifying permissiveness of access control policies using model counting techniques and automated policy downscaling von Luckow, Kasper Soe, Hadarean, Liana Sorina, Eiers, William Joel, Rungta, Neha

Volltext bestellen

INTENT-BASED GOVERNANCE SERVICE von COOK, John, Byron, VARMING, Carsten, RUNGTA, Neha, BRAY, Tyler, LUCKOW, Kasper, Søe, SCHLESINGER, Cole, GACEK, Andrew, Jude, NEDIC, Andrea, BOLIGNANO, Pauline, Virginie

Volltext bestellen