Search results

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

• SAC 2009 SOAP
  ...nt of view, there are open issues at many levels. Among the others, at the system design level, both traditional approaches based on UML and approaches takin ...ast years, and many attempts at using formal methods for specification and verification in this setting have been made. Session correlation, service types, contrac
  7 KB (957 words) - 14:15, 11 August 2008
• MBSDI 2009
  During the last couple of years, several approaches for system verification, development and evolution methodology. This
  9 KB (1,151 words) - 17:27, 13 October 2008
• IJIS/Special Issue on Goal-Driven Requirements Engineering
  hardly fully capture during the system development. User requirements of requirements in a progressive manner by starting from system-level
  4 KB (471 words) - 22:33, 13 August 2008
• TACAS 2009
  ...ities include but are not limited to formal methods, software and hardware verification, static analysis, programming languages, software engineering, real-time sy * Specification and verification techniques for finite and infinite-state systems;
  4 KB (543 words) - 15:39, 16 July 2020
• ISORC 2009
  Programming and system engineering: ORC paradigms, object/component specification, design, verification, validation, testing, maintenance,
  5 KB (715 words) - 16:43, 11 September 2008
• CSR 2009
  for design, development, testing, analysis, and verification of correct Submissions should be uploaded at EasyChair Conference system:
  5 KB (614 words) - 16:22, 11 September 2008
• AAMAS 2009
  (architecture/system-oriented), (iii) methodologies/languages properties (like cooperation, coordination etc...), agent verification
  10 KB (1,371 words) - 15:14, 12 November 2020
• VSTTE 2008
  |Field=Software Verification software verification. The Working Conference is open to anyone who is
  5 KB (686 words) - 11:27, 12 September 2008
• MemoCODE 2009
  ...levels, formal, semi-formal, and specification-driven verification on the system level. Transaction-level modeling. * 2. Design and verification methods for composition of concurrent systems: Multi-core architectures, ne
  5 KB (708 words) - 17:23, 13 October 2008
• ATC 2009
  ...tworthy to avoid the risk of losing control and retain confidence that the system will not fail. Trust and/or distrust relationships in the Internet and in p ...dels, negotiation, cooperation, competition, self-organization, emergence, verification etc.
  9 KB (1,216 words) - 16:32, 14 October 2008
• ICESS 2009
  .System on Chip (SoC) and Multicore systems .Hardware/Software Co-Verification
  3 KB (375 words) - 16:48, 14 October 2008
• FPGA 2009
  ...hitecture: Novel logic block architectures, combination of FPGA fabric and system blocks (DSP, processors, memories, etc.), design of routing fabric, I/O int ...chnology mapping, system-level partitioning, logic generators, testing and verification, CAD for FPGA-based accelerators, CAD for incremental FPGA design and on-li
  4 KB (561 words) - 16:48, 14 October 2008
• DEPEND 2008
  Verification and validation (including model checking) of dependable software architectu .... All received papers will be acknowledged via the an automated submission system.
  7 KB (960 words) - 16:48, 14 October 2008
• GLSVLSI 2009
  ...sign, logic and behavioral synthesis, logic mapping, simulation and formal verification, layout (partitioning, placement, routing, floorplanning, compaction), algo and the classification system detailed at: http://www.acm.org/class/1998/
  4 KB (459 words) - 20:03, 14 October 2008
• SIGMETRICS 2009
  ...lgorithms for: analytic modeling, system measurement and monitoring, model verification and validation, simulation, statistical analysis, experimental design, and
  3 KB (361 words) - 20:16, 14 October 2008
• CASCON 2008
  - Reliability: verification and validation; model checking; = and business models; large-scale system integration; legal, economic
  9 KB (1,193 words) - 21:53, 14 October 2008
• CDVE 2008
  �?� Cooperative design analysis, verification, integration and interoperability, standards �?� System architecture, prototypes, user interfaces for CV: web applications, textual
  4 KB (468 words) - 21:54, 14 October 2008
• LATA 2008
  - automata for system analysis and programme verification
  6 KB (788 words) - 22:01, 14 October 2008
• LPAR 2008
  - Program and system verification
  5 KB (799 words) - 20:49, 26 February 2020
• ICINCO 2008
  Petri nets (system design/verification with nets, protocols and networks) Time series and system modeling
  5 KB (634 words) - 22:05, 14 October 2008

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