default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Aspects of Computing, Volume 28
Volume 28, Number 1, March 2016
- Florentin Ipate, Dimitris Dranidis
:
A unified integration and component testing approach from deterministic stream X-machine specifications. 1-20 - Narges Khakpour, Farhad Arbab, Éric Rutten:
Synthesizing structural and behavioral control for reconfigurations in component-based systems. 21-43 - Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila:
Analysing sanity of requirements for avionics systems. 45-63 - Sofia Larissa da Costa Paiva, Adenilso da Silva Simão:
Generation of complete test suites from mealy input/output transition systems. 65-78 - Jonatan Wiik, Pontus Boström:
Contract-based verification of MATLAB-style matrix programs. 79-107 - Luis María Ferrer Fioriti, Vahid Hashemi, Holger Hermanns, Andrea Turrini:
Deciding probabilistic automata weak bisimulation: theory and practice. 109-143 - Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu:
Verification of EB3 specifications using CADP. 145-178
Volume 28, Number 2, April 2016
- Michael J. Butler:
Editorial. 179-180 - Sarmen Keshishzadeh, Arjan J. Mooij:
Formalizing and testing the consistency of DSL transformations. 181-206 - Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis:
A general framework for architecture composability. 207-231 - Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen:
Active learning for extended finite state machines. 233-263 - Alasdair Armstrong, Victor B. F. Gomes, Georg Struth:
Building program construction and verification tools from algebraic principles. 265-293 - Ivaylo Dobrikov, Michael Leuschel:
Optimising the ProB model checker for B using partial order reduction. 295-323 - Wim H. Hesselink:
Correctness and concurrent complexity of the Black-White Bakery Algorithm. 325-341
Volume 28, Number 3, May 2016
- Stephan Merz, Jun Pang, Jin Song Dong:
Editorial. 343-344 - Vince Molnár, András Vörös, Dániel Darvas, Tamás Bartha, István Majzik:
Component-wise incremental LTL model checking. 345-379 - Alexandre Boulgakov, Thomas Gibson-Robinson, A. W. Roscoe:
Computing maximal weak and other bisimulations. 381-407 - Mounira Kezadri Hamiaz, Marc Pantel, Xavier Thirioux, Benoît Combemale:
Correct-by-construction model driven engineering composition operators. 409-440 - Hamid Bagheri, Kevin J. Sullivan:
Model-driven synthesis of formally precise, stylized software architectures. 441-467 - Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu:
A language-independent proof system for full program equivalence. 469-497 - 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. 499-527
Volume 28, Number 4, July 2016
- Marco Carbone, Thomas T. Hildebrandt, Joachim Parrow, Matthias Weidlich:
Editorial. 529-530 - Cinzia Di Giusto, Jorge A. Pérez:
Event-based run-time adaptation in communication-centric systems. 531-566 - Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene:
ASM-based formal design of an adaptivity component for a Cloud system. 567-595 - Artem Polyvyanyy, Abel Armas-Cervantes, Marlon Dumas, Luciano García-Bañuelos:
On the expressive power of behavioral profiles. 597-613 - Marco Montali, Andrey Rivkin:
Model checking Petri nets with names using data-centric dynamic systems. 615-641 - Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira:
Dynamic role authorization in multiparty conversations. 643-667 - Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez:
Self-adaptation and secure information flow in multiparty communications. 669-696 - Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Reversible client/server interactions. 697-722
Volume 28, Number 5, September 2016
- Stephan Merz, Jun Pang, Jin Song Dong:
Editorial. 723-724 - Gustavo Carvalho, Ana Cavalcanti, Augusto Sampaio:
Modelling timed reactive systems from natural-language requirements. 725-765 - Fatma Jebali, Frédéric Lang, Radu Mateescu:
Formal modelling and verification of GALS systems using GRL and CADP. 767-804 - Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy:
Formalising concurrent UML state machines using coloured Petri nets. 805-845 - Florent Chevrou, Aurélie Hurault, Philippe Quéinnec:
On the diversity of asynchronous communication. 847-879 - Umair Siddique, Sofiène Tahar:
On the formal analysis of Gaussian optical systems in HOL. 881-907
Volume 28, Number 6, November 2016
- Thai Son Hoang, Steve A. Schneider, Helen Treharne, David M. Williams:
Foundations for using linear temporal logic in Event-B refinement. 909-935 - Marcel Vinícius 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. 937-1004 - Jesús Aransay, Jose Divasón:
Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL. 1005-1026 - Ryan F. Kirwan, Alice Miller, Bernd Porr:
Model checking learning agent systems using Promela with embedded C code and abstraction. 1027-1056 - Ian J. Hayes:
Generalised rely-guarantee concurrency: an algebraic foundation. 1057-1078
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-08 20:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
