OAR@UM: Browsing OAR@UM

Browsing by Author Francalanza, Adrian

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 74 to 93 of 112 < previous next >

Issue Date	Title	Author(s)
2015	Runtime adaptation for actor systems	Cassar, Ian; Francalanza, Adrian
2010	Runtime monitoring of distributed systems	Francalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
2017	A runtime monitoring tool for actor-based systems	Attard, Duncan Paul; Cassar, Ian; Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2018	Runtime verification for decentralised and distributed systems	Francalanza, Adrian; Pérez, Jorge A.; Sánchez, César
2012-11	Separation-based reasoning for deterministic channel-passing concurrent programs	Borda, Aimee; Francalanza, Adrian
2021	Session types in Elixir	Tabone, Gerard; Francalanza, Adrian
2018	Shooting from the heap : ultra-scalable static analysis with heap snapshots	Grech, Neville; Fourtounis, George; Francalanza, Adrian; Smaragdakis, Yannis
2012	Simplifying contract-violating traces	Colombo, Christian; Francalanza, Adrian; Grima, Ian
2019	A 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
2019	A 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
2017	A survey of runtime monitoring instrumentation techniques	Cassar, Ian; Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2015	Synthesising correct concurrent runtime monitors	Francalanza, Adrian; Seychell, Aldrin
2019	Testing equivalence vs. runtime monitoring	Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
2007	A theory for observational fault tolerance	Francalanza, Adrian; Hennessy, Matthew
2016	A theory of monitors	Francalanza, Adrian
2021	A theory of monitors	Francalanza, Adrian
2008	A theory of system behaviour in the presence of node and link failure	Francalanza, Adrian; Hennessy, Matthew
2012	Towards a formalisation of Erlang failure and failure detection	Farrugia, Audrianne; Francalanza, Adrian
2015	Towards a hybrid approach to software verification	Della Monica, Dario; Francalanza, Adrian
2020	Towards a hybrid verification methodology for communication protocols (short paper)	Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste

Showing results 74 to 93 of 112 < previous next >