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

• 2016
• 
  Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy:
  Formalising concurrent UML state machines using coloured Petri nets. Formal Aspects Comput. 28(5): 805-845 (2016)
• 
  Jesús Aransay, Jose Divasón:
  Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL. Formal Aspects Comput. 28(6): 1005-1026 (2016)
• 
  Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene:
  ASM-based formal design of an adaptivity component for a Cloud system. Formal Aspects Comput. 28(4): 567-595 (2016)
• 
  Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha, Andreas Podelski:
  Ready for testing: ensuring conformance to industrial standards through formal verification. Formal Aspects Comput. 28(3): 499-527 (2016)
• 
  Alasdair Armstrong, Victor B. F. Gomes, Georg Struth:
  Building program construction and verification tools from algebraic principles. Formal Aspects Comput. 28(2): 265-293 (2016)
• 
  Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis:
  A general framework for architecture composability. Formal Aspects Comput. 28(2): 207-231 (2016)
• 
  Hamid Bagheri, Kevin J. Sullivan:
  Model-driven synthesis of formally precise, stylized software architectures. Formal Aspects Comput. 28(3): 441-467 (2016)
• 
  Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
  Reversible client/server interactions. Formal Aspects Comput. 28(4): 697-722 (2016)
• 
  Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila:
  Analysing sanity of requirements for avionics systems. Formal Aspects Comput. 28(1): 45-63 (2016)
• 
  Alexandre Boulgakov, Thomas Gibson-Robinson, A. W. Roscoe:
  Computing maximal weak and other bisimulations. Formal Aspects Comput. 28(3): 381-407 (2016)
• 
  Michael J. Butler:
  Editorial. Formal Aspects Comput. 28(2): 179-180 (2016)
• 
  Marco Carbone, Thomas T. Hildebrandt, Joachim Parrow, Matthias Weidlich:
  Editorial. Formal Aspects Comput. 28(4): 529-530 (2016)
• 
  Gustavo Carvalho, Ana Cavalcanti, Augusto Sampaio:
  Modelling timed reactive systems from natural-language requirements. Formal Aspects Comput. 28(5): 725-765 (2016)
• 
  Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen:
  Active learning for extended finite state machines. Formal Aspects Comput. 28(2): 233-263 (2016)
• 
  Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez:
  Self-adaptation and secure information flow in multiparty communications. Formal Aspects Comput. 28(4): 669-696 (2016)
• 
  Florent Chevrou, Aurélie Hurault, Philippe Quéinnec:
  On the diversity of asynchronous communication. Formal Aspects Comput. 28(5): 847-879 (2016)
• 
  Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu:
  A language-independent proof system for full program equivalence. Formal Aspects Comput. 28(3): 469-497 (2016)
• 
  Ivaylo Dobrikov, Michael Leuschel:
  Optimising the ProB model checker for B using partial order reduction. Formal Aspects Comput. 28(2): 295-323 (2016)
• 
  Luis María Ferrer Fioriti, Vahid Hashemi, Holger Hermanns, Andrea Turrini:
  Deciding probabilistic automata weak bisimulation: theory and practice. Formal Aspects Comput. 28(1): 109-143 (2016)
• 
  Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira:
  Dynamic role authorization in multiparty conversations. Formal Aspects Comput. 28(4): 643-667 (2016)
• 
  Cinzia Di Giusto, Jorge A. Pérez:
  Event-based run-time adaptation in communication-centric systems. Formal Aspects Comput. 28(4): 531-566 (2016)
• 
  Mounira Kezadri Hamiaz, Marc Pantel, Xavier Thirioux, Benoît Combemale:
  Correct-by-construction model driven engineering composition operators. Formal Aspects Comput. 28(3): 409-440 (2016)
• 
  Ian J. Hayes:
  Generalised rely-guarantee concurrency: an algebraic foundation. Formal Aspects Comput. 28(6): 1057-1078 (2016)
• 
  Wim H. Hesselink:
  Correctness and concurrent complexity of the Black-White Bakery Algorithm. Formal Aspects Comput. 28(2): 325-341 (2016)
• 
  Thai Son Hoang, Steve A. Schneider, Helen Treharne, David M. Williams:
  Foundations for using linear temporal logic in Event-B refinement. Formal Aspects Comput. 28(6): 909-935 (2016)
• 
  Florentin Ipate, Dimitris Dranidis:
  A unified integration and component testing approach from deterministic stream X-machine specifications. Formal Aspects Comput. 28(1): 1-20 (2016)
• 
  Fatma Jebali, Frédéric Lang, Radu Mateescu:
  Formal modelling and verification of GALS systems using GRL and CADP. Formal Aspects Comput. 28(5): 767-804 (2016)
• 
  Sarmen Keshishzadeh, Arjan J. Mooij:
  Formalizing and testing the consistency of DSL transformations. Formal Aspects Comput. 28(2): 181-206 (2016)
• 
  Narges Khakpour, Farhad Arbab, Éric Rutten:
  Synthesizing structural and behavioral control for reconfigurations in component-based systems. Formal Aspects Comput. 28(1): 21-43 (2016)
• 
  Ryan F. Kirwan, Alice Miller, Bernd Porr:
  Model checking learning agent systems using Promela with embedded C code and abstraction. Formal Aspects Comput. 28(6): 1027-1056 (2016)

skipping 10 more matches