• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 2,347 matches

• 2021
• 
  Marko Vjestica, Vladimir Dimitrieski, Milan Pisaric, Slavica Kordic, Sonja Ristic, Ivan Lukovic:
  Towards a Formal Specification of Production Processes Suitable for Automatic Execution. Open Comput. Sci. 11(1): 161-179 (2021)
• 
  Atif Mashkoor, Michael Leuschel, Alexander Egyed:
  Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification. CoRR abs/2102.06037 (2021)
• 
  Jayaraj Poroor:
  Natural Hoare Logic: Towards formal verification of programs from logical forms of natural language specifications. CoRR abs/2103.05779 (2021)
• 
  Zhe Xu, Xiaoming Duan:
  Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic. CoRR abs/2103.14262 (2021)
• 2020
• 
  Kerianne Hobbs:
  Elicitation and Formal Specification of Run Time Assurance Requirements for Aerospace Collision Avoidance Systems. Georgia Institute of Technology, Atlanta, GA, USA, 2020
• 
  Vinicius Fulber Garcia, Elias Procópio Duarte Jr., Alexandre Huff, Carlos R. P. dos Santos:
  Network service topology: Formalization, taxonomy and the CUSTOM specification model. Comput. Networks 178: 107337 (2020)
• 
  Marcello M. Bersani, Matteo Soldo, Claudio Menghi, Patrizio Pelliccione, Matteo Rossi:
  PuRSUE -from specification of robotic environments to synthesis of controllers. Formal Aspects Comput. 32(2-3): 187-227 (2020)
• 
  Quentin Rouland, Brahim Hamid, Jason Jaskolka:
  Formal specification and verification of reusable communication models for distributed systems architecture. Future Gener. Comput. Syst. 108: 178-197 (2020)
• 
  Hania Gadouche, Farah Zoubeyr, Abdelkamel Tari:
  A Valid and Correct-by-Construction Formal Specification of RBAC. Int. J. Inf. Secur. Priv. 14(2): 41-61 (2020)
• 
  Weiqing Wan, Yongqing Yu, Qingyan Zeng, Zhicheng Wen:
  Checking the consistency of Object-Z formal specification based on theorem proof. J. Comput. Methods Sci. Eng. 20(1): 217-226 (2020)
• 
  Razvan Diaconescu:
  Introducing H, an Institution-Based Formal Specification and Verification Language. Logica Universalis 14(2): 259-277 (2020)
• 
  Sejin Jung, Junbeom Yoo, Young-Jun Lee:
  A Software Fault Tree Analysis Technique for Formal Requirement Specifications of Nuclear Reactor Protection Systems. Reliab. Eng. Syst. Saf. 203: 107064 (2020)
• 
  Dana Dghaym, Mohammadsadegh Dalvandi, Michael Poppleton, Colin F. Snook:
  Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B. Int. J. Softw. Tools Technol. Transf. 22(3): 297-313 (2020)
• 
  Zhiyu Liu, Bo Wu, Jin Dai, Hai Lin:
  Distributed Communication-Aware Motion Planning for Networked Mobile Robots Under Formal Specifications. IEEE Trans. Control. Netw. Syst. 7(4): 1801-1811 (2020)
• 
  Pedro Cabalar, Jorge Fandinno, Yuliya Lierler:
  Modular Answer Set Programming as a Formal Specification Language. Theory Pract. Log. Program. 20(5): 767-782 (2020)
• 
  Christoph Czepa, Uwe Zdun:
  On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language. IEEE Trans. Software Eng. 46(1): 100-112 (2020)
• 
  Rafika Thabet, Elyes Lamine, Amine Boufaied, Dominik Bork, Ouajdi Korbaa, Hervé Pingaud:
  Formal Specification, Implementation, and Evaluation of the AdoBPRIM Approach. AMCIS 2020
• 
  Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler:
  Towards Automatic Hardware Synthesis from Formal Specification to Implementation. ASP-DAC 2020: 375-380
• 
  Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir:
  Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper). FMBC@CAV 2020: 10:1-10:8
• 
  Ákos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie:
  Formal Specification and Verification of Solidity Contracts with Events (Short Paper). FMBC@CAV 2020: 2:1-2:9
• 
  Julien Girard-Satabin, Guillaume Charpiat, Zakaria Chihani, Marc Schoenauer:
  CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators. ECAI 2020: 2497-2504
• 
  Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse:
  Formal Verification of OIL Component Specifications using mCRL2. FMICS 2020: 231-251
• 
  Thomas Helmuth, Lee Spector, Edward R. Pantridge:
  Counterexample-driven genetic programming without formal specifications. GECCO Companion 2020: 239-240
• 
  Emanuel S. Grant, Smruti Priyambada Nanda:
  A Review of Applications of Formal Specification in Safety-Critical System Development. ICCDA 2020: 208-215
• 
  Davide G. Cavezza, Dalal Alrajeh, András György:
  Minimal Assumptions Refinement for Realizable Specifications. FormaliSE@ICSE 2020: 66-76
• 
  Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser:
  Relational Test Tables: A Practical Specification Language for Evolution and Security. FormaliSE@ICSE 2020: 77-86
• 
  Misbah Mehboob Awan, Farooque Azam, Muhammad Waseem Anwar, Yawar Rasheed:
  Formal Requirements Specification: Z Notation Meta Model Facilitating Model to Model Transformation. ICSIE 2020: 61-66
• 
  Quentin Rouland, Brahim Hamid, Jason Jaskolka:
  Reusable Formal Models for Threat Specification, Detection, and Treatment. ICSR 2020: 52-68
• 
  I. S. W. B. Prasetya, Craig Q. H. D. Leek, Roan Oosenbrug, Petar Kostic, Mike de Vries:
  Can Learning Formal Specification Be Fun? - Experience and Perspective. ICST Workshops 2020: 437-440
• 
  Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich:
  ContracT - from Legal Contracts to Formal Specifications: Preliminary Results. PoEM 2020: 124-137

skipping 2,317 more matches