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

• 2021
• 
  Joaquín Aguado, Alejandra Duenas:
  Synchronised Shared Memory and Model Checking: A Proof of Concept. FDL 2021: 1-8
• 
  Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler:
  RISC-V AMS VP: An Open Source Evaluation Platform for Cyber-Physical Systems. FDL 2021: 1-7
• 
  Emad Malekzadeh Arasteh, Rainer Dömer:
  Improving Parallelism in System Level Models by Assessing PDES Performance. FDL 2021: 1-7
• 
  Nicola Dall'Ora, Sadia Azam, Enrico Fraccaroli, André Alberts, Franco Fummi:
  A Common Manipulation Framework for Transistor-Level Languages. FDL 2021: 1-7
• 
  Julien Deantoni, João Cambeiro, Soroush Bateni, Shaokai Lin, Marten Lohstroh:
  Debugging and Verification Tools for Lingua Franca in Gemoc Studio. FDL 2021: 1-8
• 
  Sebastiano Gaiardelli, Stefano Spellini, Michele Lora, Franco Fummi:
  Modeling in Industry 5.0: What Is There and What Is Missing: Special Session 1: Languages for Industry 5.0. FDL 2021: 1-8
• 
  Mehran Goli, Rolf Drechsler:
  VIP-VP: Early Validation of SoCs Information Flow Policies using SystemC-based Virtual Prototypes. FDL 2021: 1-8
• 
  Victor Grimblatt:
  The Challenge of Agriculture: Increase the Productivity in a Sustainable Way. FDL 2021: 1-6
• 
  Jobish John, Amrita Ghosal, Tiziana Margaria, Dirk Pesch:
  DSLs for Model Driven Development of Secure Interoperable Automation Systems with EdgeX Foundry. FDL 2021: 1-8
• 
  Daniel Lucas, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Friedrich Gretz, Franz-Josef Grosch:
  Extracting Mode Diagrams from Blech Code. FDL 2021: 1-8
• 
  Francesco Lumpp, Marco Panato, Franco Fummi, Nicola Bombieri:
  A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures. FDL 2021: 1-8
• 
  Javier Merino, Raul Gomez, Hector Posadas, Eugenio Villar:
  Modeling and Performance Estimation of Robotic Systems using ROS: Application to drone-based Services. FDL 2021: 1-8
• 
  Loïc Salmon, Pierre Yves Pillain, Goulven Guillou, Jean-Philippe Babau:
  CARES, a framework for CPS simulation : application to autonomous underwater vehicle navigation function. FDL 2021: 1-8
• 
  Eric Senn, Lucie Bourdon:
  Introducing CPU load Analysis from AADL Models for ROS applications : a use case. FDL 2021: 1-8
• 
  Geri Skenderi, Alessia Bozzini, Luigi Capogrosso, Enrico Carlo Agrillo, Giovanni Perbellini, Franco Fummi, Marco Cristani:
  DOHMO: Embedded Computer Vision in Co-Housing Scenarios. FDL 2021: 1-8
• 
  Sören Tempel, Vladimir Herdt, Rolf Drechsler:
  In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes. FDL 2021: 1-7
• 
  24th Forum on specification & Design Languages, FDL 2021, Antibes, France, September 8-10, 2021. IEEE 2021, ISBN 978-1-6654-1825-6 [contents]