default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Aspects of Computing, Volume 27
Volume 27, Number 1, January 2015
- Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Synthesizing bounded-time 2-phase fault recovery. 1-31 - Mohand Yazid, Djamil Aïssani
, Louiza Bouallouche-Medjkoune, Nassim Amrouche, Kamel Bakli:
Modeling and enhancement of the IEEE 802.11 RTS/CTS scheme in an error-prone channel. 33-52 - Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis:
Integrating stochastic reasoning into Event-B development. 53-77 - Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
Formal probabilistic analysis of detection properties in wireless sensor networks. 79-102 - Qian Ma, Zhenhua Duan, Nan Zhang, Xiaobing Wang:
Verification of distributed systems with the axiomatic system of MSVL. 103-131 - Huibiao Zhu, Jifeng He, Shengchao Qin, Phillip J. Brooke:
Denotational semantics and its algebraic derivation for an event-driven system-level language. 133-166 - Shu Cheng, Jim Woodcock, Deepak D'Souza:
Using formal reasoning on a model of tasks for FreeRTOS. 167-192 - Kevin Lano, Tony Clark, Shekoufeh Kolahdouz Rahimi:
A framework for model transformation verification. 193-235
Volume 27, Number 2, March 2015
- Cliff B. Jones:
In memoriam: Professor Heinz Zemanek (1920-2014). 237 - Pamela Zave:
A practical comparison of Alloy and Spin. 239-253 - Yongjian Li, Jun Pang:
Formalizing provable anonymity in Isabelle/HOL. 255-282 - Hugo Daniel Macedo, José Nuno Oliveira:
A linear algebra approach to OLAP. 283-307 - Gholamreza Sotudeh, Ali Movaghar:
Abstraction and approximation in fuzzy temporal logics and models. 309-334 - Amel Mammar, Marc Frappier:
Proof-based verification approaches for dynamic properties: application to the information system domain. 335-374 - Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa, Rolf Hennicker:
Refinement in hybridised institutions. 375-395 - Fu Song, Tayssir Touili:
Model checking dynamic pushdown networks. 397-421 - Frank Zeyda, Ana Cavalcanti:
Laws of mission-based programming. 423-472
Volume 27, Number 3, May 2015
- George Eleftherakis, Michael J. Butler, Mike Hinchey:
Editorial. 473 - Cliff B. Jones, Ian J. Hayes, Robert J. Colvin:
Balancing expressiveness in formal approaches to concurrency. 475-497 - Asieh Salehi Fathabadi, Michael J. Butler, Abdolbaghi Rezazadeh:
Language and tool support for event refinement structures in Event-B. 499-523 - Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles:
Strategy based semantics for mobility with time and access permissions. 525-549 - Crystal Chang Din, Olaf Owe:
Compositional reasoning about active objects with shared futures. 551-572 - Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski:
Frama-C: A software analysis perspective. 573-609
Volume 27, Number 4, July 2015
- Michael J. Butler, Einar Broch Johnsen, Luigia Petre:
Editorial. 611-612 - Cosimo Laneve, Luca Padovani:
An algebraic theory for web service contracts. 613-640 - Safouan Taha, Jacques Julliand, Frédéric Dadeau, Kalou Cabrera Castillos, Bilal Kanso:
A compositional automata-based semantics and preserving transformation rules for testing property patterns. 641-664 - Elvira Albert, Jesús Correas Fernández, Germán Puebla, Guillermo Román-Díez:
Quantified abstract configurations of distributed systems. 665-699 - Dorel Lucanu, Vlad Rusu:
Program equivalence by circular reasoning. 701-726 - Ernst-Rüdiger Olderog, Mani Swaminathan:
Structural transformations for data-enriched real-time systems. 727-750
Volume 27, Numbers 5-6, November 2015
- Jim Woodcock, Cliff B. Jones:
Editorial. 751-752 - Artem Polyvyanyy, Marcello La Rosa, Chun Ouyang, Arthur H. M. ter Hofstede:
Untanglings: a novel approach to analyzing concurrent systems. 753-788 - Maryam Dabaghchian, Mohammad Abdollahi Azgomi:
Model checking the observational determinism security property using PROMELA and SPIN. 789-804 - Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe:
Generating invariants for non-linear loops by linear algebraic methods. 805-829 - Pablo F. Castro, Nazareno Aguirre, Carlos López Pombo, T. S. E. Maibaum:
Categorical foundations for structured specifications in Z. 831-865 - Domenico Rosaci:
Finding semantic associations in hierarchically structured groups of Web data. 867-884 - Douglas Pereira Pasqualin, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta:
Typed context awareness Ambient Calculus for pervasive applications. 885-916 - Omar I. Al-Bataineh, Mark Reynolds, Tim French:
Accelerating worst case execution time analysis of timed automata models with cyclic behaviour. 917-949 - Messaouda Bouneb, Djamel-Eddine Saïdouni, Jean-Michel Ilié:
A reduced maximality labeled transition system generation for recursive Petri nets. 951-973 - Alexandre Mota, Adalberto Farias, Jim Woodcock, Peter Gorm Larsen:
Model checking CML: tool development and industrial applications. 975-1001
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 2025-02-05 20:36 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:
