Kleijn, Jetty; Koutny, Maciej Step coverability algorithms for communicating systems. (English) Zbl 1267.68155 Sci. Comput. Program. 77, No. 7-8, 955-967 (2012). Reviewer: Angelo Furfaro (Rende) MSC: 68Q85 68Q45 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI
Klein, Dominik; Radmacher, Frank G.; Thomas, Wolfgang Moving in a network under random failures: a complexity analysis. (English) Zbl 1242.68031 Sci. Comput. Program. 77, No. 7-8, 940-954 (2012). MSC: 68M15 68Q17 91A80 91A43 91A05 68Q87 × Cite Format Result Cite Review PDF Full Text: DOI
Schuppan, Viktor Towards a notion of unsatisfiable and unrealizable cores for LTL. (English) Zbl 1242.68075 Sci. Comput. Program. 77, No. 7-8, 908-939 (2012). MSC: 68N30 68T20 03B70 × Cite Format Result Cite Review PDF Full Text: DOI
Aceto, Luca; Birgisson, Arnar; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A. Rule formats for determinism and idempotence. (English) Zbl 1243.68205 Sci. Comput. Program. 77, No. 7-8, 889-907 (2012). MSC: 68Q55 68N30 × Cite Format Result Cite Review PDF Full Text: DOI Link
Durán, Francisco; Ouederni, Meriem; Salaün, Gwen A generic framework for \(n\)-protocol compatibility checking. (English) Zbl 1245.68028 Sci. Comput. Program. 77, No. 7-8, 870-886 (2012). MSC: 68M14 68N01 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI
Pourvatan, Bahman; Sirjani, Marjan; Hojjat, Hossein; Arbab, Farhad Symbolic execution of Reo circuits using constraint automata. (English) Zbl 1242.68073 Sci. Comput. Program. 77, No. 7-8, 848-869 (2012). MSC: 68N30 68Q45 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
Henrio, Ludovic; Kammüller, Florian; Lutz, Bianca ASP\(_{\text{fun}}\) : a typed functional active object calculus. (English) Zbl 1242.68053 Sci. Comput. Program. 77, No. 7-8, 823-847 (2012). MSC: 68N18 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Meng, Sun; Arbab, Farhad; Aichernig, Bernhard K.; Aştefănoaei, Lăcrămioara; de Boer, Frank S.; Rutten, Jan Connectors as designs: modeling, refinement and test case generation. (English) Zbl 1242.68070 Sci. Comput. Program. 77, No. 7-8, 799-822 (2012). MSC: 68N30 × Cite Format Result Cite Review PDF Full Text: DOI
Kemper, Stephanie SAT-based verification for timed component connectors. (English) Zbl 1279.68212 Sci. Comput. Program. 77, No. 7-8, 779-798 (2012). MSC: 68Q60 68T20 68Q45 68N30 × Cite Format Result Cite Review PDF Full Text: DOI
Arbab, Farhad (ed.); Sirjani, Marjan (ed.) Special issue: FSEN’09. Selected papers based on the presentations at the 3rd IPM international symposium on fundamentals of software engineering, Kish, Iran, April 15–17, 2009. (English) Zbl 1246.68020 Sci. Comput. Program. 77, No. 7-8, 887-967 (2012). MSC: 68-06 00B25 68N30 × Cite Format Result Cite Review PDF
Salaün, Gwen (ed.); Sirjani, Marjan (ed.) Special issue: Foundations of coordination languages and software architectures. Selected papers based on the presentations at the 8th international workshop (FOCLASA’09), Rhodes, Greece, July 11th, 2009. (English) Zbl 1246.68056 Sci. Comput. Program. 77, No. 7-8, 777-886 (2012). MSC: 68-06 00B25 68Nxx × Cite Format Result Cite Review PDF