University of Malta

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
University of Malta
 
Country Land
Malta
 
Type of Organization Organisationstyp
Education
Established Gegründet
1769
 
ROR ID
ISNI
0000 0001 2176 9482
URL
 

OrgUnit's Publications


Results 1-11 of 11 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Visconti, Ennio ; Bartocci, Ezio ; Falcone, Yliès ; Nenzi, Laura Adaptable Configuration of Decentralized MonitorsInproceedings Konferenzbeitrag 2024
2Fischer-2022-Science Justice-vor.pdf.jpgFischer, Thomas ; Marchetti-Deschmann, Martina ; Assis, Ana Cristina ; Elad, Michal Levin ; Algarra, Manuel ; Barac, Marko ; Bogdanovic Radovic, Iva ; Cicconi, Flavio ; Claes, Britt ; Frascione, Nunzianda ; George, Sony ; Guedes, Alexandra ; Heaton, Cameron ; Heeren, Ron M.A. ; Lazic, Violeta ; Lerma, José Luis ; Martinez de Yuso Garcia, Maria del Valle ; Nosko, Martin ; O'Hara, John ; Oshina, Ilze ; Palucci, Antonio ; Pawlaczyk, Aleksandra ; Zelená Pospíšková, Kristýna ; de Puit, Marcel ; Radodic, Ksenija ; Rēpele, Māra ; Ristova, Mimoza ; Romolo, Francesco Saverio ; Šafařík, Ivo ; Siketic, Zdravko ; Spigulis, Janis ; Szynkowska-Jozwik, Malgorzata Iwona ; Tsiatsiuyeu, Andrei ; Vella, Joanna ; Dawson, Lorna ; Rödiger, Stefan ; Francese, Simona Profiling and imaging of forensic evidence - A pan-European forensic round robin study part 1: Document forgeryArticle Artikel Jul-2022
3Bartocci Ezio - 2017 - First international Competition on Runtime Verification...pdf.jpgBartocci, Ezio ; Falcone, Yliès ; Bonakdarpour, Borzoo ; Colombo, Christian ; Decker, Normann ; Havelund, Klaus ; Joshi, Yogi ; Klaedtke, Felix ; Milewicz, Reed ; Reger, Giles ; Rosu, Grigore ; Signoles, Julien ; Thoma, Daniel ; Zalinescu, Eugen ; Zhang, Yi First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014Article Artikel 2019
4Sá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 A survey of challenges for runtime verification from advanced application domains (beyond software)Artikel Article 2019
5Bartocci, Ezio ; Falcone, Ylies ; Francalanza, Adrian ; Reger, Giles Introduction to Runtime VerificationBuchbeitrag Book Contribution2018
6Bartocci, Ezio Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial)Konferenzbeitrag Inproceedings 2018
7Sant, Zdenka ; Vella, Alain ; Blanchard, Romane ; Hellmich, Christian Micromechanics Applied to Macro-Model of a Spinal SegmentKonferenzbeitrag Inproceedings2014
8Blanchard, Romane ; Morin, Claire ; Vella, Alain ; Sant, Zdenka ; Hellmich, Christian Intra-Voxel Micro-Elasto-Plasticity for CT-Based Patient-Specific Fracture Risk Assessment of VertebraeKonferenzbeitrag Inproceedings2014
9Blanchard, Romane ; Morin, Claire ; Vella, Alain ; Sant, Zdenka ; Hellmich, Christian Intra-Voxel Micro-Elasto-Plasticity for CT-Based Patient-Specific Fracture Risk Assessment of VertebraeKonferenzbeitrag Inproceedings2014
10Blanchard, Romane ; Morin, Claire ; Vella, Alain ; Sant, Zdenka ; Hellmich, Christian Intravoxel Micro-Elasto-Plasticity for CT-Based Patient-Specific Fracture Risk Assessment of VertebraeKonferenzbeitrag Inproceedings2014
11Sant, Zdenka ; Blanchard, Romane ; Hellmich, Christian Micro-Structure for FEA Macro-ModelKonferenzbeitrag Inproceedings2012