Search results

• CAV
  |Title=Computer Aided Verification |Field=Software engineering
  93 bytes (11 words) - 12:09, 28 January 2021
• ICST
  |Title=International Conference on Software Testing, Verification and Validation
  133 bytes (17 words) - 12:42, 28 January 2021
• CAV 2020
  |Title=International Conference on Computer Aided Verification * Algorithms and tools that combine verification and learning
  2 KB (292 words) - 10:33, 8 March 2021
• FSEN 2017
  |Title=FSEN 2017 : Fundamentals of Software Engineering |Field=system verification, software engineering, formal methods, software testing
  424 bytes (52 words) - 10:45, 8 March 2021
• ITEQS 2017
  ...shop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems ...oftware testing, verification and validation, extra-functional properties, software quality
  515 bytes (62 words) - 11:05, 8 March 2021
• ICST 2020
  |Title=International Conference on Software Testing, Verification and Validation
  228 bytes (26 words) - 12:42, 28 January 2021
• TAIC PART 2017
  |Field=software testing, industry collaboration, verification and validation, software quality
  490 bytes (59 words) - 11:23, 8 March 2021
• SSV 2009
  | Title = 4th International Workshop on Systems Software Verification Industrial-strength software analysis and verification has advanced in
  2 KB (255 words) - 20:18, 17 February 2021
• TTSDP 2009
  | Title = International Workshop on “Tools and Techniques in Software Development Processes for High Performance computing | Field = Software engineering
  1 KB (190 words) - 20:20, 17 February 2021
• EURASIP Journal on Embedded Systems 2009
  ...ifferent applications of formal or semiformal techniques in specification, verification, and synthesis of * Verification of system-level languages
  4 KB (456 words) - 12:24, 28 January 2021
• SEA 2011
  |Title=Annual International Conference on Software Engineering & Applications Annual International Conference on Software Engineering & Applications (SEA 2011)
  2 KB (294 words) - 11:18, 8 March 2021
• APW 2016
  |Field=software verification, eiffel, autoproof, boogie
  393 bytes (47 words) - 10:29, 8 March 2021
• TACAS 2021
  |Field=Software engineering * specification and verification techniques;
  2 KB (294 words) - 11:23, 8 March 2021
• SEPA 2009
  | Title = International Workshop on Software Engineering Processes and Applications | Field = Software engineering
  2 KB (284 words) - 20:14, 17 February 2021
• TACAS 2019
  |Field=Software engineering .... Held as part of the European Joint Conferences on Theory and Practice of Software, [[ETAPS 2019]]
  3 KB (370 words) - 11:23, 8 March 2021
• TACAS 2020
  |Field=Software engineering on Theory and Practice of Software, ETAPS 2020
  2 KB (280 words) - 11:23, 8 March 2021
• ISSTA 2020
  |Title=29th ACM SIGSOFT International Symposium on Software Testing and Analysis |Field=Software engineering
  2 KB (217 words) - 11:05, 8 March 2021
• VSTTE 2008
  |Title=Verified Software: Theories, Tools, and Experiments 2008 |Field=Software Verification
  5 KB (687 words) - 11:25, 8 March 2021
• Coordination 2018
  ...ification, refinement, and analysis of architectures: patterns and styles, verification of functional and non-functional properties, including performance aspects; *Dynamic software architectures: distributed mobile code, configuration, reconfiguration, net
  2 KB (276 words) - 10:37, 8 March 2021
• SafeComp 2019
  * development, verification and assessment of highly automated and autonomous dependable systems * formal modelling, verification and validation of critical systems, software and hardware
  3 KB (420 words) - 11:22, 8 March 2021

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)