Search dblp for Publications

export results for "toc:db/conf/sefm/sefm2010.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sefm/BarnatBR10,
  author       = {Jiri Barnat and
                  Lubos Brim and
                  Petr Rockai},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {Parallel Partial Order Reduction with Topological Sort Proviso},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {222--231},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.35},
  doi          = {10.1109/SEFM.2010.35},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/BarnatBR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/BarrosCHP10,
  author       = {Jos{\'{e}} Bernardo Barros and
                  Daniela Carneiro da Cruz and
                  Pedro Rangel Henriques and
                  Jorge Sousa Pinto},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {Assertion-based Slicing and Slice Graphs},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {93--102},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.18},
  doi          = {10.1109/SEFM.2010.18},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/BarrosCHP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/BartolettiZ10,
  author       = {Massimo Bartoletti and
                  Roberto Zunino},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {Static Enforcement of Service Deadlines},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {320--324},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.41},
  doi          = {10.1109/SEFM.2010.41},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/BartolettiZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/BenettiMV10,
  author       = {Davide Benetti and
                  Massimo Merro and
                  Luca Vigan{\`{o}}},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {Model Checking Ad Hoc Network Routing Protocols: {ARAN} vs. endairA},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {191--202},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.24},
  doi          = {10.1109/SEFM.2010.24},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/BenettiMV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/BersaniCFPR10,
  author       = {Marcello M. Bersani and
                  Luca Cavallaro and
                  Achille Frigeri and
                  Matteo Pradella and
                  Matteo Rossi},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {SMT-based Verification of {LTL} Specification with Integer Constraints
                  and its Application to Runtime Checking of Service Substitutability},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {244--254},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.37},
  doi          = {10.1109/SEFM.2010.37},
  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/BersaniCFPR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/CristiaAM10,
  author       = {Maximiliano Cristi{\'{a}} and
                  Pablo Albertengo and
                  Pablo Rodr{\'{\i}}guez Monetti},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {Pruning Testing Trees in the Test Template Framework by Detecting
                  Mathematical Contradictions},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {268--277},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.31},
  doi          = {10.1109/SEFM.2010.31},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/CristiaAM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/DanHC10,
  author       = {Haitao Dan and
                  Robert M. Hierons and
                  Steve Counsell},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {Non-local Choice and Implied Scenarios},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {53--62},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.14},
  doi          = {10.1109/SEFM.2010.14},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/DanHC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/EscobedoGGC10,
  author       = {Jose Pablo Escobedo and
                  Christophe Gaston and
                  Pascale Le Gall and
                  Ana R. Cavalli},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {Testing Web Service Orchestrators in Context: {A} Symbolic Approach},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {257--267},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.30},
  doi          = {10.1109/SEFM.2010.30},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/EscobedoGGC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/GallardoS10,
  author       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  David San{\'{a}}n},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {Verification of Dynamic Data Tree with mu-calculus Extended with Separation},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {211--221},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.34},
  doi          = {10.1109/SEFM.2010.34},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/GallardoS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/GallerWW10,
  author       = {Stefan J. Galler and
                  Martin Weiglhofer and
                  Franz Wotawa},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {Synthesize It: From Design by Contract to Meaningful Test Input Data},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {286--295},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.33},
  doi          = {10.1109/SEFM.2010.33},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/GallerWW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/Ghezzi10,
  author       = {Carlo Ghezzi},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {Adaptive Software Needs Continuous Verification},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {3--4},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.8},
  doi          = {10.1109/SEFM.2010.8},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/Ghezzi10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/Giannakopoulou10,
  author       = {Dimitra Giannakopoulou},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {"Fly Me to the Moon": Verification of Aerospace Systems},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {5--11},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.9},
  doi          = {10.1109/SEFM.2010.9},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/Giannakopoulou10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/GoldsmithC10,
  author       = {Michael Goldsmith and
                  Sadie Creese},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {Refinement-Friendly Bigraphs and Spygraphs},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {203--207},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.25},
  doi          = {10.1109/SEFM.2010.25},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/GoldsmithC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/GothelG10,
  author       = {Thomas G{\"{o}}thel and
                  Sabine Glesner},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {Towards the Semi-Automatic Verification of Parameterized Real-Time
                  Systems Using Network Invariants},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {310--314},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.38},
  doi          = {10.1109/SEFM.2010.38},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/GothelG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/HakimipourSW10,
  author       = {Niusha Hakimipour and
                  Paul A. Strooper and
                  Andy J. Wellings},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {{TART:} Timed-Automata to Real-Time Java Tool},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {299--309},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.39},
  doi          = {10.1109/SEFM.2010.39},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/HakimipourSW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/HegedusBRV10,
  author       = {{\'{A}}bel Heged{\"{u}}s and
                  G{\'{a}}bor Bergmann and
                  Istv{\'{a}}n R{\'{a}}th and
                  D{\'{a}}niel Varr{\'{o}}},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {Back-annotation of Simulation Traces with Change-Driven Model Transformations},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {145--155},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.28},
  doi          = {10.1109/SEFM.2010.28},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/HegedusBRV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/HussainL10,
  author       = {Faraz Hussain and
                  Gary T. Leavens},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {temporaljmlc: {A} {JML} Runtime Assertion Checker Extension for Specification
                  and Checking of Temporal Properties},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {63--72},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.15},
  doi          = {10.1109/SEFM.2010.15},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/HussainL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/KatzK10,
  author       = {Emilia Katz and
                  Shmuel Katz},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {User Queries for Specification Refinement Treating Shared Aspect Join
                  Points},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {73--82},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.16},
  doi          = {10.1109/SEFM.2010.16},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/KatzK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/KermadecDB10,
  author       = {Adrien De Kermadec and
                  Fr{\'{e}}d{\'{e}}ric Dadeau and
                  Fabrice Bouquet},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {Assessing the Quality of {B} Models},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {83--90},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.17},
  doi          = {10.1109/SEFM.2010.17},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/KermadecDB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/KokashKV10,
  author       = {Natallia Kokash and
                  Christian Krause and
                  Erik P. de Vink},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {Time and Data-Aware Analysis of Graphical Service Models in Reo},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {125--134},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.26},
  doi          = {10.1109/SEFM.2010.26},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/KokashKV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/LarsenLB10,
  author       = {Peter Gorm Larsen and
                  Kenneth Lausdahl and
                  Nick Battle},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {Combinatorial Testing for {VDM}},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {278--285},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.32},
  doi          = {10.1109/SEFM.2010.32},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/LarsenLB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/LeuxnerSS10,
  author       = {Christian Leuxner and
                  Wassiou Sitou and
                  Bernd Spanfelner},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {A Formal Model for Work Flows},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {135--144},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.27},
  doi          = {10.1109/SEFM.2010.27},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/LeuxnerSS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/Lindsay10,
  author       = {Peter A. Lindsay},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {Behavior Trees: From Systems Engineering to Software Engineering},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {21--30},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.11},
  doi          = {10.1109/SEFM.2010.11},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/Lindsay10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/LindsayWY10,
  author       = {Peter A. Lindsay and
                  Kirsten Winter and
                  Nisansala Yatapanage},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {Safety Assessment Using Behavior Trees and Model Checking},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {181--190},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.23},
  doi          = {10.1109/SEFM.2010.23},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/LindsayWY10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/MassinkLBH10,
  author       = {Mieke Massink and
                  Diego Latella and
                  Andrea Bracciali and
                  Michael D. Harrison},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress
                  Analysis},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {169--180},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.22},
  doi          = {10.1109/SEFM.2010.22},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/MassinkLBH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/MetayerMP10,
  author       = {Daniel Le M{\'{e}}tayer and
                  Eduardo Mazza and
                  Marie{-}Laure Potet},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {Designing Log Architectures for Legal Evidence},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {156--165},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.29},
  doi          = {10.1109/SEFM.2010.29},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/MetayerMP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/Pavlovic10,
  author       = {Dusko Pavlovic},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {The Unreasonable Ineffectiveness of Security Engineering: An Overview},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {12--18},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.10},
  doi          = {10.1109/SEFM.2010.10},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/Pavlovic10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/Powell10,
  author       = {Daniel Powell},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {Behavior Engineering - {A} Scalable Modeling and Analysis Method},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {31--40},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.12},
  doi          = {10.1109/SEFM.2010.12},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/Powell10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/ScannielloRT10,
  author       = {Giuseppe Scanniello and
                  Michele Risi and
                  Genoveffa Tortora},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {Architecture Recovery Using Latent Semantic Indexing and K-Means:
                  An Empirical Evaluation},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {103--112},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.19},
  doi          = {10.1109/SEFM.2010.19},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/ScannielloRT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/TudoseO10,
  author       = {Cristina Tudose and
                  Radu Opria},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {A Method for Testing Software Systems Based on State Design Pattern
                  Using Symbolic Execution},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {113--117},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.20},
  doi          = {10.1109/SEFM.2010.20},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/TudoseO10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/WeiWB10,
  author       = {Kun Wei and
                  Jim Woodcock and
                  Alan Burns},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {A Timed Model of Circus with the Reactive Design Miracle},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {315--319},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.40},
  doi          = {10.1109/SEFM.2010.40},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/WeiWB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/WeitlNF10,
  author       = {Franz Weitl and
                  Shin Nakajima and
                  Burkhard Freitag},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {Structured Counterexamples for the Temporal Description Logic {ALCCTL}},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {232--243},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.36},
  doi          = {10.1109/SEFM.2010.36},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/WeitlNF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/WinterHC10,
  author       = {Kirsten Winter and
                  Ian J. Hayes and
                  Robert Colvin},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {Integrating Requirements: The Behavior Tree Philosophy},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {41--50},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.13},
  doi          = {10.1109/SEFM.2010.13},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/WinterHC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/XuZC10,
  author       = {Zhiwu Xu and
                  Lixiao Zheng and
                  Haiming Chen},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {A Toolkit for Generating Sentences from Context-Free Grammars},
  booktitle    = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  pages        = {118--122},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SEFM.2010.21},
  doi          = {10.1109/SEFM.2010.21},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/XuZC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sefm/2010,
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Stefania Gnesi and
                  Andrea Maggiolo{-}Schettini},
  title        = {8th {IEEE} International Conference on Software Engineering and Formal
                  Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/5635422/proceeding},
  isbn         = {978-0-7695-4153-2},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/2010.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.