default search action
Search dblp for Publications
export results for "toc:db/conf/sefm/sefm2008.bht:"
@inproceedings{DBLP:conf/sefm/BalakrishnanG08, author = {Gogul Balakrishnan and Malay K. Ganai}, editor = {Antonio Cerone and Stefan Gruner}, title = {{PED:} Proof-Guided Error Diagnosis by Triangulation of Program Error Causes}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {268--278}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.35}, doi = {10.1109/SEFM.2008.35}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/BalakrishnanG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/BartheKPS08, author = {Gilles Barthe and C{\'{e}}sar Kunz and David Pichardie and Juli{\'{a}}n Samborski{-}Forlese}, editor = {Antonio Cerone and Stefan Gruner}, title = {Preservation of Proof Pbligations for Hybrid Verification Methods}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {127--136}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.10}, doi = {10.1109/SEFM.2008.10}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/BartheKPS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/BhatejaM08, author = {Puneet Bhateja and Madhavan Mukund}, editor = {Antonio Cerone and Stefan Gruner}, title = {Tagging Make Local Testing of Message-Passing Systems Feasible}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {171--180}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.33}, doi = {10.1109/SEFM.2008.33}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/BhatejaM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/BonifacioMS08, author = {Adilson Luiz Bonif{\'{a}}cio and Arnaldo Vieira Moura and Adenilso da Silva Sim{\~{a}}o}, editor = {Antonio Cerone and Stefan Gruner}, title = {A Generalized Model-Based Test Generation Method}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {139--148}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.17}, doi = {10.1109/SEFM.2008.17}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/BonifacioMS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/CimattiRST08, author = {Alessandro Cimatti and Marco Roveri and Angelo Susi and Stefano Tonetta}, editor = {Antonio Cerone and Stefan Gruner}, title = {Object Models with Temporal Constraints}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {249--258}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.23}, doi = {10.1109/SEFM.2008.23}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/CimattiRST08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/Cortesi08, author = {Agostino Cortesi}, editor = {Antonio Cerone and Stefan Gruner}, title = {Widening Operators for Abstract Interpretation}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {31--40}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.20}, doi = {10.1109/SEFM.2008.20}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/Cortesi08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/DjokoDF08, author = {Simplice Djoko Djoko and R{\'{e}}mi Douence and Pascal Fradet}, editor = {Antonio Cerone and Stefan Gruner}, title = {Specialized Aspect Languages Preserving Classes of Properties}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {227--236}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.21}, doi = {10.1109/SEFM.2008.21}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/DjokoDF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/EdelkampS08, author = {Stefan Edelkamp and Damian Sulewski}, editor = {Antonio Cerone and Stefan Gruner}, title = {Flash-Efficient {LTL} Model Checking with Minimal Counterexamples}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {73--82}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.34}, doi = {10.1109/SEFM.2008.34}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/EdelkampS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/Ferrara08, author = {Pietro Ferrara}, editor = {Antonio Cerone and Stefan Gruner}, title = {Static Analysis of the Determinism of Multithreaded Programs}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {41--50}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.14}, doi = {10.1109/SEFM.2008.14}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/Ferrara08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/FranzleH08, author = {Martin Fr{\"{a}}nzle and Michael R. Hansen}, editor = {Antonio Cerone and Stefan Gruner}, title = {Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {63--72}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.26}, doi = {10.1109/SEFM.2008.26}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/FranzleH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/GeihsBRW08, author = {Kurt Geihs and Philipp A. Baer and Roland Reichle and Jens Wollenhaupt}, editor = {Antonio Cerone and Stefan Gruner}, title = {Ontology-Based Automatic Model Transformations}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {387--391}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.37}, doi = {10.1109/SEFM.2008.37}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/GeihsBRW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/GhassemiFM08, author = {Fatemeh Ghassemi and Wan J. Fokkink and Ali Movaghar}, editor = {Antonio Cerone and Stefan Gruner}, title = {Restricted Broadcast Process Theory}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {345--354}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.25}, doi = {10.1109/SEFM.2008.25}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/GhassemiFM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/Giacobazzi08, author = {Roberto Giacobazzi}, editor = {Antonio Cerone and Stefan Gruner}, title = {Abstract Interpretation in Code Security}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {3}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.49}, doi = {10.1109/SEFM.2008.49}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/Giacobazzi08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/Giacobazzi08a, author = {Roberto Giacobazzi}, editor = {Antonio Cerone and Stefan Gruner}, title = {Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {7--18}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.41}, doi = {10.1109/SEFM.2008.41}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/Giacobazzi08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/Gladisch08, author = {Christoph Gladisch}, editor = {Antonio Cerone and Stefan Gruner}, title = {Verification-Based Test Case Generation for Full Feasible Branch Coverage}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {159--168}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.22}, doi = {10.1109/SEFM.2008.22}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/Gladisch08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/GorankoS08, author = {Valentin Goranko and Dmitry Shkatov}, editor = {Antonio Cerone and Stefan Gruner}, title = {Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {237--246}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.27}, doi = {10.1109/SEFM.2008.27}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/GorankoS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/GuoS08, author = {Bo Guo and Mahadevan Subramaniam}, editor = {Antonio Cerone and Stefan Gruner}, title = {Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {335--344}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.40}, doi = {10.1109/SEFM.2008.40}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/GuoS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/Hammal08, author = {Youcef Hammal}, editor = {Antonio Cerone and Stefan Gruner}, title = {Behavioral Compatibility of Active Components}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {372--376}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.12}, doi = {10.1109/SEFM.2008.12}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/Hammal08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/HansenG08, author = {Henri Hansen and Jaco Geldenhuys}, editor = {Antonio Cerone and Stefan Gruner}, title = {Cheap and Small Counterexamples}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {53--62}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.18}, doi = {10.1109/SEFM.2008.18}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/HansenG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/HofnerKM08, author = {Peter H{\"{o}}fner and Ridha Kh{\'{e}}dri and Bernhard M{\"{o}}ller}, editor = {Antonio Cerone and Stefan Gruner}, title = {Algebraic View Reconciliation}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {85--94}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.36}, doi = {10.1109/SEFM.2008.36}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/HofnerKM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/IzadiBC08, author = {Mohammad Izadi and Marcello M. Bonsangue and Dave Clarke}, editor = {Antonio Cerone and Stefan Gruner}, title = {Modeling Component Connectors: Synchronisation and Context-Dependency}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {303--312}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.24}, doi = {10.1109/SEFM.2008.24}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/IzadiBC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/KahsaiRS08, author = {Temesghen Kahsai and Markus Roggenbach and Bernd{-}Holger Schlingloff}, editor = {Antonio Cerone and Stefan Gruner}, title = {Specification-Based Testing for Software Product Lines}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {149--158}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.38}, doi = {10.1109/SEFM.2008.38}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/KahsaiRS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/LaneseGMZ08, author = {Ivan Lanese and Claudio Guidi and Fabrizio Montesi and Gianluigi Zavattaro}, editor = {Antonio Cerone and Stefan Gruner}, title = {Bridging the Gap between Interaction- and Process-Oriented Choreographies}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {323--332}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.11}, doi = {10.1109/SEFM.2008.11}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/LaneseGMZ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/MerayoHN08, author = {Mercedes G. Merayo and Robert M. Hierons and Manuel N{\'{u}}{\~{n}}ez}, editor = {Antonio Cerone and Stefan Gruner}, title = {Extending Stream X-Machines to Specify and Test Systems with Timeouts}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {201--210}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.15}, doi = {10.1109/SEFM.2008.15}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/MerayoHN08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/OliveiraGC08, author = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and Alessandro Cavalcante Gurgel and Cristiano Gurgel de Castro}, editor = {Antonio Cerone and Stefan Gruner}, title = {CRefine: Support for the Circus Refinement Calculus}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {281--290}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.9}, doi = {10.1109/SEFM.2008.9}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/OliveiraGC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/PetrenkoP08, author = {Alexander K. Petrenko and Olga L. Petrenko}, editor = {Antonio Cerone and Stefan Gruner}, title = {Formal Methods and Innovation Economy: Facing New Challenges}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {367--371}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.19}, doi = {10.1109/SEFM.2008.19}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/PetrenkoP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/PhamTTC08, author = {Tuan{-}Hung Pham and Anh{-}Hoang Truong and Ninh{-}Thuan Truong and Wei{-}Ngan Chin}, editor = {Antonio Cerone and Stefan Gruner}, title = {A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {259--267}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.30}, doi = {10.1109/SEFM.2008.30}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/PhamTTC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/QuintonG08, author = {Sophie Quinton and Susanne Graf}, editor = {Antonio Cerone and Stefan Gruner}, title = {Contract-Based Verification of Hierarchical Systems of Components}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {377--381}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.28}, doi = {10.1109/SEFM.2008.28}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/QuintonG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/Roggenbach08, author = {Markus Roggenbach}, editor = {Antonio Cerone and Stefan Gruner}, title = {Tools for {CSP}}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {213--214}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.39}, doi = {10.1109/SEFM.2008.39}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/Roggenbach08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/RuksenasCB08, author = {Rimvydas Ruksenas and Paul Curzon and Ann Blandford}, editor = {Antonio Cerone and Stefan Gruner}, title = {Modelling Rational User Behaviour as Games between an Angel and a Demon}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {355--364}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.43}, doi = {10.1109/SEFM.2008.43}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/RuksenasCB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/SalasK08, author = {Percy Antonio Pari Salas and Padmanabhan Krishnan}, editor = {Antonio Cerone and Stefan Gruner}, title = {Testing Privacy Policies Using Models}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {117--126}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.7}, doi = {10.1109/SEFM.2008.7}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/SalasK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/Salaun08, author = {Gwen Sala{\"{u}}n}, editor = {Antonio Cerone and Stefan Gruner}, title = {Generation of Service Wrapper Protocols from Choreography Specifications}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {313--322}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.42}, doi = {10.1109/SEFM.2008.42}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/Salaun08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/SampathRRS08, author = {Prahladavaradan Sampath and A. C. Rajeev and S. Ramesh and K. C. Shashidhar}, editor = {Antonio Cerone and Stefan Gruner}, title = {Behaviour Directed Testing of Auto-code Generators}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {191--200}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.13}, doi = {10.1109/SEFM.2008.13}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/SampathRRS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/SchaeferP08, author = {Ina Schaefer and Arnd Poetzsch{-}Heffter}, editor = {Antonio Cerone and Stefan Gruner}, title = {Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {95--104}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.16}, doi = {10.1109/SEFM.2008.16}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/SchaeferP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/SilvaSL08, author = {Leila Silva and Augusto Sampaio and Zhiming Liu}, editor = {Antonio Cerone and Stefan Gruner}, title = {Laws of Object-Orientation with Reference Semantics}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {217--226}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.29}, doi = {10.1109/SEFM.2008.29}, timestamp = {Wed, 12 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sefm/SilvaSL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/Spoto08, author = {Fausto Spoto}, editor = {Antonio Cerone and Stefan Gruner}, title = {Nullness Analysis in Boolean Form}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {21--30}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.8}, doi = {10.1109/SEFM.2008.8}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/Spoto08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/TavaresSM08, author = {Eduardo Tavares and Bruno Silva and Paulo Romero Martins Maciel}, editor = {Antonio Cerone and Stefan Gruner}, title = {An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {291--300}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.47}, doi = {10.1109/SEFM.2008.47}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/TavaresSM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/TruongTHNTH08, author = {Anh{-}Hoang Truong and Thanh{-}Binh Trinh and Dang Van Hung and Viet Ha Nguyen and Nguyen Thi Thu Trang and Pham Dinh Hung}, editor = {Antonio Cerone and Stefan Gruner}, title = {Checking Interface Interaction Protocols Using Aspect-Oriented Programming}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {382--386}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.32}, doi = {10.1109/SEFM.2008.32}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/TruongTHNTH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/TschantzW08, author = {Michael Carl Tschantz and Jeannette M. Wing}, editor = {Antonio Cerone and Stefan Gruner}, title = {Extracting Conditional Confidentiality Policies}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {107--116}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.46}, doi = {10.1109/SEFM.2008.46}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/TschantzW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/XavierHM08, author = {Kleber S. Xavier and Simone Hanazumi and Ana Cristina Vieira de Melo}, editor = {Antonio Cerone and Stefan Gruner}, title = {Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs}, booktitle = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, pages = {181--190}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/SEFM.2008.31}, doi = {10.1109/SEFM.2008.31}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/XavierHM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sefm/2008, editor = {Antonio Cerone and Stefan Gruner}, title = {Sixth {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November 2008}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://ieeexplore.ieee.org/xpl/conhome/4685778/proceeding}, isbn = {978-0-7695-3437-4}, timestamp = {Wed, 16 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sefm/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.