default search action
Formal 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
Synthesizing structural and behavioral control for reconfigurations in component-based systems. 21-43 - Jiri Barnat, Petr Bauch, Nikola Benes
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
Contract-based verification of MATLAB-style matrix programs. 79-107 - Luis María Ferrer Fioriti, Vahid Hashemi
Deciding probabilistic automata weak bisimulation: theory and practice. 109-143 - Dimitris Vekris, Frédéric Lang, Catalin Dima
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
A general framework for architecture composability. 207-231 - Sofia Cassel, Falk Howar
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
Component-wise incremental LTL model checking. 345-379 - Alexandre Boulgakov, Thomas Gibson-Robinson
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
A language-independent proof system for full program equivalence. 469-497 - Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz
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
ASM-based formal design of an adaptivity component for a Cloud system. 567-595 - Artem Polyvyanyy
On the expressive power of behavioral profiles. 597-613 - Marco Montali
Model checking Petri nets with names using data-centric dynamic systems. 615-641 - Silvia Ghilezan
Dynamic role authorization in multiparty conversations. 643-667 - Ilaria Castellani
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
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é
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
On the formal analysis of Gaussian optical systems in HOL. 881-907
Volume 28, Number 6, November 2016
- Thai Son Hoang
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-12-15 01:17 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: