• 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 214 matches

• 2023
• 
  Juliana Cunha, Alexandre Madeira, Luís Soares Barbosa:
  Structured Specification of Paraconsistent Transition Systems. FSEN 2023: 1-17
• 
  Andrea Domenici:
  Towards a Basic Theory for Partial Differentiation in the Prototype Verification System. FSEN 2023: 18-24
• 
  João Pascoal Faria, Rui Abreu:
  Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment. FSEN 2023: 25-39
• 
  Ebrahim Fazli, Ali Ebnenasir:
  TPGen: A Self-stabilizing GPU-Based Method for Test and Prime Paths Generation. FSEN 2023: 40-54
• 
  Wen-ling Huang, Niklas Krafczyk, Jan Peleska:
  An Optimised Complete Strategy for Testing Symbolic Finite State Machines. FSEN 2023: 55-71
• 
  Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi:
  Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models. FSEN 2023: 72-87
• 
  Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
  Interaction-Based Offline Runtime Verification of Distributed Systems. FSEN 2023: 88-103
• 
  Yutaka Nagashima:
  Genetic Algorithm for Program Synthesis. FSEN 2023: 104-111
• 
  Yutaka Nagashima, Zijin Xu, Ningli Wang, Daniel Sebastian Goc, James Bang:
  Template-Based Conjecturing for Automated Induction in Isabelle/HOL. FSEN 2023: 112-125
• 
  P. H. M. van Spaendonck:
  Verification of the Busy-Forbidden Protocol - (using an Extension of the Cones and Foci Proof Framework). FSEN 2023: 126-141
• 
  Xiaoyong Xue, Xiyue Zhang, Meng Sun:
  kProp: Multi-neuron Relaxation Method for Neural Network Robustness Verification. FSEN 2023: 142-156
• 
  Hossein Hojjat, Erika Ábrahám:
  Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14155, Springer 2023, ISBN 978-3-031-42440-3 [contents]
• 2021
• 
  Aidin Azamnouri, Samad Paydar:
  Compressing Automatically Generated Unit Test Suites Through Test Parameterization. FSEN 2021: 215-221
• 
  Shaun Azzopardi, Joshua Ellul, Gordon J. Pace:
  Runtime Monitoring Processes Across Blockchains. FSEN 2021: 142-156
• 
  Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins:
  Adding Proof Calculi to Epistemic Logics with Structured Knowledge. FSEN 2021: 53-68
• 
  Kasper Dokter, Farhad Arbab:
  Protocol Scheduling. FSEN 2021: 3-17
• 
  Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Anton Wijs:
  Term Rewriting on GPUs. FSEN 2021: 175-189
• 
  Harold Pancho Eliott, Martin Berger:
  A Program Logic for Fresh Name Generation. FSEN 2021: 76-91
• 
  Daniel Figueiredo:
  Introducing Interval Differential Dynamic Logic. FSEN 2021: 69-75
• 
  Mohammad Ghoreshi, Hassan Haghighi:
  Systematic Extraction of Tests from Object-Oriented Programs. FSEN 2021: 222-228
• 
  Kevin Lano, Shekoufeh Kolahdouz Rahimi:
  Extending OCL with Map and Function Types. FSEN 2021: 108-123
• 
  Amaury Maillé, Ludovic Henrio, Matthieu Moy:
  Promise Plus: Flexible Synchronization for Parallel Computations on Arrays. FSEN 2021: 190-196
• 
  Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione:
  Incremental Refinement of Goal Models with Contracts. FSEN 2021: 35-50
• 
  Amin Soltanieh, Markus Siegle:
  Solving Systems of Bilinear Equations for Transition Rate Reconstruction. FSEN 2021: 157-172
• 
  Anna Stramaglia, Jeroen J. A. Keiren, Hans Zantema:
  Deadlock in Packet Switching Networks. FSEN 2021: 127-141
• 
  Aline Uwimbabazi, Omar Inverso, Rocco De Nicola:
  Automated Replication of Tuple Spaces via Static Analysis. FSEN 2021: 18-34
• 
  Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah:
  Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications. FSEN 2021: 199-214
• 
  Vladimir Zyubin, Igor S. Anureev, Natalya Olegovna Garanina, Sergey M. Staroletov, Andrei Rozov, Tatiana V. Liakh:
  Event-Driven Temporal Logic Pattern for Control Software Requirements Specification. FSEN 2021: 92-107
• 
  Hossein Hojjat, Mieke Massink:
  Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers. Lecture Notes in Computer Science 12818, Springer 2021, ISBN 978-3-030-89246-3 [contents]
• 2019
• 
  Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, Gerardo Schneider:
  Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier. FSEN 2019: 228-243

skipping 184 more matches