Result 1 to 20 of 28 total
Path-sensitive backward slicing. (English)
Miné, Antoine (ed.) et al., Static analysis. 19th international symposium, SAS 2012, Deauville, France, September 11‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33124-4/pbk). Lecture Notes in Computer Science 7460, 231-247 (2012).
1
TRACER: a symbolic execution tool for verification. (English)
Madhusudan, P. (ed.) et al., Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31423-0/pbk). Lecture Notes in Computer Science 7358, 758-766 (2012).
2
Symbolic execution for verification. (English)
Comput. Res. Repos. 2011, Article No. 1103.2027 (2011).
3
Abstraction learning. (English)
Bouajjani, Ahmed (ed.) et al., Automated technology for verification and analysis. 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15642-7/pbk). Lecture Notes in Computer Science 6252, 17 (2010).
4
Towards parameterized regular type inference using set constraints. (English)
Comput. Res. Repos. 2010, Article No. 1002.1836 (2010).
5
Insight into events: event and data management for the extended enterprise (English)
BIRTE, 24-35 (2010).
6
Abstraction learning (English)
ATVA, 17 (2010).
7
A component-based run-time evolution infrastructure for resource-constrained embedded systems (English)
GPCE, 73-82 (2010).
8
User-definable resource usage bounds analysis for Java bytecode. (English)
Electron. Notes Theor. Comput. Sci. 253, No. 5, 65-82 (2009).
9
Land valuation using a real option approach. (English)
RACSAM, Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 103, No. 2, 405-420 (2009).
10
Component-based real-time operating system for embedded applications. (English)
Lewis, Grace A. (ed.) et al., Component-based software engineering. 12th international symposium, CBSE 2009, East Stroudsburg, PA, USA, June 24‒26, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02413-9/pbk). Lecture Notes in Computer Science 5582, 209-226 (2009).
11
Efficient and adapted component-based strategies for embedded software device drivers development (English)
CSE (2), 514-519 (2009).
12
Optimizing component-based embedded software (English)
COMPSAC (2), 491-496 (2009).
13
Component-based real-time operating system for embedded applications (English)
CBSE, 209-226 (2009).
14
io-port 70916266 Anne, Matthieu;
He, Ruan;
Jarboui, Tahar;
Lacoste, Marc;
Lobry, Olivier;
Lorant, Guirec;
Louvel, Maxime;
Navas, Juan F.;
Olive, Vincent;
Polakovic, Juraj;
Poulhiès, Marc;
Pulou, Jacques;
Seyvoz, Stéphane;
Tous, Julien;
Watteyne, Thomas
Think: view-based support of non-functional properties in embedded systems (English)
ICESS, 147-156 (2009).
15
Negative ternary set-sharing. (English)
Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9‒13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 301-316 (2008).
16
A flexible, (C)LP-based approach to the analysis of object-oriented programs. (English)
King, Andy (ed.), Logic-based program synthesis and transformation. 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23‒24, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-78768-6/pbk). Lecture Notes in Computer Science 4915, 154-168 (2008).
17
Negative ternary set-sharing (English)
ICLP, 301-316 (2008).
18
User-definable resource bounds analysis for logic programs. (English)
Dahl, Verónica (ed.) et al., Logic programming. 23rd international conference, ICLP 2007, Porto, Portugal, September 8‒13, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74608-9/pbk). Lecture Notes in Computer Science 4670, 348-363 (2007).
19
An efficient, parametric fixpoint algorithm for analysis of Java bytecode. (English)
Electron. Notes Theor. Comput. Sci. 190, No. 1, 51-66 (2007).
20
Result 1 to 20 of 28 total
Start
Contact
Print
General Help
