Statistical Model Checking for Product Lines

Authors: ter Beek, Maurice H, Legay, Axel, Lluch Lafuente, Alberto, Vandin, Andrea

Contributors: JAFRI, Nisrine, Margaria, Tiziana, Steffen, Bernhard

Source: Lecture Notes in Computer Science ISBN: 9783319471655
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 114–133, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Legay A.; Lluch Lafuente A.; Vandin A./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:114/pagina_a:133/intervallo_pagine:114–133
ter Beek, M H, Legay, A, Lluch Lafuente, A & Vandin, A 2016, Statistical Model Checking for Product Lines . in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I . vol. 9952, Springer, Lecture Notes in Computer Science, pp. 114-33, 7 th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece, 10/10/2016 . https://doi.org/10.1007/978-3-319-47166-2_8

Subject Terms: F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Algebraic approaches to semantics, Statistical model checking, Markov processes, Software Product Lines, G.3 PROBABILITY AND STATISTICS, Programming languages, compilers, interpreters, Software engineering techniques, Quantitative Constraints, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Formal methods, Statistical Model Checking, D.2.13 SOFTWARE ENGINEERING. Reusable Software. Domain engineering, 02 engineering and technology, [INFO] Computer Science [cs], Artificial intelligence (incl. robotics), F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Process models, F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Semantics of Programming Languages, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Model checking, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Statistical methods, Logics and meanings of programs, 0202 electrical engineering, electronic engineering, information engineering, Computation by abstract devices, Mathematical logic and formal languages, Probabilistic Models

File Description: application/pdf

Access URL: https://backend.orbit.dtu.dk/ws/files/127270862/Statistical_Model_Checking_for_Product_Lines_postprint.pdf
https://inria.hal.science/hal-01406531v1
https://link.springer.com/10.1007/978-3-319-47166-2_8
https://hal.inria.fr/hal-01406531
https://dblp.uni-trier.de/db/conf/isola/isola2016-1.html#BeekLLV16
https://hal.inria.fr/hal-01406531/document
https://link.springer.com/chapter/10.1007/978-3-319-47166-2_8/fulltext.html
https://orbit.dtu.dk/files/127270862/Statistical_Model_Checking_for_Product_Lines_postprint.pdf
https://hdl.handle.net/20.500.14243/321030
https://doi.org/10.1007/978-3-319-47166-2_8
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_8
https://orbit.dtu.dk/en/publications/d09e64ef-2992-4962-9fab-b03a87e3986c
https://hdl.handle.net/11382/534305
https://doi.org/10.1007/978-3-319-47166-2_8
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_8

Subgraph-Based Refinement of Worst-Case Execution Time Bounds

Authors: Brandner, Florian, Jordan, Alexander

Contributors: Unité d'Informatique et d'Ingénierie des Systèmes (U2IS), École Nationale Supérieure de Techniques Avancées (ENSTA Paris), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris), Department of Applied Mathematics and Computer Science Lyngby (DTU Compute), Danmarks Tekniske Universitet = Technical University of Denmark (DTU), ENSTA ParisTech, Technical University of Denmark

Source: https://ensta.hal.science/hal-00978015 ; 2014.

Subject Terms: Worst-Case Execution Time Analysis, Iterative Refinement, Graph Prunning, F.3.2 [Logics and Meanings of Programs]: Semantics of Programming Languages--Program analysis, C.3 [Special-Purpose and Application-Based Systems]: Real-time and embedded systems, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

Availability: https://ensta.hal.science/hal-00978015
https://ensta.hal.science/hal-00978015v1/document
https://ensta.hal.science/hal-00978015v1/file/iter-wcet-tr.pdf

Relation level semantics

Authors: Desharnais, Jules^Aff1, Madhavji, Nazim H.^Aff1

Contributors: Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Nori, Kesav V., editor, Kumar, Sanjeev, editor

Source: Foundations of Software Technology and Theoretical Computer Science : Eighth Conference, Pune, India December 21–23, 1988 Proceedings. 338:304-328