Gabriele Paganelli

Publikationer (4)
Projekt (0)

Visar 4 publikationer

2014

John J. Camilleri, Gabriele Paganelli, Gerardo Schneider

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8625, p. 135-146

Paper i proceeding

2013

Verification Based Failure Detection for Real-Time Java and Floating-Point Computations

Gabriele Paganelli

Licentiatavhandling

2013

Verifying (in-)stability in floating-point programs by increasing precision using SMT solvers

Gabriele Paganelli, Wolfgang Ahrendt

15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013; Timisoara; Romania; 23 September 2013 through 26 September 2013, p. 209-216

Paper i proceeding

2012

Real-time java API specifications for high coverage test generation

Wolfgang Ahrendt, Wojciech Mostowski, Gabriele Paganelli

10th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2012), Copenhagen, 24 - 26 October 2012, p. 145-154

Paper i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.

Det kan finnas fler projekt där Gabriele Paganelli medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.