Result 1 to 20 of 81 total
What is a timing anomaly? (English)
Vardanega, Tullio (ed.), 12th international workshop on worst-case execution time analysis, WCET’12, July 10, 2012, Pisa, Italy. Proceedings. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-41-5). OASIcs ‒ OpenAccess Series in Informatics 23, 1-12, electronic only (2012).
1
Adaptable value-set analysis for low-level code. (English)
Brauer, Jörg (ed.) et al., 6th international workshop on systems software verification, SSV’11, August 26, 2011, Nijmegen, The Netherlands. Papers based on the presentations at the workshop. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-36-1). OASIcs ‒ OpenAccess Series in Informatics 24, 32-43, electronic only (2012).
2
opaal: A lattice model checker. (English)
Bobaru, Mihaela (ed.) et al., NASA formal methods. Third international symposium, NFM 2011, Pasadena, CA, USA, April 18‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20397-8/pbk). Lecture Notes in Computer Science 6617, 487-493 (2011).
3
Challenges in seafloor imaging and mapping with synthetic aperture sonar (English)
IEEE T. Geoscience and Remote Sensing 49, No. 10, 3677-3687 (2011).
4
Refactoring real-time Java profiles (English)
ISORC, 109-116 (2011).
5
The MONARCA self-assessment system: persuasive personal monitoring for bipolar patients (English)
PervasiveHealth, 204-205 (2011).
6
Opaal: A lattice model checker (English)
NASA Formal Methods, 487-493 (2011).
7
METAMOC: modular execution time analysis using model checking. (English)
Lipser, Björn (ed.), 10th international workshop on worst-case execution time analysis (WCET 2010). Selected papers based on the presentations at the workshop, July 6, 2010, Brussels, Belgium. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-21-7). OASIcs ‒ OpenAccess Series in Informatics 15, 113-123, electronic only (2010).
8
From flow logic to static type systems for coordination languages. (English)
Sci. Comput. Program. 75, No. 6, 376-397 (2010).
9
Hybrid logical analyses of the ambient calculus. (English)
Inf. Comput. 208, No. 5, 433-449 (2010).
10
Clang and coccinelle: synergising program analysis tools for CERT C secure coding standard certification (English)
ECEASST 33 (2010).
11
Improving the security of infrastructure software using coccinelle (English)
ERCIM News 2010, No. 83, 54 (2010).
12
Formal modelling and analysis of predictable Java (English)
ERCIM News 2010, No. 81 (2010).
13
The impact of computerized provider order entry on medication errors in a multispecialty group practice (English)
JAMIA 17, No. 1, 78-84 (2010).
14
Finding error handling bugs in openssl using coccinelle (English)
EDCC, 191-196 (2010).
15
Schedulability analysis for Java finalizers (English)
JTRES, 1-7 (2010).
16
METAMOC: modular execution time analysis using model checking (English)
WCET, 113-123 (2010).
17
Type inference for correspondence types. (English)
Electron. Notes Theor. Comput. Sci. 242, No. 3, 21-36 (2009).
18
Pretty easy pervasive positioning. (English)
Mamoulis, Nikos (ed.) et al., Advances in spatial and temporal databases. 11th international symposium, SSTD 2009, Aalborg, Denmark, July 8‒10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02981-3/pbk). Lecture Notes in Computer Science 5644, 417-421 (2009).
19
Error estimation for indoor 802.11 location fingerprinting. (English)
Choudhury, Tanzeem (ed.) et al., Location and context awareness. 4th international symposium, LoCa 2009, Tokyo, Japan, May 7‒8, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-01720-9/pbk). Lecture Notes in Computer Science 5561, 138-155 (2009).
20
Result 1 to 20 of 81 total
Start
Contact
Print
General Help
