Search results

Jump to: navigation, search

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
  • IEEE/SIES 2009
    ...dded Systems; Real-Time Issues; Models of Embedded Computation; Design and Verification Languages; Operating Systems and Quasi-Static Scheduling; Timing and Perfor System-on-Chip and Network-on-Chip Design & Testing: Design of Application- Specif
    3 KB (337 words) - 12:59, 18 January 2009
  • ProMAS' 2009
    implementation of the essential concepts used in multi-agent system - Formal methods for specification and verification of MAS
    8 KB (977 words) - 12:59, 18 January 2009
  • Ptolemy 2009
    Scientific Workflows and is currently based on the Ptolemy II system * Model verification
    3 KB (335 words) - 00:52, 2 February 2009
  • SSV 2009
    | Title = 4th International Workshop on Systems Software Verification Industrial-strength software analysis and verification has advanced in
    2 KB (255 words) - 13:00, 18 January 2009
  • ProMAS 2009
    implementation of the essential concepts used in multi-agent system - Formal methods for specification and verification of MAS
    7 KB (917 words) - 13:02, 18 January 2009
  • ICINCO 2009
    - Petri nets (system design/verification with nets, protocols and networks) - Time series and system modeling
    5 KB (661 words) - 13:02, 18 January 2009
  • FroCoS 2009
    program development and verification, artificial intelligence, knowledge files via the EasyChair system:
    5 KB (669 words) - 13:03, 18 January 2009
  • ICCNS 2009
    * audition * neural system models ...logical (T) work [Example: first choice: vision (T); second choice: neural system models (B)].
    8 KB (1,092 words) - 13:33, 18 January 2009
  • TTSDP 2009
    ...tware development, component based software engineering, software quality, verification and validation techniques and software project management,.
    1 KB (190 words) - 22:09, 27 February 2009
  • SEPA 2009
    ...tware development, component based software engineering, software quality, verification and validation techniques and software project management.
    2 KB (284 words) - 22:10, 27 February 2009
  • IJERTCS 2009
    ...the convergence of embedded system, real-time computing and communication system technologies and paradigms. The journal brings together researchers and sci ...rocess as well as to the design of hardware and software components of the system: despite the small size and reliance on battery power, the devices need to
    5 KB (646 words) - 17:06, 27 February 2009
  • KSE 2009
    - Natural language applications, tools and resources, system evaluation Network System Engineering
    6 KB (654 words) - 17:06, 27 February 2009
  • IPTComm 2009
    * Inter-provider trust and verification schemes * VoIP and IMS system performance, reliability and scalability
    4 KB (621 words) - 17:06, 27 February 2009
  • TKDE 2009
    well into today’s distributed, heterogeneous Web-based system environments. * Verification and validation of interchanged rule bases in
    7 KB (883 words) - 17:06, 27 February 2009
  • ICOCI 2009
    • Knowledge-based system applications • Software agents for intelligent control system
    3 KB (319 words) - 17:07, 27 February 2009
  • ISC 2009
    ...ve Comparisons between Originals and their Simulations, Simulation of User-System Interaction. Simulating SLAM (Simultaneous Localisation and Mapping) in rob Systems research, Operating systems, File System, Storage.
    38 KB (4,832 words) - 17:07, 27 February 2009
  • ICKE 2009
    * Validation and verification ...s your PC. Less money than a linear system, More controlable than a linear system, Less space than an editing appliance like a casablanca, and upgradeable. W
    11 KB (1,563 words) - 06:56, 12 April 2012
  • DBTest 2009
    drive the need for continuous innovation and expansion. As a result, these system/ consequence, testing and tuning these system/applications is becoming
    6 KB (817 words) - 17:08, 27 February 2009
  • IISWC 2009
    We solicit papers in all areas related to characterization of computing system * Characterization of system behavior, including
    4 KB (589 words) - 17:08, 27 February 2009
  • CORCS 2009
    aware system design will be considered, but submission - formal techniques for verification and validation of component =20
    4 KB (504 words) - 16:43, 27 December 2015
  • SimpleScalar
    ...ormance visualization tools, statistical analysis resources, and debug and verification infrastructure.
    2 KB (210 words) - 12:17, 7 April 2016
  • FPGA 2010
    ...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
    5 KB (632 words) - 11:32, 2 August 2009
  • IEEE Systems 2010
    ...ems engineering, including the issues and complexities of system-level and system-of-systems applications, focusing on the total systems effectiveness of com ...eeks to create an interactive forum for the advancement of the practice of system design, development, and management, across the multiple disciplines and sp
    6 KB (706 words) - 11:33, 2 August 2009
  • DERIS 2009
    Evaluation, Verification, Validation and Refinement of Intelligent systems, have been an important i ...need to be considered as early as possible during the Design phase of the system.
    6 KB (864 words) - 11:33, 2 August 2009
  • OCL 2009
    verification and validation, code generation, test-driven development, * validation, verification, and testing,
    6 KB (870 words) - 11:34, 2 August 2009
  • ASWEC 2010
    * Health Informatics System Development * Software Verification and Validation
    8 KB (1,112 words) - 11:35, 2 August 2009
  • SOC-LOG 2009
    - Verification of logistics services Please, submit papers (in PDF format) via our electronic submission system which is available at http://www.easychair.org/conferences/?conf=soclog2009
    12 KB (1,624 words) - 11:36, 2 August 2009
  • DATE 2010
    • System Design Methods, Algorithm and Tools • System Level Specification and Modeling
    5 KB (605 words) - 15:11, 27 December 2015
  • ICIMP 2010
    ...aluation in Internet; System measurement and monitoring; Performance model verification and validation; Stochastic modeling (queues, Petri nets, etc.); Statistical ...ms security; Language-based security; Formalisms for security and protocol verification; Performance on firewall protected real-time systems; Security management i
    14 KB (1,651 words) - 15:56, 15 February 2017
  • ICINCO 2010
    * Petri nets (system design/verification with nets, protocols and networks) * Time series and system modeling
    4 KB (475 words) - 13:42, 26 February 2010

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

Retrieved from "https://www.openresearch.org/wiki/Special:Search"