Result 1 to 20 of 101 total
Adaptive task automata: a framework for verifying adaptive embedded systems. (English)
de Lara, Juan (ed.) et al., Fundamental approaches to software engineering. 15th international conference, FASE 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28871-5/pbk). Lecture Notes in Computer Science 7212, 115-129 (2012).
1
Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT. (English)
Flammini, Francesco (ed.) et al., Computer safety, reliability, and security. 30th international conference, SAFECOMP 2011, Naples, Italy, September 19‒22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24269-4/pbk). Lecture Notes in Computer Science 6894, 243-256 (2011).
2
An architecture-based verification technique for AADL specifications. (English)
Crnkovic, Ivica (ed.) et al., Software architecture. 5th European conference, ECSA 2011, Essen, Germany, September 13‒16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23797-3/pbk). Lecture Notes in Computer Science 6903, 105-113 (2011).
3
Quality of service-oriented software systems (QUASOSS 2010). (English)
Dingel, Juergen (ed.) et al., Models in software engineering. Workshops and symposia at MODELS 2010, Oslo, Norway, October 2‒8, 2010. Reports and revised selected papers. Berlin: Springer (ISBN 978-3-642-21209-3/pbk). Lecture Notes in Computer Science 6627, 364-368 (2011).
4
Developing UPPAAL over 15 years. (English)
Softw., Pract. Exper. 41, No. 2, 133-142 (2011).
5
Developing UPPAAL over 15 years (English)
Softw., Pract. Exper. 41, No. 2, 133-142 (2011).
6
An architecture-based verification technique for AADL specifications (English)
ECSA, 105-113 (2011).
7
Pattern-driven support for designing component-based architectural models (English)
ECBS, 187-196 (2011).
8
Formal methods applied in industry - on the commercialisation of the UPPAAL tool (English)
COMPSAC, 450-451 (2011).
9
Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT (English)
SAFECOMP, 243-256 (2011).
10
Validation of embedded systems behavioral models on a component-based ericsson nikola tesla demonstrator (English)
QSIC, 156-165 (2011).
11
ABV - A verifier for the architecture analysis and design language (AADL) (English)
ICECCS, 355-360 (2011).
12
Towards WCET analysis of multicore architectures using UPPAAL. (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, 101-112, electronic only (2010).
13
Boundary procedures for the time-dependent Burgers’ equation under uncertainty. (English)
Acta Math. Sci., Ser. B, Engl. Ed. 30, No. 2, 539-550 (2010).
14
Modeling and reasoning about service behaviors and their compositions. (English)
Margaria, Tiziana (ed.) et al., Leveraging applications of formal methods, verification, and validation. 4th international symposium on leveraging applications, ISoLa 2010, Heraklion, Crete, Greece, October 18‒21, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-16560-3/pbk). Lecture Notes in Computer Science 6416, 82-96 (2010).
15
Bridging the semantic gap between abstract models of embedded systems. (English)
Grunske, Lars (ed.) et al., Component-based software engineering. 13th international symposium, CBSE 2010, Prague, Czech Republic, June 23‒25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13237-7/pbk). Lecture Notes in Computer Science 6092, 55-73 (2010).
16
Quality of service-oriented software systems (QUASOSS 2010) (English)
MoDELS Workshops, 364-368 (2010).
17
Bridging the semantic gap between abstract models of embedded systems (English)
CBSE, 55-73 (2010).
18
Modeling and reasoning about service behaviors and their compositions (English)
ISoLA (2), 82-96 (2010).
19
Verification and controller synthesis for resource-constrained real-time systems: case study of an autonomous truck (English)
ETFA, 1-8 (2010).
20
Result 1 to 20 of 101 total
Start
Contact
Print
General Help
