Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/sefm/sefm2008.bht:"
download as .bib file
@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 = {Fri, 24 Mar 2023 00:00:00 +0100},
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}
}
a service of 
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.
retrieved on 2024-05-24 02:31 CEST from data curated 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:
