Browsing by Subject Computer software -- Development

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 58 to 77 of 109 < previous   next >
Issue DateTitleAuthor(s)
2009Offline runtime verification with real-time properties : a case studyColombo, Christian; Pace, Gordon J.; Abela, Patrick
2016On implementing a monitor-oriented programming framework for actor systemsCassar, Ian; Francalanza, Adrian
2010On knowledge management in software development life cyclesCachia, Ernest; Micallef, Mark
2017On the complexity of determinizing monitorsAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Saevar Orn
2015On verifying Hennessy-Milner logic with recursion at runtimeFrancalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2019OSLC adapter for ANaConDAVasicek, Ondrey
2013-11Overview of peer-to-peer networks and challenges in trust and reputationMangion, Andrea; Micallef, Mark
2015-11An overview of techniques aimed at automatically generating oracles from testsChircop, Luke; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J.
2012PolyLARVA : runtime verification with configurable resource-aware monitoring boundariesColombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2013PolyLarva : technology agnostic runtime verificationColombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2008A practical approach to runtime verification of real-time properties for Java programsColombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2008Practical runtime monitoring with impact guarantees of java programs with real-time constraintsColombo, Christian
2021PrefaceLeucker, Martin; Colombo, Christian
2019Pushing runtime verification to the limit : may process semantics be with usDella Monica, Dario; Francalanza, Adrian
2014A rational perspective on software modelingSpiteri Staines, Tony
2004Reading between the lines of code : visualising a program’s lifetimeSultana, Nikolai
2004Real-time 3D simulation for indoor fire safety engineeringBorg Cardona, Michael (2004)
2001A real-time software system development CASE toolVella, Mark Joseph
2014Regression test selection for JAVA using static analysisGalea, Graziella (2014)
1978Reliability studies involving electronic componentsZarb, Joseph S. (1978)