Search results

Create the page "System verification" on this wiki! See also the search results found.

• RTAS Event-based Semantics 2008
  certification, resulting in a major verification challenge. The notion of Cyber-Physical System (CPS) is adding new dimenions to these challenges.
  3 KB (426 words) - 23:30, 14 October 2008
• FIT 2008
  achieving component interoperability and to predict global system * Verification & analysis of interfaces
  4 KB (537 words) - 23:30, 14 October 2008
• DIPES 2008
  number of controllers distributed over the entire system and embedded system design increase the engineering challenges and demand
  5 KB (655 words) - 23:30, 14 October 2008
• DADS 2009
  ...ty. Of course, dependability and adaptiveness can not simply be added to a system like a plug-in module. Rather, for databases, services, middleware, and sof ...ions and formal methods (e.g., rigorous development of dependable systems, verification and refinement of fault tolerant systems, techniques and mechanisms ensurin
  8 KB (952 words) - 23:31, 14 October 2008
• WAODS 2008
  - Verification tools for ontologies The papers must be uploaded using the online system provided at the workshop website: http://waods.istase.fr/openconf/openconf.
  4 KB (523 words) - 23:31, 14 October 2008
• ISORC 2008
  ...ns, specification, design, verification, validation, testing, maintenance, system of systems, etc. System software: real-time kernels and operating systems, middleware support for O
  3 KB (377 words) - 23:31, 14 October 2008
• CAV 2020
  |Title=International Conference on Computer Aided Verification * Algorithms and tools for system synthesis
  2 KB (291 words) - 11:09, 20 November 2020
• FMCAD 2008
  ...ems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing. FMCAD 2008 will include a full day
  2 KB (269 words) - 23:36, 14 October 2008
• IWLS 2008
  ...nd Synthesis provides a forum for research in synthesis, optimization, and verification of integrated circuits and systems. The emphasis is on novelty and intellec * testing and verification;
  3 KB (399 words) - 23:36, 14 October 2008
• DAC 2008
  ...onents with limited resources. Increases in software content introduce new system design issues. ...e tools, methods, and case studies for applications with specific embedded system content.
  2 KB (322 words) - 12:03, 27 November 2020
• FM'08
  analysis, model-checking, verification, calculation, reusable * Role of formal methods: formal methods in hardware and system design,
  7 KB (979 words) - 23:37, 14 October 2008
• APSAR 2009
  A1. Airborne SAR System A2. Space-borne SAR System
  2 KB (307 words) - 23:39, 14 October 2008
• HASE 2008
  ...ies, middleware, tools, and models for high assurance systems development, verification and validation, and assessment are welcome. * Integrated system reliability, availability, security, safety, and timing analysis and evalua
  6 KB (748 words) - 14:43, 27 December 2015
• SECURWARE 2009
  Formal aspects of security; Security analysis methodologies; Security verification; Security protocols; Security architectures and formalisms; Security and de * SYSSEC: System security
  13 KB (1,617 words) - 19:03, 24 November 2008
• QAPL 2009
  and the methodologies and tools for the analysis and verification of system Language expressiveness, Logic, Verification, Quantum languages, Semantics,
  6 KB (823 words) - 14:28, 14 December 2008
• Francesco Flammini
  .../ETCS (European Railway Traffic Management System / European Train Control System) projects. Since February 2007, he has worked on the protection of transpor
  1 KB (186 words) - 17:22, 5 February 2009
• M4M-6
  researchers interested in developing algorithms, verification methods of system demonstrations.
  4 KB (535 words) - 10:05, 24 December 2008
• ICLP 2009
  ** Verification development, verification, and implementation; (2) application papers,
  5 KB (680 words) - 23:55, 27 February 2020
• IAAI 2009
  ...n of AI with other technologies; development methodologies; validation and verification; lessons learned; social and other technology transition issues. ...may evaluate either a stand-alone application or a component of a complex system. In addition to the criteria listed above for the Emerging Track papers, th
  11 KB (1,724 words) - 12:55, 18 January 2009
• RIVF 2009
  o Software testing and verification o Embedded system testing and verification
  5 KB (567 words) - 12:58, 18 January 2009

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