OAR@UM: Browsing OAR@UM

Browsing by Subject Java (Computer program language)

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 1 to 20 of 21 next >

Issue Date	Title	Author(s)
2019	Applying runtime verification to group key establishment	Colombo, Christian; González Vasco, María Isabel; Vella, Mark Joseph; Zajac, Pavol
2010	An architecture supporting compensation-aware monitoring	Colombo, Christian; Pace, Gordon J.; Abela, Patrick
2014	Automated monitor generation from jUnit tests	Micallef, Jonathan (2014)
2009	Changing from an imperative to an object-oriented programming paradigm : challenges teachers and students face	Bigeni, Marita
2010	Extending WISE with contract management	Calafato, Aaron (2010)
2010	Extending WISE with contract management	Abela, Charlie; Calafato, Aaron; Pace, Gordon J.
2001	Grey hat hacking web 2.0 applications	Abela, James (2001)
2011	Interfacing of mathematica from application programs	Lautier, Claude (2011)
2013	Introducing Java using game development in a girls' secondary school	Attard, Daniela
2017	JavaScript operating system simulation of processes for instructional use	Calleja, Michael
2018	On the efficiency of extracting static information from memory dumps	Frendo, Dylan
2017	Ontology-based photogrammetric survey in underwater archaeology	Drap, Pierre; Papini, Odile; Sourisseau, Jean-Christophe; Gambin, Timmy
2008	Practical runtime monitoring with impact guarantees of java programs with real-time constraints	Colombo, Christian
2008	Practical runtime monitoring with impact guarantees of Java programs with real-time constraints	Colombo, Christian
2015	The preference learning toolbox	Farrugia, Vincent E.; Martinez, Hector P.; Yannakakis, Georgios N.
2013	Reducing instrumentation points in Larva	Chircop, Luke (2013)
2014	Regression test selection for JAVA using static analysis	Galea, Graziella (2014)
2012	Runtime verification of distributed systems	Masini, Joseph (2012)
2015	StaRVOOrS : unifying static and runtime verification of Java	Ahrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo
2018	Supporting memory safety through assembly transformation	Zammit, Brian

Showing results 1 to 20 of 21 next >