Search results

Jump to: navigation, search

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

  • ICITST-2010
    * System design and verification
    5 KB (607 words) - 18:01, 3 December 2009
  • SECRYPT
    * › Mobile System Security * › Security Verification and Validation
    4 KB (409 words) - 15:40, 5 February 2010
  • TACAS 2019
    * specification and verification techniques; * software and hardware verification;
    3 KB (369 words) - 06:23, 4 August 2020
  • FDL 2010
    ABD TA: Assertion Based Design, Verification & Debug emphasis on frontier design levels, verification, automatic synthesis and
    8 KB (1,113 words) - 17:01, 22 February 2010
  • ECSI
    ...vantage, knowledge base and access to innovative emerging solutions in the system design domain. ...tion of member partners originating in the entire System Design ecosystem: system companies (aerospace, automotive, telecom, consumer, networking, …), embe
    3 KB (394 words) - 17:18, 22 February 2010
  • IWIGP 2011
    ...ons a system takes are not (completely) determined by the interactions the system is involved in? In computer science, nondeterministic interactions are usua * test and verification of interactive systems
    5 KB (604 words) - 21:24, 1 November 2010
  • DISC 2020
    * Formal methods for distributed computing: verification, synthesis and testing * System-on-chip and network-on-chip architectures
    3 KB (344 words) - 11:30, 21 April 2020
  • ISMM 2012
    <li>Memory system correctness, design, and analysis <br> <li>Program analysis, synthesis, and verification<br>
    2 KB (279 words) - 02:50, 22 October 2011
  • MESA 2011
    * Design & Verification Tools for Embedded Systems * Biomechatronic System Modeling, Simulation of Bio-Systems, System
    12 KB (1,378 words) - 21:13, 28 November 2010
  • SAAES 2011
    ...ptation. SAA features become essential in the emerging and future embedded system, as the number of components and their heterogeneity increase significantly * Formal Methods in the Design and Verification of SAA Systems
    4 KB (598 words) - 18:55, 23 December 2010
  • SXACEA 2011
    ...uring the design of the system can be delayed until operation and thus the system is able to react more * Cyber Physical System
    8 KB (678 words) - 09:03, 2 January 2011
  • SAAES
    ...ptation. SAA features become essential in the emerging and future embedded system, as the number of components and their heterogeneity increase significantly * Formal Methods in the Design and Verification of SAA Systems
    4 KB (593 words) - 17:49, 7 January 2011
  • WWV 2011
    |Title=7th International Workshop on Automated Specification and Verification of Web Systems Automated Specification and Verification of Web Systems
    5 KB (650 words) - 14:16, 22 February 2011
  • NCA 2011
    * System Area Networks (SAN)/Clusters * Dependable Wide, Local, and System Area Networks
    3 KB (322 words) - 05:59, 8 March 2011
  • DISSECT 2020
    |Field=Computer system, Computer networks, Cyber security Verification and enforcement of security properties
    4 KB (581 words) - 18:48, 24 February 2020
  • OPODIS 2019
    ...scope of OPODIS, including theory, specification, design, performance, and system building. With strong roots in the theory of distributed systems. *Programming languages, formal methods, specification and verification applied to distributed systems
    2 KB (299 words) - 11:51, 8 April 2020
  • ACIS 2013
    * E-government System * Knowledge-based System
    3 KB (408 words) - 11:39, 5 January 2013
  • RIVF 2016
    ..., open source software development, software process, software testing and verification, embedded systems, distributed data management, information integration, do
    3 KB (422 words) - 12:09, 24 April 2016
  • FSEN 2017
    |Field=system verification, software engineering, formal methods, software testing
    418 bytes (51 words) - 16:21, 8 July 2016
  • SnT2017
    ...Treaty (CTBT)'''. Such interaction helps ensure that the Treaty’s global verification regime remains at the forefront of scientific and technical innovation. ...phere, underwater and underground. The CTBTO is tasked with establishing a verification regime which includes a global network of over 300 monitoring stations.
    3 KB (451 words) - 17:30, 24 January 2017
  • ICSS 2017
    * Validation, Verification and Testing for Software Security Authors are invited to submit papers through theConference Submission System
    4 KB (562 words) - 12:05, 3 September 2017
  • ICSESS 2017
    Engineering, Computer Science and System, System Model and Algorithm, Management Verification and Validation
    5 KB (673 words) - 09:53, 3 September 2017
  • ECIJ 2017 : Electrical & Computer Engineering: An International Journal
    * Hardware Formal Verification System [http://wireilla.com/paper_submission/index.php]. Submissions must be
    3 KB (464 words) - 13:28, 28 July 2017
  • OPODIS 2017
    theory, specification, design, performance, and system building. - Programming languages, formal methods, specification and verification
    7 KB (1,009 words) - 15:54, 3 September 2019
  • SoICT 2017
    submitted via EasyChair system. SoICT 2017 proceedings will be published in the Verification, Programming Languages; Parallel/Distributed Computing,
    4 KB (559 words) - 11:58, 8 August 2017
  • ISEC 2018
    - System Modeling and Simulation - System Verification and Validation
    8 KB (1,150 words) - 10:11, 7 August 2019
  • Free VLSI Workshop 2017 : Registrations open – Free VLSI Workshop at Maven Silicon on 20th Aug 2017
    Join us for Free Workshop on RTL Design & Functional Verification and receive Verification.
    2 KB (327 words) - 13:34, 28 July 2017
  • MACIS 2017 : 7th International Conference on Mathematical Aspects of Computer and Information Sciences
    engines; applications, especially in systems analysis and formal verification; using the easychair submission system:
    5 KB (670 words) - 13:24, 28 July 2017
  • CADS 2017
    * High-Performance I/O Systems and Storage System Architectures * Dependable and Fault Tolerant System Designs
    1 KB (178 words) - 10:05, 20 November 2020
  • SPTE SC 2017 : IJDSN Special Collection on Secure Positioning Technologies for the Emerging Services and Computing Paradigms
    of smart systems (smart city, intelligence transportation system, smart healthcare system, etc.) and smart devices, such as smartphones, unmanned
    4 KB (500 words) - 09:56, 21 August 2017
  • SI-SoftMM 2017 : Special Issue on Soft Computing Techniques and Applications on MM Data Analyzing Systems-- Springer Journal of Multimedia Tools and Applications
    reasoning process, so it can deal with multivariable and nonlinear system soft computing in system and application domains. The general scope of this
    4 KB (598 words) - 09:58, 21 August 2017
  • IoTBDS 2018
    - System Design and Architecture - Tenant Application Development including Customization, Verification,
    8 KB (1,170 words) - 13:40, 3 September 2017
  • ZEUS 2018
    - Formal methods, models, simulation, and verification - System architectures for service composition
    4 KB (565 words) - 18:34, 4 July 2020
  • BIOINFORMATICS 2019
    *Formal Verification of Biological Systems From Offline towards Real-Time: a Wearable HAR System Using Biosensors Integrated into a Knee Bandage (BIOSTEC)
    3 KB (359 words) - 12:32, 8 December 2020
  • SafeComp 2020
    * Development, verification and assessment of intelligent and autonomous safety-critical systems * Formal modelling, verification and validation
    5 KB (617 words) - 11:54, 19 June 2020
  • Petri Nets 2018
    ...ed with the 18th International Conference on Application of Concurrency to System Design (ACSD 2018). * ● Model checking and verification of distributed systems
    2 KB (243 words) - 20:03, 13 May 2020
  • Petri Nets 2019
    * Model checking and verification of distributed systems * Verification of infinite-state or parametric systems
    2 KB (251 words) - 18:19, 13 May 2020
  • Petri Nets 2020
    * Model checking and verification of distributed systems * Verification of infinite-state or parametric systems
    2 KB (291 words) - 19:33, 13 May 2020
  • 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 (419 words) - 10:51, 19 June 2020
  • DATE 2018
    ...ys in the programme will focus on two areas bringing new challenges to the system design community: ...fields. The tutorials are well suited for researchers, tool developers and system designers.
    12 KB (1,651 words) - 13:30, 27 November 2020
  • DATE 2020
    * System Specification and Modelling * System Design, Synthesis and Optimization
    4 KB (508 words) - 17:54, 6 January 2021
  • FPGA 2020
    ...of FPGAs. Novel design software for system-level partitioning, debug, and verification. Algorithms for modeling, analysis and optimization of timing and power. ...c languages, tools, and techniques to facilitate the design, debugging and verification of FPGA-based applications and systems. Novel hardware/software co-design a
    11 KB (1,541 words) - 15:35, 18 June 2020
  • ASP-DAC 2020
    * 1. System-Level Modeling and Design Methodology: * 1.1. HW/SW co-design, co-simulation and co-verification
    6 KB (739 words) - 15:08, 13 May 2020
  • CLEF 2017
    ...A Component-level Analysis of an Academic Search Test Collection. Part I: System and Collection Configurations ...tha and Efstathios Stamatatos: An Improved Impostors Method for Authorship Verification
    5 KB (723 words) - 08:29, 27 May 2020
  • ICIMP 2020
    ...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
    17 KB (2,088 words) - 12:49, 14 June 2020
  • ICSNC 2020
    ...f RFID systems; Localization and tracking; Inventory tracking; Testing and verification; Planing and executing RFID systems; RFID pilot projects; Use cases in depl PESYS: Pervasive education system
    13 KB (1,636 words) - 11:51, 10 July 2020
  • ICCGI 2020
    ...voice, and skin biometrics; Signature recognition; Multimodal biometrics; Verification and identification techniques; Accuracy of biometric technologies; Authenti ...lti-agent planning and cooperation; Logics and formal models of for agency verification; Nomadic agents; Negotiation, auctions, persuasion; Privacy and security is
    18 KB (2,036 words) - 02:36, 10 July 2020
  • EUSAR 2021
    A5 SAR System Simulation and Modeling B5 Calibration and Verification
    2 KB (323 words) - 11:18, 10 July 2020
  • ICSEA 2020
    ...tterns, UML, etc.); Software process and workflow; Software validation and verification; Software testing and testing tools; Software implementation; Software proj ...on, testing reviews and repair techniques; Accessibility across the entire system lifecycle; Accessibility within e-organizations: good practices and experie
    13 KB (1,573 words) - 12:00, 10 July 2020
  • SIMUL 2020
    |Title=The Twelfth International Conference on Advances in System Simulation SIMUL 2020, The Twelfth International Conference on Advances in System Simulation
    12 KB (1,421 words) - 12:02, 10 July 2020
  • SECURWARE 2020
    ...tection in eTechnologies; Secure virtualized environments; Security during system migration or updates; Security integration pitfalls; Data leakage, vulnerab Formal aspects of security; Security analysis methodologies; Security verification; Security protocols; Security architectures and formalisms; Security and de
    15 KB (1,886 words) - 16:16, 25 August 2020
  • TACAS 2021
    * specification and verification techniques; * software and hardware verification;
    2 KB (293 words) - 14:54, 3 August 2020
  • ICPADS 2020
    * Cyber-physical system security * Operating system security
    4 KB (436 words) - 12:06, 25 August 2020
  • ICONS 2021
    System robustness; Systems scalability; Fault-tolerant systems; Feedback System-of-systems; Systems ergonomics; Subsystem interactions; Systems
    10 KB (1,210 words) - 20:17, 22 November 2020
  • SOFTENG 2021
    architectures; Multi-processor system on chip interfaces; Interoperable Generalizing agile specialists; System integration in agile structures;
    12 KB (1,505 words) - 20:38, 22 November 2020
  • ICIMP 2021
    ...aluation in Internet; System measurement and monitoring; Performance model verification and validation; Stochastic modeling (queues, Petri nets, etc.); Statistica ...ms security; Language-based security; Formalisms for security and protocol verification; Performance on firewall protected real-time systems; Security management i
    17 KB (2,035 words) - 14:45, 18 February 2021
  • ICDT 2021
    analysis; Signal and system modeling; Cyclostationary signal analysis; validation and verification mechanisms; Efficient data integration and
    19 KB (2,346 words) - 10:51, 9 December 2020
  • PESARO 2021
    Fundamentals on system safety; Robustness technology and evaluation; Safety-oriented system design; Performance metrics and dependable
    9 KB (1,079 words) - 11:12, 9 December 2020
  • SAM IoT 2020
    *Verification & Validation approaches ...hnical Program Committee. Drafts are submitted through the EDAS Submission System.
    6 KB (804 words) - 11:42, 28 January 2021
  • ICCS 2021
    File, storage, and non-volatile memory system Verification, validation, and testing
    2 KB (273 words) - 04:32, 17 March 2021
  • ICDT 2022
    ...timation; Array signal processing; Statistical signal analysis; Signal and system modeling; Cyclostationary signal analysis; Active noise control, active noi ...tworking for homeland security; Real-time intelligence data validation and verification mechanisms; Efficient data integration and mining techniques for NATO count
    19 KB (2,317 words) - 02:40, 26 November 2021
  • PESARO 2022
    ...Metrics for risk assessment; Performance-oriented design; Safety-oriented system design; Performance metrics and dependable metrics; Active and passive safe ...Evaluation of safety data, and mitigation and prevention strategies; Model verification and validation; Fault-tolerant systems; Simulation, statistical analysis, a
    9 KB (1,086 words) - 02:44, 26 November 2021
  • ICONS 2022,
    ...tems; Centralized and distributed systems; Proactive and reactive systems; System robustness; Systems scalability; Fault-tolerant systems; Feedback systems; Systems requirements; Systems modeling; Systems development lifecycle; System-of-systems; Systems ergonomics; Subsystem interactions; Systems decompositi
    10 KB (1,228 words) - 02:46, 26 November 2021
  • SOFTENG
    ...gurable and parametrized abstract interface architectures; Multi-processor system on chip interfaces; Interoperable hardware/software interfaces; Interface-b ...nization structure; Agile teams and roles; Generalizing agile specialists; System integration in agile structures; Agile analysis and design; Scalable agile
    13 KB (1,522 words) - 03:32, 3 December 2021

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

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