Search results

Jump to: navigation, search

Create the page "Software Verification" on this wiki! See also the search results found.

Page title matches

Page text matches

  • SAC 2009 SOAP
    ...imary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world. SAC 2009 is sp ...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) - 15:15, 11 August 2008
  • MBSDI 2009
    |Title=2nd International Workshop on Model-Based Software and Data Integration (MBSDI 2009) at the same time, integration of software components and systems,
    9 KB (1,151 words) - 18:27, 13 October 2008
  • KES AMSTA 2009
    Agents and multi-agent systems are related to a modern software paradigm which has long been recognized as a promising technology for const ** Verification and validation
    6 KB (777 words) - 22:54, 14 August 2008
  • IJIS/Special Issue on Goal-Driven Requirements Engineering
    | Field = Software engineering inconsistent because software systems are complex that developers can
    4 KB (471 words) - 23:33, 13 August 2008
  • COMPARCH 2008
    | Title=Federated Events on Component-Based Software Engineering and Software Architecture (COMPARCH) | Field = Software engineering
    4 KB (564 words) - 12:33, 8 December 2020
  • TACAS 2009
    |Field=Software engineering ...oftware and hardware verification, static analysis, programming languages, software engineering, real-time systems, communications protocols, and biological sy
    4 KB (543 words) - 16:39, 16 July 2020
  • JWE
    ...of established practices stemming from several related disciplines such as Software Engineering, Hypermedia, Information Systems, Human-Computer Interaction an * Web application evaluation, verification and validation
    6 KB (871 words) - 05:51, 26 August 2008
  • ISORC 2009
    specification, design, verification, validation, testing, maintenance, System software: real-time kernels and operating systems, middleware
    5 KB (715 words) - 17:43, 11 September 2008
  • CSR 2009
    * software engineering for design, development, testing, analysis, and verification of correct
    5 KB (614 words) - 17:22, 11 September 2008
  • AAMAS 2009
    (design/software engineering/programming-oriented), and (iv) agent-oriented software development, frameworks for MAS specific
    10 KB (1,371 words) - 16:14, 12 November 2020
  • VSTTE 2008
    |Title=Verified Software: Theories, Tools, and Experiments 2008 |Field=Software Verification
    5 KB (686 words) - 12:27, 12 September 2008
  • MemoCODE 2009
    |Field=Software engineering ...thods and models, including success stories and demonstrations of hardware/software codesign. Furthermore, we invite poster presentations describing ongoing wo
    5 KB (708 words) - 18:23, 13 October 2008
  • SEA 2011
    |Title=Annual International Conference on Software Engineering & Applications Annual International Conference on Software Engineering & Applications (SEA 2011)
    2 KB (293 words) - 10:35, 24 June 2011
  • ATC 2009
    Computing systems including hardware, software, communication, and networks are growing towards an ever increasing scale a ...dels, negotiation, cooperation, competition, self-organization, emergence, verification etc.
    9 KB (1,216 words) - 17:32, 14 October 2008
  • ICESS 2009
    | Title = The 6th IEEE International Conference on Embedded Software and Systems efficient embedded software and systems have utmost importance.
    3 KB (375 words) - 17:48, 14 October 2008
  • FPGA 2009
    ...chnology mapping, system-level partitioning, logic generators, testing and verification, CAD for FPGA-based accelerators, CAD for incremental FPGA design and on-li ...s, tools, and techniques to facilitate the design, development, debugging, verification, and deployment of large-scale and high-performance FPGA-based applications
    4 KB (561 words) - 17:48, 14 October 2008
  • DEPEND 2008
    Verification and validation (including model checking) of dependable software architectures
    7 KB (960 words) - 17:48, 14 October 2008
  • GLSVLSI 2009
    ...sign, logic and behavioral synthesis, logic mapping, simulation and formal verification, layout (partitioning, placement, routing, floorplanning, compaction), algo
    4 KB (459 words) - 21:03, 14 October 2008
  • EICS 2009
    ...er interactive systems or that actually build such systems, including HCI, Software Engineering, Requirements Engineering, CSCW, and Ubiquitous and Pervasive S ...-IS 2009, the 16th International Workshop on the Design, Specification and Verification of Interactive Systems.
    4 KB (575 words) - 14:56, 27 December 2015
  • CASCON 2008
    | Title = 18th annual international conference on computer science and software engineering | Field = Software engineering
    9 KB (1,193 words) - 22:53, 14 October 2008
  • CDVE 2008
    �?� Cooperative design analysis, verification, integration and interoperability, standards ...architecture, engineering and construction, automobile, microelectronics, software engineering, entertainment and other areas
    4 KB (468 words) - 22:54, 14 October 2008
  • ICINCO 2008
    Software agents for intelligent control systems Petri nets (system design/verification with nets, protocols and networks)
    5 KB (634 words) - 23:05, 14 October 2008
  • ICTAC 09
    University, Institute of Software Technology, Macao. The PC is Institute for Software Technology of the United Nations University
    8 KB (1,085 words) - 18:01, 12 February 2009
  • NLDB 2008
    ...nt Engineering, Terminological Ontologies, Paraphrasing, Dynamic Modeling, Verification, Consistency Checking, Metadata Harvesting ...endencies Extraction from Software Documentation, Ontology Extraction from Software Documentation, Text Generation for Documentation of Code, Natural Language
    3 KB (384 words) - 23:08, 14 October 2008
  • TWOMDE 2008
    Interest in integrating Ontologies and Software Engineering has gained more Platform Special Interest Group (PSIG) and the W3C Software Engineering Task
    8 KB (994 words) - 23:09, 14 October 2008
  • AAMAS 2020
    ...ications of formal methods and declarative technologies for specification, verification and validation of MAS * Software engineering methodologies and techniques for agent-based systems
    6 KB (659 words) - 17:41, 11 February 2021
  • IDEAS 2009
    | Title = XII Iberoamerican Conference on Requirements Engineering and Software Environments | Field = Software engineering
    8 KB (1,104 words) - 23:18, 14 October 2008
  • SERENE 2008
    | Title = RISE/EFTS Joint International Workshop on Software Engineering for REsilient SystEms | Field = Software engineering
    9 KB (1,264 words) - 18:14, 8 November 2008
  • CBSE 2008
    | Title = 11th International Symposium on Component-Based Software Engineering | Field = Software engineering
    8 KB (1,033 words) - 23:18, 14 October 2008
  • SEKE 2008
    |Title=The 20th International Conference on Software Engineering and Knowledge Engineering |Field=Software engineering
    6 KB (733 words) - 12:48, 27 October 2016
  • SLA++P'08
    making its way in other fields of software engineering, too, often interest from leading companies developing automatic control software
    6 KB (659 words) - 23:18, 14 October 2008
  • ADCSS 2008
    | Title = 2008 ESA Workshop on Avionics Data, Control and Software Systems ESA Workshop on Avionics Data, Control and Software Systems (ADCSS)
    18 KB (2,714 words) - 23:23, 14 October 2008
  • PAN 2008
    | Title = Uncovering Plagiarism, Authorship, and Social Software Misuse *PAN-08 - Uncovering Plagiarism, Authorship, and Social Software Misuse*
    5 KB (587 words) - 23:19, 14 October 2008
  • UASS 2009
    - Embedded Software for Ubiquitous - Specification, Validation and Verification of Embedded System and Software
    6 KB (697 words) - 23:19, 14 October 2008
  • SSIRI 2008
    ...oncepts and experiences throughout the entire product development cycle in software, hardware, and systems are encouraged. The conference will bridge theory, a # Reliability, availability and safety of software systems
    3 KB (337 words) - 23:20, 14 October 2008
  • UbiCC Sp. Issue 2009
    Adaptation software development Component based software engineering &Software verification & analysis
    4 KB (502 words) - 23:20, 14 October 2008
  • VLSI-DAT 2009
    * Embedded systems and software * Hardware-software co-design
    2 KB (282 words) - 23:21, 14 October 2008
  • TFP 2008
    * Validation and Verification of Functional Programs .../servlet/event.showcfp?eventid=2084&copyownerid=528 WikiCFP][[Category:Software engineering]]
    5 KB (636 words) - 23:22, 14 October 2008
  • CORCS 2008
    * models for software components and component interaction: * formal techniques for verification and validation of
    2 KB (254 words) - 23:22, 14 October 2008
  • DATICS 2009
    Main target of the Special Session: DATICS'09 is to bring together software/hardware engineering researchers, computer scientists, practitioners and pe * embedded system hardware/software co-design and co-verification
    9 KB (1,181 words) - 00:37, 15 October 2008
  • SAMOS 2008
    ...-art mature research papers on all aspects of embedded processors hardware/software design and integration. The IC-SAMOS is an IEEE co-sponsored conference (by * Hardware/Software Co-design
    2 KB (275 words) - 23:24, 14 October 2008
  • ICONS 2009
    ...igning, implementing, testing, validating and maintaining various kinds of software and hardware systems. Several tracks are proposed to treat the topics from ...rification of safety requirements for complex systems containing hardware, software and human subsystems must be considered from early design phases. There is
    11 KB (1,492 words) - 23:26, 14 October 2008
  • ACM SAC OE 2009
    ...g has been a primary gathering forum for computer scientists, computer and software engineers from around the world. The ACM SAC conference is sponsored by the - Model analysis, verification and validation.
    6 KB (746 words) - 23:26, 14 October 2008
  • ICONS 2008
    ...igning, implementing, testing, validating and maintaining various kinds of software and hardware systems. Several tracks are proposed to treat the topics from ...rification of safety requirements for complex systems containing hardware, software and human subsystems must be considered from early design phases. There is
    6 KB (765 words) - 23:26, 14 October 2008
  • WDA 2008
    Current computer technology trends present to the hardware and software designer novel opportunities to improve performance and at the same time ma ...echanisms such as clock- and Vdd-gating are increasing voltage droops; the verification manpower budget is becoming a significant part of the design effort; oxide
    5 KB (598 words) - 01:12, 31 May 2012
  • EDCC 2008
    ...ystems. All kinds of faults are of interest, from traditional hardware and software faults to accidental and malicious human interactions. * Hardware and software testing, verification, and validation.
    4 KB (528 words) - 23:27, 14 October 2008
  • 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) - 23:30, 14 October 2008
  • ESWEEK 2008
    Hardware/Software Codesign and System Synthesis International Conference on Embedded Software
    11 KB (1,352 words) - 00:33, 15 October 2008
  • LCTES 2008
    research challenges are encountered in areas such as verification, o Hardware, system software, and application, and their interface
    5 KB (673 words) - 23:30, 14 October 2008
  • MEMOCODE 2008
    practitioners who design modern hardware/software systems. for the design of dependable hardware/software systems. Many
    4 KB (526 words) - 23:30, 14 October 2008
  • APRES 2008
    hardware/software defects, resource changes, and non-continual feature... - Verification and certification of reconfigurable systems
    7 KB (851 words) - 23:30, 14 October 2008
  • FIT 2008
    complex software products, rich interfaces have been proposed. These constraints in embedded software. The development of a rigorous
    4 KB (537 words) - 23:30, 14 October 2008
  • DIPES 2008
    4. Validation and verification of embedded systems 11. Software synthesis for real-time applications
    5 KB (655 words) - 23:30, 14 October 2008
  • DADS 2009
    Unfortunately, heterogeneous, large-scale, and dynamic software systems that typically run continuously often tend to become inert, brittle ...chological aspects, to compensate for dependability degradation of running software and services.
    8 KB (952 words) - 23:31, 14 October 2008
  • WAODS 2008
    ...ng widespread in several and disconnected domains. Their usage lead to new software architectures, especially in the field of distributed systems. It is howeve ...ase (how does ontologies perform in practice ? What is the benefit for the software architect using them ? What is the benefit for the user ? What are their li
    4 KB (523 words) - 23:31, 14 October 2008
  • ISORC 2008
    ...-driven development of high integrity applications, specification, design, verification, validation, testing, maintenance, system of systems, etc. System software: real-time kernels and operating systems, middleware support for ORC, QoS m
    3 KB (377 words) - 23:31, 14 October 2008
  • ESOP 2009
    ...orum for academic and industrial researchers working on topics relating to Software Science. ETAPS 2009 is the 12th joint conference in this series. ...ogical foundations, denotational semantics, operational semantics, program verification, static analysis, testing, language-based security.
    6 KB (824 words) - 23:32, 14 October 2008
  • PPoPP 2009
    * Formal analysis and verification * Software engineering for parallel programs
    4 KB (495 words) - 23:32, 14 October 2008
  • ISSTA 2020
    |Title=29th ACM SIGSOFT International Symposium on Software Testing and Analysis |Field=Software engineering
    2 KB (216 words) - 09:31, 16 July 2020
  • CAV 2020
    |Title=International Conference on Computer Aided Verification * Algorithms and tools that combine verification and learning
    2 KB (291 words) - 11:09, 20 November 2020
  • DAC 2008
    ...ixed hardware and software components with limited resources. Increases in software content introduce new system design issues. ...pic for DAC 2008. Papers that specifically target wireless related design, verification, test and implementation issues will be highlighted at the conference.
    2 KB (322 words) - 12:03, 27 November 2020
  • SOFSEM 2009
    SOFSEM (SOFtware SEMinar) is the annual, international conference devoted to * Radovan Janecek (BTO, HP Software)
    6 KB (682 words) - 10:18, 14 April 2020
  • FM'08
    for software development. The symposia have been notably successful mathematical methods for software development, industrial users as
    7 KB (979 words) - 23:37, 14 October 2008
  • HASE 2008
    ...ies, middleware, tools, and models for high assurance systems development, verification and validation, and assessment are welcome. * High assurance software architecture and design
    6 KB (748 words) - 14:43, 27 December 2015
  • COMPSAC 2008
    | Title = 32nd Annual IEEE International Computer Software and Applications Conference ...ious domains of research. Multidisciplinary work, research and development software prototypes, industry-university collaborations, all based on new emerging a
    2 KB (249 words) - 23:44, 14 October 2008
  • SECURWARE 2009
    ...ecurity for nomadic code; Intrusion detection systems; Static analysis for software security; Security modeling ...g; Intrusion detection and event correlation; Firewalls; Trust management; Software security assurance
    13 KB (1,617 words) - 19:03, 24 November 2008
  • Francesco Flammini
    ...urity management systems. In 2006/2007 he has been an Adjunct Professor of Software Engineering at the Second University of Naples. He currently teaches Comput
    1 KB (186 words) - 17:22, 5 February 2009
  • M4M-6
    researchers interested in developing algorithms, verification methods especially for experimental and prototypical software tools which are
    4 KB (535 words) - 10:05, 24 December 2008
  • ICLP 2009
    ** Verification ** Software Engineering
    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. ...in the application? How is knowledge represented? What is the hardware and software environment in which the system is deployed? Provide examples to illustrate
    11 KB (1,724 words) - 12:55, 18 January 2009
  • RIVF 2009
    * Software Engineering and Embedded Systems (Chair(s): Paul Strooper - Thang Nguyen) o Agile methods, component-based, model-driven, grid-based software engineering
    5 KB (567 words) - 12:58, 18 January 2009
  • ProMAS' 2009
    - Formal methods for specification and verification of MAS - Verification tools for implementations of MAS
    8 KB (977 words) - 12:59, 18 January 2009
  • Ptolemy 2009
    Center for Hybrid and Embedded Software Systems * 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
  • TIME 2009
    verification of software and hardware systems. In addition to fostering Track 3: Temporal Logic and Verification in Computer Science
    6 KB (872 words) - 13:00, 18 January 2009
  • ICINCO 2009
    - Software agents for intelligent control systems - Petri nets (system design/verification with nets, protocols and networks)
    5 KB (661 words) - 13:02, 18 January 2009
  • PESOS 2009
    | Field = Software engineering In conjunction with the 31st Int. Conf. on Software Engineering
    5 KB (694 words) - 13:03, 18 January 2009
  • SPIN 2009
    | Title = SPIN Workshop on Model Checking of Software ...to encourage interactions and exchanges of ideas with all related areas in software engineering. For more information see the call for papers.
    2 KB (238 words) - 16:34, 27 February 2009
  • FACS 2009
    | Title = 6th International Workshop on Formal Aspects of Component Software | Field = Software engineering
    8 KB (1,079 words) - 17:05, 27 February 2009
  • TTSDP 2009
    | Title = International Workshop on “Tools and Techniques in Software Development Processes for High Performance computing | Field = Software engineering
    1 KB (190 words) - 22:09, 27 February 2009
  • SEPA 2009
    | Title = International Workshop on Software Engineering Processes and Applications | Field = Software engineering
    2 KB (284 words) - 22:10, 27 February 2009
  • IJERTCS 2009
    ...o the system-level design process as well as to the design of hardware and software components of the system: despite the small size and reliance on battery po - Hardware/software co-design
    5 KB (646 words) - 17:06, 27 February 2009
  • KSE 2009
    ...ng, including, but not limited to Natural Language Processing, Networking, Software Systems Software Systems Engineering
    6 KB (654 words) - 17:06, 27 February 2009
  • ATVA 2009
    | Title = 7th International Symposium on Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
    6 KB (801 words) - 17:06, 27 February 2009
  • TKDE 2009
    first trend is caused by the software development life cycle, which needs * Verification and validation of interchanged rule bases in
    7 KB (883 words) - 17:06, 27 February 2009
  • ICOCI 2009
    • Software agents for intelligent control system • Software Design and Development
    3 KB (319 words) - 17:07, 27 February 2009
  • ISC 2009
    ...tomatic model generation; Graphical simulation environments and simulation software tools; Intelligent simulation environments; Database management of models a ...Parallel and distributed systems; High-speed networks; Network simulation software; Computer and telecommunication systems; Telecommunication devices and syst
    38 KB (4,832 words) - 17:07, 27 February 2009
  • RelMiCS-AKA 2009
    Special focus will lie on formal methods for software engineering, logics of programs and links with neighboring - verification, analysis and development of programs and algorithms
    7 KB (912 words) - 17:08, 27 February 2009
  • ICKE 2009
    ...f view, knowledge engineering uses principles that are strongly related to software engineering. Knowledge engineering is also related to mathematical logic, a * Validation and verification
    11 KB (1,563 words) - 06:56, 12 April 2012
  • DBTest 2009
    actual innovations. Obviously, the software engineering community has already addressed in either the database or software engineering community.
    6 KB (817 words) - 17:08, 27 February 2009
  • CORCS 2009
    |Field=Software engineering - models for software components and component interaction: real-time, =20=
    4 KB (504 words) - 16:43, 27 December 2015
  • AOSE09
    |Title=The Tenth International Workshop on AGENT-ORIENTED SOFTWARE ENGINEERING |Field=Software engineering
    8 KB (1,153 words) - 22:41, 23 March 2009
  • SimpleScalar
    ...ormance visualization tools, statistical analysis resources, and debug and verification infrastructure. ...tware under an open source model, trusting that our users will license the software that they use. The tool set is distributed with all source code, making it
    2 KB (210 words) - 12:17, 7 April 2016
  • FPGA 2010
    ...chnology mapping, system-level partitioning, logic generators, testing and verification, CAD for FPGA-based accelerators, CAD for incremental FPGA design and on-li ...s, tools, and techniques to facilitate the design, development, debugging, verification, and deployment of large-scale and high-performance FPGA-based applications
    5 KB (632 words) - 11:32, 2 August 2009
  • DERIS 2009
    Evaluation, Verification, Validation and Refinement of Intelligent systems, have been an important i ...ntelligent Systems with mainstream technologies and design approaches from Software Engineering is especially important. The quality issues need to be consider
    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
  • Security 2009
    ...ecurity for nomadic code; Intrusion detection systems; Static analysis for software security; Security modeling ...g; Intrusion detection and event correlation; Firewalls; Trust management; Software security assurance
    6 KB (746 words) - 11:35, 2 August 2009
  • ASWEC 2010
    | Title = 21st Australian Software Engineering Conference | Field = Software engineering
    8 KB (1,112 words) - 11:35, 2 August 2009
  • SOC-LOG 2009
    - Verification of logistics services ...le communication networks, grid computing, networking, service science and software engineering.
    12 KB (1,624 words) - 11:36, 2 August 2009
  • DATE 2010
    ...ICs/SoCs, reconfigurable hardware and embedded systems, including embedded software. ...and design services, reconfigurable and other hardware platforms, embedded software, and (industrial) design experiences from different application domains, su
    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
    * Software agents for intelligent control systems * Petri nets (system design/verification with nets, protocols and networks)
    4 KB (475 words) - 13:42, 26 February 2010
  • LDTA 2010
    * Program analysis, transformation, generation, and verification * Application modelling (MDE, MDA, Software Factories,
    5 KB (699 words) - 11:19, 12 September 2009
  • QSIC 2010
    |Title=10th International Conference on Quality Software |Field=Software engineering
    4 KB (583 words) - 12:17, 25 November 2009
  • ICITST-2010
    * Software Architectures * Software Architecture
    5 KB (607 words) - 18:01, 3 December 2009
  • KES AMSTA 2010
    .... Mobile agents. Per-formance, scalability, robustness, and dependability. Verification and validation. E-business agents. Pervasive computing. Privacy, safety, an
    6 KB (733 words) - 18:19, 24 September 2020
  • SECRYPT
    * › Security in Information Systems and Software Engineering Area 5: Security in Information Systems and Software Engineering
    4 KB (409 words) - 15:40, 5 February 2010
  • TACAS 2019
    |Field=Software engineering .... Held as part of the European Joint Conferences on Theory and Practice of Software, [[ETAPS 2019]]
    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
  • S&P 2020
    ...pers may present advances in the theory, design, implementation, analysis, verification, or empirical evaluation and measurement of secure systems. * Malware and unwanted software
    4 KB (490 words) - 14:42, 6 November 2020
  • FM 2011
    |Field=Software engineering ...ence, proposals for workshops and tutorials, entries for the exhibition of software tools and projects, and reports on ongoing doctoral work.
    7 KB (993 words) - 14:55, 27 December 2015
  • ICST
    |Title=International Conference on Software Testing, Verification and Validation
    133 bytes (17 words) - 21:54, 26 February 2020
  • ICALP 2020
    * Specification, Verification and Synthesis ...r::Holger Hermanns]], Universität des Saarlandes - Dependable Systems and Software, Germany
    4 KB (602 words) - 06:44, 26 August 2020
  • ICST 2020
    |Title=International Conference on Software Testing, Verification and Validation
    228 bytes (26 words) - 17:00, 27 February 2020
  • MESA 2011
    functions (software), resulting in integrated systems called mechatronic * Design & Verification Tools for Embedded Systems
    12 KB (1,378 words) - 21:13, 28 November 2010
  • RE 2011
    |Field=Software engineering * Requirements elicitation, analysis, documentation, validation and verification
    7 KB (895 words) - 19:51, 24 June 2016
  • SXACEA 2011
    * Systen Software for Self-x and Autonomous Control * Formal Verification
    8 KB (678 words) - 09:03, 2 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
  • ICTSS 2011
    |Title=The 23th IFIP International Conference on Testing Software and Systems ICTSS 2011: The 23th IFIP International Conference on Testing Software and Systems
    6 KB (822 words) - 14:44, 18 March 2011
  • TRUST 2012
    ...ncluding trustworthy infrastructures, cloud computing, services, hardware, software and protocols. Topics of interest include, but are not limited to: Implementations of trusted computing (hardware and software)
    4 KB (451 words) - 12:27, 30 November 2011
  • DISSECT 2020
    ...ed Data Networking (NDN) and emerging open networking technologies such as Software-Defined Networking (SDN), Network Function Virtualization (NFV), and Progra Verification and enforcement of security properties
    4 KB (581 words) - 18:48, 24 February 2020
  • ESEC/FSE 2020
    ...ropean Software Engineering Conference and Symposium on the Foundations of Software Engineering |Field=Software Engineering
    6 KB (738 words) - 11:21, 6 July 2020
  • ICCS 2012
    High level synthesis and hardware/software co-design Logic synthesis and formal verification
    10 KB (1,363 words) - 09:26, 7 May 2012
  • TRUST 2013
    ...ited to, trustworthy infrastructures, cloud computing, services, hardware, software and protocols. ● Implementations of trusted computing (hardware and software)
    5 KB (677 words) - 15:19, 19 December 2012
  • ACIS 2013
    * Software Engineering * Knowledge verification/validation
    3 KB (408 words) - 11:39, 5 January 2013
  • JIST 2016
    ** Big data verification using semantics ** Semantic Web for software and systems engineering
    5 KB (711 words) - 19:02, 7 March 2020
  • ICTSS 2016
    |Title=International Conference on Testing Software and Systems |Series=International Conference on Testing Software and Systems
    3 KB (405 words) - 10:56, 24 April 2016
  • 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
  • APW 2016
    |Field=software verification, eiffel, autoproof, boogie
    387 bytes (46 words) - 10:47, 11 September 2016
  • FSEN 2017
    |Title=FSEN 2017 : Fundamentals of Software Engineering |Field=system verification, software engineering, formal methods, software testing
    418 bytes (51 words) - 16:21, 8 July 2016
  • TAIC PART 2017
    |Field=software testing, industry collaboration, verification and validation, software quality
    484 bytes (58 words) - 15:35, 27 August 2016
  • ACSS 2017-2
    * Analysis and verification techniques * Software Engineering
    870 bytes (100 words) - 18:53, 2 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
    509 bytes (61 words) - 13:48, 25 September 2016
  • CAV
    |Title=Computer Aided Verification |Field=Software engineering
    93 bytes (11 words) - 17:52, 30 September 2016
  • ICSS 2017
    |Title=ICSS 2017 : 3rd International Conference on Software Security 3rd International Conference on Software Security (ICSS-2017)
    4 KB (562 words) - 12:05, 3 September 2017
  • ICSESS 2017
    |Title=ICSESS 2017: 2017 8th IEEE International Conference on Software Engineering and Service Science 2017 8th International Conference on Software Engineering and Service Science
    5 KB (673 words) - 09:53, 3 September 2017
  • ECIJ 2017 : Electrical & Computer Engineering: An International Journal
    * Hardware Formal Verification * Software Engineering and Real-time Systems
    3 KB (464 words) - 13:28, 28 July 2017
  • SoICT 2017
    and Wireless Networks, Ad-hoc and Sensor Networks, Internet of Things. Software 4. Software Engineering and Applied Soft Computing: Software Architectures;
    4 KB (559 words) - 11:58, 8 August 2017
  • FoIKS 2018
    Integrity and Constraint Management: verification, validation, consistent software agents, cooperative agents, formal models of interactions,
    9 KB (1,118 words) - 13:41, 3 September 2017
  • COMNET SI SDN/NFV Security/Performance 2017 : Elsevier Computer Networks: Special Issue on Security and Performance of SDN/NFV
    Software-defined Networking (SDN) and Network Functions Virtualization the overheads imposed by software and virtualization stacks. At the same
    4 KB (515 words) - 11:28, 6 November 2020
  • ISEC 2018
    |Title=ISEC 2018 : 11th Innovations in Software Engineering Conference |Field=software engineering
    8 KB (1,150 words) - 10:11, 7 August 2019
  • SAC 2018
    Middleware and Enterprise Application Software CANCELLED MEAS Software Architecture: Theory, Technology, and Applications SA-TTA
    5 KB (660 words) - 13:50, 8 April 2020
  • MACIS 2017 : 7th International Conference on Mathematical Aspects of Computer and Information Sciences
    engines; applications, especially in systems analysis and formal verification; cryptography; (lattices, codes); algorithms and software for symbolic
    5 KB (670 words) - 13:24, 28 July 2017
  • CADS 2017
    * Test, Verification, and Security of Digital Systems * Parallel Algorithms, Tools for Hardware/ Software Design and Evaluation of
    1 KB (178 words) - 10:05, 20 November 2020
  • Correctness 2017
    |Title=Correctness 2017 : First International Workshop on Software Correctness for HPC Applications First International Workshop on Software Correctness for HPC
    5 KB (588 words) - 18:00, 18 February 2021
  • IEICE Trans D Form Appr 2018 : Special Section on Formal Approaches at IEICE Transactions on Information and Systems
    codes, testing, verification, and maintenance. They are rapidly description and verification for structure and behavior of systems.
    4 KB (593 words) - 13:24, 28 July 2017
  • SI-SoftMM 2017 : Special Issue on Soft Computing Techniques and Applications on MM Data Analyzing Systems-- Springer Journal of Multimedia Tools and Applications
    of high performance computing architectures, systems and software for the and verification paradigms. Preferred topics in this issue include (but are not
    4 KB (598 words) - 09:58, 21 August 2017
  • IoTBDS 2018
    - Software Frameworks (MapReduce, Spark etc) and Simulations - Security as a Service including any Algorithms, Methodology and Software
    8 KB (1,170 words) - 13:40, 3 September 2017
  • ZEUS 2015
    - Formal methods, models, simulation and verification Chair of Software Engineering
    7 KB (1,046 words) - 10:36, 26 November 2017
  • ZEUS 2012
    software engineers and domain experts, and the application of choreography and Analysis, simulation and verification
    6 KB (748 words) - 10:36, 26 November 2017
  • FASE 2019
    |Title=22nd International Conference on Fundamental Approaches to Software Engineering |Field=software engineering
    2 KB (301 words) - 14:34, 4 June 2019
  • BIOINFORMATICS 2021
    *Formal Verification of Biological Systems *Algorithms and Software Tools
    3 KB (304 words) - 12:02, 22 March 2020
  • BIOINFORMATICS 2019
    *Formal Verification of Biological Systems *Algorithms and Software Tools
    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
  • KSEM 2020
    • Knowledge-based software engineering • Knowledge verification and validation
    3 KB (277 words) - 15:47, 11 June 2020
  • KSEM 2018
    * Knowledge-based software engineering * Knowledge verification and validation
    2 KB (204 words) - 11:36, 27 March 2020
  • Coordination 2020
    ...ification, refinement, and analysis of architectures: patterns and styles, verification of functional and non-functional properties, including performance and secu *Dynamic software architectures: distributed mobile code, configuration, reconfiguration, net
    2 KB (264 words) - 18:00, 18 February 2021
  • APLAS 2019
    * program analysis, verification, model-checking * software security
    1 KB (141 words) - 15:22, 8 April 2020
  • APLAS 2018
    * Program analysis, verification, model-checking * Software security
    1 KB (110 words) - 15:22, 8 April 2020
  • APLAS 2017
    * program analysis, verification, model-checking * software security
    1 KB (109 words) - 15:23, 8 April 2020
  • Petri Nets 2020
    ...ideos of the talks, and live sessions for discussion via BigBlueButton (no software needed, just a browser). Registration is free (except for one author per pa * Model checking and verification of distributed systems
    2 KB (291 words) - 19:33, 13 May 2020
  • Coordination 2019
    ...ification, refinement, and analysis of architectures: patterns and styles, verification of functional and non-functional properties, including performance and secu *Dynamic software architectures: distributed mobile code, configuration, reconfiguration, net
    3 KB (355 words) - 08:53, 17 April 2020
  • 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 (275 words) - 11:35, 17 April 2020
  • EMAS 2020
    Formal methods and declarative technologies for specification, verification, and engineering of MAS verification of MAS with machine learning components
    8 KB (1,092 words) - 12:49, 22 April 2020
  • EMAS 2019
    ...s and Multi-Agent Systems (MAS), giving rise to research in agent-oriented software engineering, programming multi-agent systems, and declarative agent languag * Software engineering methodologies and techniques, and development concerns for MAS
    5 KB (728 words) - 15:28, 18 June 2020
  • EMAS 2018
    ...ose researchers and practitioners working in the domains of agent-oriented software engineering, programming multi-agent systems, declarative agent languages a * Software engineering methodologies and techniques, and development concerns for MAS
    6 KB (863 words) - 15:29, 18 June 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
  • SummerSim 2019
    * - Simulation Verification and Validation * - Software Engineering and Performance
    5 KB (640 words) - 13:03, 5 May 2020
  • DATE 2018
    ...ering ICs/SoCs, reconfigurable hardware and embedded systems, and embedded software. ...and design services, reconfigurable and other hardware platforms, embedded software, and (industrial) design experiences from different application domains, e.
    12 KB (1,651 words) - 13:30, 27 November 2020
  • LDTA 2012
    LDTA is an application and tool-oriented workshop focused on grammarware - software based on grammars in some form. Grammarware applications are typically lang ...so a forum in which theory is put to the test, in many cases on real-world software engineering challenges. Thus, LDTA also solicits papers on the application
    5 KB (722 words) - 13:15, 6 May 2020
  • DATE 2020
    ...s, covering ICs/SoCs, emerging technologies, embedded systems and embedded software. ...and design services, reconfigurable and other hardware platforms, embedded software and (industrial) design experiences from different application domains, suc
    4 KB (508 words) - 17:54, 6 January 2021
  • SafeComp 2018
    * Fault-tolerant and resilient hardware and software architectures and tools for all concerned topics; * Formal methods for verification, validation, and fault tolerance;
    4 KB (475 words) - 10:23, 19 June 2020
  • FPGA 2020
    ...of FPGAs. Novel design software for system-level partitioning, debug, and verification. Algorithms for modeling, analysis and optimization of timing and power. ...ng and verification of FPGA-based applications and systems. Novel hardware/software co-design and high-level synthesis methodologies enabling digital signal pr
    11 KB (1,541 words) - 15:35, 18 June 2020
  • ASP-DAC 2020
    * 1.1. HW/SW co-design, co-simulation and co-verification * 1.3. System-level formal verification
    6 KB (739 words) - 15:08, 13 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
  • SAFECOMP 2017
    * Fault-tolerant and resilient hardware and software architectures * Formal methods for verification, validation, and fault tolerance
    4 KB (457 words) - 11:48, 17 June 2020
  • ICSNC 2020
    ...ectrum management; Software-Defined Radio (SDR) [ architectures, hardware, software, signal processing and smart antennas, etc.] ...n mobile networks; Complexity analysis of mobile algorithms and protocols; Software platforms and development tools supporting mobility; QoS/SLA, access contro
    13 KB (1,636 words) - 11:51, 10 July 2020
  • ASE 2017
    |Title=32nd IEEE/ACM International Conference on Automated Software Engineering |Field=Software engineering
    5 KB (557 words) - 07:07, 13 July 2020
  • INTERNET 2020
    ...es; Multi-vendor NVF (Network Virtual Functionalities) orchestration; SDN (Software Defined Network)--based resilience; Policy-based NFV management; Performanc ...visualization of multidimensional measurements, characterizing protocols; Software defined radio networks: low power signal processing methods, applications o
    13 KB (1,550 words) - 02:20, 10 July 2020
  • ICCGI 2020
    ...ociety; IS socio-technical concepts; Organizational agility; Collaborative software development; Knowledge transfer; Organizational culture; Business process o ...s; Biometric card technologies; Biometric wireless technologies; Biometric software and hardware; Biometric standards
    18 KB (2,036 words) - 02:36, 10 July 2020
  • VISUAL 2020
    ...ms","Visual Robotics","Environment Visual Modeling","Visual Approaches for Software/Hardware","Visual Services and Applications" Visual Approaches for Software/Hardware
    6 KB (788 words) - 02:42, 10 July 2020
  • ICSEA 2020
    |Title=The Fifteenth International Conference on Software Engineering Advances ICSEA 2020, The Fifteenth International Conference on Software Engineering Advances
    13 KB (1,573 words) - 12:00, 10 July 2020
  • SIMUL 2020
    ...tion models; Multisimulation with multiresolution, multistage multimodels; Verification and validation of simulation models; Simulation metamodels; Executable simu ...ng; Application to finance; Logistics simulation; Supply chain simulation; Software reliability simulation; Simulation in vehicular systems /avionics, satellit
    12 KB (1,421 words) - 12:02, 10 July 2020
  • SECURWARE 2020
    ...t logging, etc.; Advanced testing software, for known and unknown flaws in software; identifying the weaknesses and vulnerabilities; E-mail communication confi ...ecurity for nomadic code; Intrusion detection systems; Static analysis for software security; Security modeling
    15 KB (1,886 words) - 16:16, 25 August 2020
  • TACAS 2021
    |Field=Software engineering * specification and verification techniques;
    2 KB (293 words) - 14:54, 3 August 2020
  • TACAS 2020
    |Field=Software engineering on Theory and Practice of Software, ETAPS 2020
    2 KB (279 words) - 07:00, 20 August 2020
  • ICPADS 2020
    * Large-scale complex software systems * Software security
    4 KB (436 words) - 12:06, 25 August 2020
  • ICONS 2021
    Platform-based design for embedded systems; Software advances for Information systems; Real-time systems; Software systems; Hardware
    10 KB (1,210 words) - 20:17, 22 November 2020
  • ALLDATA 2021
    data software (libraries, toolkits, etc.); Big Data visualisation and and testing; Validation and verification of regression in small data
    9 KB (1,239 words) - 14:37, 29 December 2020
  • SOFTENG 2021
    |Title=The Seventh International Conference on Advances and Trends in Software Engineering Trends in Software Engineering
    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
  • INTERNET 2021
    Virtual Functionalities) orchestration; SDN (Software Defined multidimensional measurements, characterizing protocols; Software
    13 KB (1,607 words) - 19:32, 30 November 2020
  • ADAPTIVE 2021
    ...rol; Self-Society; Adaptation in large scale systems; Self-optimization in Software-Defined Networks (SDN); Self-aware adaptation for analyzing big data; Self- Adaptive environments; Adaptive hardware configurations; Adaptive software applications; Adaptive protocols; Adaptive algorithms; Adaptive and interac
    8 KB (931 words) - 15:28, 29 December 2020
  • ICDT 2021
    Interoperability in IoT; Software defined radio (SDR); Internet SARP: Software architecture research and practice
    19 KB (2,346 words) - 10:51, 9 December 2020
  • PESARO 2021
    Model verification and validation; Fault-tolerant systems; Simulation, measurement and monitoring; Model verification and validation,
    9 KB (1,079 words) - 11:12, 9 December 2020
  • ACCSE 2021
    |Field=information systems, big data, software design Software design, testing, and experimentation technology for collaborative
    5 KB (640 words) - 21:39, 17 December 2020
  • ALLDATA
    ...protection, integrity, privacy, and pseudonymisation mechanisms; Big data software (libraries, toolkits, etc.); Big Data visualisation and user experience mec ...all data sets; Small datasets for benchmarking and testing; Validation and verification of regression in small data sets; Small data toolkits; Data summarization
    9 KB (1,229 words) - 03:37, 3 December 2021
  • ICCS 2021
    Mining software repositories Verification, validation, and testing
    2 KB (273 words) - 04:32, 17 March 2021
  • AWSE 2021
    |Title=2021 Asia Workshop on Software Engineering ...sed Software Engineering; Testing, Verification, and Validation; Web-based Software Engineering etc.
    1 KB (163 words) - 09:08, 26 March 2021
  • CHES 2021
    * Efficient software implementations * Hardware and software reverse engineering
    3 KB (288 words) - 17:03, 7 April 2021
  • CIAA 2021
    * computer-aided verification * design and architecture of automata software
    2 KB (213 words) - 15:39, 8 April 2021
  • CONCUR 2021
    Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are n ...del checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis, testing, theorem prov
    2 KB (262 words) - 16:45, 8 April 2021
  • ICDT 2022
    ...communications; Low-layer wireless technologies; Interoperability in IoT; Software defined radio (SDR); Internet broadcasting; Mobile broadcasting and mobile SARP: Software architecture research and practice
    19 KB (2,317 words) - 02:40, 26 November 2021
  • PESARO 2022
    ...Evaluation of safety data, and mitigation and prevention strategies; Model verification and validation; Fault-tolerant systems; Simulation, statistical analysis, a ...algorithms for analytic modeling; System measurement and monitoring; Model verification and validation, simulation, statistical analysis; Experimental design, and
    9 KB (1,086 words) - 02:44, 26 November 2021
  • ICONS 2022,
    ...& tools for embedded systems; Platform-based design for embedded systems; Software advances for embedded systems; Dependable/secure embedded systems; Context- Information systems; Real-time systems; Software systems; Hardware systems; Emulation systems; Simulation systems Prediction
    10 KB (1,228 words) - 02:46, 26 November 2021
  • SOFTENG
    ...OFTENG 2022, The Eighth International Conference on Advances and Trends in Software Engineering SOFTENG 2022, The Eighth International Conference on Advances and Trends in Software Engineering
    13 KB (1,522 words) - 03:32, 3 December 2021
Retrieved from "https://www.openresearch.org/wiki/Special:Search"