Browsing by Subject Computer science

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 27 to 46 of 46 < previous 
Issue DateTitleAuthor(s)
2009Knowledge assistantGrech, Olivia Ann (2009)
2017-08Mapping CSP networks to MPI clusters using channel graphs and dynamic instrumentationAzzopardi, Gabriella; Vella, Kevin; Muscat, Adrian
2016-11Nested window management and task-oriented user interfacesVella, Kevin; Zammit, Alan
2021On the monitorability of session types, in theory and practiceBartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste
2021On the monitorability of session types, in theory and practice (Artifact)Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste
2013Parallel construction and update of acceleration structures for ray tracingNapoli, Kevin (2013)
2011Permission-based separation logic for message-passing concurrencyFrancalanza, Adrian; Rathke, Julian; Sassone, Vladimiro
2016-06Run-time monitoring for the diagnosis and recovery of complex physical systemsCataldo, Giacinto De; Colombo, Christian; Franco, Antonio; Pace, Gordon J.; Valentino, Gianluca; Vella, Kevin
2012Runtime verification and compensationsColombo, Christian (2012)
2010Runtime verification of refined system propertiesSchembri, Ruth (2010)
1998-12Seamless parallel computing on heterogeneous networks of multiprocessor workstationsVella, Kevin;
2021Secure implementation of a quantum-future GAKE protocolAbela, Robert; Colombo, Christian; Malo, Peter; Sýs, Peter; Fabšič, Tomáš; Gallo, Ondrej; Hromada, Viliam; Mark Joseph
2000The semantics of verilog using transition system combinatorsPace, Gordon J.
2012Simplifying contract-violating tracesColombo, Christian; Francalanza, Adrian; Grima, Ian
2000Software requirements engineeringDalli, Angelo (2000)
2019A survey of challenges for runtime verification from advanced application domains (beyond software)Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, Joa̋o M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander
2012Token based security applicationsCassar, Gilbert (2012)
2021Towards external calls for blockchain and distributed ledger technologyEllul, Joshua; Pace, Gordon J.
2007UserTID : user task identification : Mozilla Firefox extensionFarrugia, Daniel Ludwig (2007)
2004WEBViewAB : improving the verification of website viewability through the application of reusability and interoperabilitySciberras, Sharon (2004)