External Links

    Journal: Formal Asp. Comput.

    Volume 28, Issue 6

    909 -- 935Thai Son Hoang, Steve Schneider, Helen Treharne, David M. Williams. Foundations for using linear temporal logic in Event-B refinement
    937 -- 1004Marcel Vinicius Medeiros Oliveira, Pedro Antonino, Rodrigo Ramos, Augusto Sampaio, Alexandre Cabral Mota, A. W. Roscoe. Rigorous development of component-based systems using component metadata and patterns
    1005 -- 1026Jesús Aransay, Jose Divasón. Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL
    1027 -- 1056Ryan F. Kirwan, Alice Miller, Bernd Porr. Model checking learning agent systems using Promela with embedded C code and abstraction
    1057 -- 1078Ian J. Hayes. Generalised rely-guarantee concurrency: an algebraic foundation

    Volume 28, Issue 5

    723 -- 724Stephan Merz, Jun Pang, Jin Song Dong. Editorial
    725 -- 765Gustavo Carvalho, Ana Cavalcanti, Augusto Sampaio. Modelling timed reactive systems from natural-language requirements
    767 -- 804Fatma Jebali, Frédéric Lang, Radu Mateescu. Formal modelling and verification of GALS systems using GRL and CADP
    805 -- 845Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy. Formalising concurrent UML state machines using coloured Petri nets
    847 -- 879Florent Chevrou, Aurélie Hurault, Philippe Quéinnec. On the diversity of asynchronous communication
    881 -- 907Umair Siddique, Sofiène Tahar. On the formal analysis of Gaussian optical systems in HOL

    Volume 28, Issue 4

    529 -- 530Marco Carbone, Thomas T. Hildebrandt, Joachim Parrow, Matthias Weidlich. Editorial
    531 -- 566Cinzia Di Giusto, Jorge A. Pérez. Event-based run-time adaptation in communication-centric systems
    567 -- 595Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene. ASM-based formal design of an adaptivity component for a Cloud system
    597 -- 613Artem Polyvyanyy, Abel Armas-Cervantes, Marlon Dumas, Luciano García-Bañuelos. On the expressive power of behavioral profiles
    615 -- 641Marco Montali, Andrey Rivkin. Model checking Petri nets with names using data-centric dynamic systems
    643 -- 667Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira. Dynamic role authorization in multiparty conversations
    669 -- 696Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez. Self-adaptation and secure information flow in multiparty communications
    697 -- 722Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro. Reversible client/server interactions

    Volume 28, Issue 3

    343 -- 344Stephan Merz, Jun Pang, Jin Song Dong. Editorial
    345 -- 379Vince Molnár, András Vörös, Dániel Darvas, Tamás Bartha, István Majzik. Component-wise incremental LTL model checking
    381 -- 407Alexandre Boulgakov, Thomas Gibson-Robinson, A. W. Roscoe. Computing maximal weak and other bisimulations
    409 -- 440Mounira Kezadri Hamiaz, Marc Pantel, Xavier Thirioux, Benoît Combemale. Correct-by-construction model driven engineering composition operators
    441 -- 467Hamid Bagheri, Kevin J. Sullivan. Model-driven synthesis of formally precise, stylized software architectures
    469 -- 497Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu. A language-independent proof system for full program equivalence
    499 -- 527Sergio 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

    Volume 28, Issue 2

    179 -- 180Michael Butler. Editorial
    181 -- 206Sarmen Keshishzadeh, Arjan J. Mooij. Formalizing and testing the consistency of DSL transformations
    207 -- 231Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis. A general framework for architecture composability
    233 -- 263Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen. Active learning for extended finite state machines
    265 -- 293Alasdair Armstrong, Victor B. F. Gomes, Georg Struth. Building program construction and verification tools from algebraic principles
    295 -- 323Ivaylo Dobrikov, Michael Leuschel. Optimising the ProB model checker for B using partial order reduction
    325 -- 341Wim H. Hesselink. Correctness and concurrent complexity of the Black-White Bakery Algorithm

    Volume 28, Issue 1

    1 -- 20Florentin Ipate, Dimitris Dranidis. A unified integration and component testing approach from deterministic stream X-machine specifications
    21 -- 43Narges Khakpour, Farhad Arbab, Éric Rutten. Synthesizing structural and behavioral control for reconfigurations in component-based systems
    45 -- 63Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila. Analysing sanity of requirements for avionics systems
    65 -- 78Sofia Larissa da Paiva, Adenilso da Silva Simao. Generation of complete test suites from mealy input/output transition systems
    79 -- 107Jonatan Wiik, Pontus Boström. Contract-based verification of MATLAB-style matrix programs
    109 -- 143Luis María Ferrer Fioriti, Vahid Hashemi, Holger Hermanns, Andrea Turrini. Deciding probabilistic automata weak bisimulation: theory and practice
    145 -- 178Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu. 3 specifications using CADP
    runs on