BibSonomy publications for /author/Maibaum/dblp http://www.bibsonomy.org/author/Maibaum/dblp BibSonomy RSS Feed for /author/Maibaum/dblp Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows. dblp http://www.bibsonomy.org/bibtex/23b8030e9a32f746c408197a9e76669ec/dblp dblp 2008-10-23T00:00:00+02:00 dblp
Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows.
John Hatcliff ICFEM 3-4 (2008)
to dblp by dblp on 2008-10-23 00:00:00
]]> Programmers Ain't Mathematicians, and Neither Are Testers. dblp http://www.bibsonomy.org/bibtex/2c256fcbffc164906d795d29d515597a8/dblp dblp 2008-10-23T00:00:00+02:00 dblp
Programmers Ain't Mathematicians, and Neither Are Testers.
Jeff Offutt ICFEM 2 (2008)
to dblp by dblp on 2008-10-23 00:00:00
]]> Towards Abstraction for DynAlloy Specifications. dblp http://www.bibsonomy.org/bibtex/2c1da32136e346882397dd5fe040c22b2/dblp dblp 2008-10-23T00:00:00+02:00 dblp
Towards Abstraction for DynAlloy Specifications.
Nazareno Aguirre and Marcelo F. Frias and Pablo Ponzio and Brian J. Cardiff and Juan P. Galeotti and Germán Regis ICFEM 207-225 (2008)
to dblp by dblp on 2008-10-23 00:00:00
]]> A Formal Descriptive Semantics of UML. dblp http://www.bibsonomy.org/bibtex/2438b74b94c6984774dff99b924ee15c3/dblp dblp 2008-10-23T00:00:00+02:00 dblp
A Formal Descriptive Semantics of UML.
Lijun Shan and Hong Zhu ICFEM 375-396 (2008)
to dblp by dblp on 2008-10-23 00:00:00
]]> A Unified Model Checking Approach with Projection Temporal Logic. dblp http://www.bibsonomy.org/bibtex/2fefa1aff3c96a2f72c7a162b2e73aa3b/dblp dblp 2008-10-23T00:00:00+02:00 dblp
A Unified Model Checking Approach with Projection Temporal Logic.
Zhenhua Duan and Cong Tian ICFEM 167-186 (2008)
to dblp by dblp on 2008-10-23 00:00:00
]]> A Practical Approach to Partiality - A Proof Based Approach. dblp http://www.bibsonomy.org/bibtex/25c09010817d341697734bc62d07e0c3c/dblp dblp 2008-10-23T00:00:00+02:00 dblp
A Practical Approach to Partiality - A Proof Based Approach.
Farhad Mehta ICFEM 238-257 (2008)
to dblp by dblp on 2008-10-23 00:00:00
]]> Partial Translation Verification for Untrusted Code-Generators. dblp http://www.bibsonomy.org/bibtex/2c5eb10d1a2dcebdb66064505782cb954/dblp dblp 2008-10-23T00:00:00+02:00 dblp
Partial Translation Verification for Untrusted Code-Generators.
Matthew Staats and Mats Per Erik Heimdahl ICFEM 226-237 (2008)
to dblp by dblp on 2008-10-23 00:00:00
]]> Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool. dblp http://www.bibsonomy.org/bibtex/2a40fa865b20ba7cf81271b13fa1e2839/dblp dblp 2008-10-23T00:00:00+02:00 dblp
Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool.
Michael Leuschel and Marc Fontaine ICFEM 278-297 (2008)
to dblp by dblp on 2008-10-23 00:00:00
]]> A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking. dblp http://www.bibsonomy.org/bibtex/2a44ce152b7649808dcbba7051630cfab/dblp dblp 2008-10-23T00:00:00+02:00 dblp
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking.
Nick Moffat and Michael Goldsmith and Bill Roscoe ICFEM 258-277 (2008)
to dblp by dblp on 2008-10-23 00:00:00
]]> Correct Channel Passing by Construction. dblp http://www.bibsonomy.org/bibtex/2215229ace724dbfd44328d69110c46b9/dblp dblp 2008-10-23T00:00:00+02:00 dblp
Correct Channel Passing by Construction.
Chao Cai and Zongyan Qiu and Xiangpeng Zhao and Hongli Yang ICFEM 338-354 (2008)
to dblp by dblp on 2008-10-23 00:00:00
]]>