Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/sefm/AlpuenteBFR06,
  author       = {Mar{\'{\i}}a Alpuente and
                  Demis Ballis and
                  Moreno Falaschi and
                  Daniel Romero},
  title        = {A Semi-Automatic Methodology for Repairing FaultyWeb Sites},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {31--40},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.6},
  doi          = {10.1109/SEFM.2006.6},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/AlpuenteBFR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/Arun-Kumar06,
  author       = {S. Arun{-}Kumar},
  title        = {On Bisimilarities Induced by Relations on Actions},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {41--49},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.28},
  doi          = {10.1109/SEFM.2006.28},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/Arun-Kumar06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/Banach06,
  author       = {Richard Banach},
  title        = {Retrenchment Tutorial},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {259},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.32},
  doi          = {10.1109/SEFM.2006.32},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/Banach06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/BanachD06,
  author       = {Richard Banach and
                  John Derrick},
  title        = {Filtering Retrenchments into Refinements},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {60--69},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.17},
  doi          = {10.1109/SEFM.2006.17},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/BanachD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/BasuBS06,
  author       = {Ananda Basu and
                  Marius Bozga and
                  Joseph Sifakis},
  title        = {Modeling Heterogeneous Real-time Components in {BIP}},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {3--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.27},
  doi          = {10.1109/SEFM.2006.27},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/BasuBS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/BeckertHS06,
  author       = {Bernhard Beckert and
                  Reiner H{\"{a}}hnle and
                  Peter H. Schmitt},
  title        = {Integrating Object-Oriented Design and Deductive Verification of Software},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {260},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.25},
  doi          = {10.1109/SEFM.2006.25},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/BeckertHS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/BelblidiaD06,
  author       = {Nadia Belblidia and
                  Mourad Debbabi},
  title        = {Formalizing AspectJ Weaving for Static Pointcuts},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {50--59},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.19},
  doi          = {10.1109/SEFM.2006.19},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/BelblidiaD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/DSouzaG06,
  author       = {Deepak D'Souza and
                  Madhu Gopinathan},
  title        = {Computing Complete Test Graphs for Hierarchical Systems},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {70--79},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.13},
  doi          = {10.1109/SEFM.2006.13},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/DSouzaG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/FeldmanBT06,
  author       = {Yishai A. Feldman and
                  Ohad Barzilay and
                  Shmuel S. Tyszberowicz},
  title        = {Jose: Aspects for Design by Contract80-89},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {80--89},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.26},
  doi          = {10.1109/SEFM.2006.26},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/FeldmanBT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/FeldmanG06,
  author       = {Yishai A. Feldman and
                  Leon Gendler},
  title        = {Discern: Towards the Automatic Discovery of Software Contracts},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {90--99},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.16},
  doi          = {10.1109/SEFM.2006.16},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/FeldmanG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/KanadeSK06,
  author       = {Aditya Kanade and
                  Amitabha Sanyal and
                  Uday P. Khedker},
  title        = {A {PVS} Based Framework for Validating Compiler Optimizations},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {108--117},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.4},
  doi          = {10.1109/SEFM.2006.4},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/KanadeSK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/Kapoor06,
  author       = {Hemangee K. Kapoor},
  title        = {Formal Modelling and Verification of an Asynchronous {DLX} Pipeline},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {118--127},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.18},
  doi          = {10.1109/SEFM.2006.18},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/Kapoor06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/Khedker06,
  author       = {Uday P. Khedker},
  title        = {Static Analysis of Programs: {A} Heap Centric View},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {261},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.35},
  doi          = {10.1109/SEFM.2006.35},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/Khedker06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/Krishna06,
  author       = {G. Murali Krishna},
  title        = {Requirements Modeling -- Experience from an Insurance Project},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {157--166},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.31},
  doi          = {10.1109/SEFM.2006.31},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/Krishna06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/Lodaya06,
  author       = {Kamal Lodaya},
  title        = {Product Automata and Process Algebra},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {128--136},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.30},
  doi          = {10.1109/SEFM.2006.30},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/Lodaya06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/MarcheR06,
  author       = {Claude March{\'{e}} and
                  Nicolas Rousset},
  title        = {Verification of {JAVA} {CARD} Applets Behavior with Respect to Transactions
                  and Card Tears},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {137--146},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.38},
  doi          = {10.1109/SEFM.2006.38},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/MarcheR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/MarconiPT06,
  author       = {Annapaola Marconi and
                  Marco Pistore and
                  Paolo Traverso},
  title        = {Specifying Data-Flow Requirements for the Automated Composition of
                  Web Services},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {147--156},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.34},
  doi          = {10.1109/SEFM.2006.34},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/MarconiPT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/Meyer06,
  author       = {Bertrand Meyer},
  title        = {The Context of Object Computation (extended abstract)},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {13--17},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.36},
  doi          = {10.1109/SEFM.2006.36},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/Meyer06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/NareshC06,
  author       = {G. Naresh and
                  B. D. Chaudhary},
  title        = {A Model for Temporal relations between Object Roles},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {100--107},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.3},
  doi          = {10.1109/SEFM.2006.3},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/NareshC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/NeoviusSYS06,
  author       = {Mats Neovius and
                  Kaisa Sere and
                  Lu Yan and
                  Manoranjan Satpathy},
  title        = {A Formal Model of Context-Awareness and Context-Dependency},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {177--185},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.2},
  doi          = {10.1109/SEFM.2006.2},
  timestamp    = {Thu, 30 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/NeoviusSYS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/NguyenS06,
  author       = {Dong Ha Nguyen and
                  Mario S{\"{u}}dholt},
  title        = {VPA-Based Aspects: Better Support for {AOP} over Protocols},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {167--176},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.39},
  doi          = {10.1109/SEFM.2006.39},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/NguyenS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/Rajamani06,
  author       = {Sriram K. Rajamani},
  title        = {Automatic Property Checking for Software: Past, Present and Future},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {18--20},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.10},
  doi          = {10.1109/SEFM.2006.10},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/Rajamani06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/RamsokulS06,
  author       = {Pemadeep Ramsokul and
                  Arcot Sowmya},
  title        = {{ASEHA:} {A} Framework for Modelling and Verification ofWeb Services
                  Protocols},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {196--205},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.8},
  doi          = {10.1109/SEFM.2006.8},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/RamsokulS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/RaniseZ06,
  author       = {Silvio Ranise and
                  Calogero G. Zarba},
  title        = {A Theory of Singly-Linked Lists and its Extensible Decision Procedure},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {206--215},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.7},
  doi          = {10.1109/SEFM.2006.7},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/RaniseZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/RaymondJR06,
  author       = {Pascal Raymond and
                  Erwan Jahier and
                  Yvan Roux},
  title        = {Describing and Executing Random Reactive Systems},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {216--225},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.15},
  doi          = {10.1109/SEFM.2006.15},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/RaymondJR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/RodriguesBCFG06,
  author       = {C{\'{a}}ssio L. Rodrigues and
                  Paulo E. S. Barbosa and
                  Jairson M. Cabral and
                  Jorge C. A. de Figueiredo and
                  Dalton Serey Guerrero},
  title        = {A Bag-of-Tasks Approach for State Space Exploration Using Computational
                  Grids},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {226--235},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.1},
  doi          = {10.1109/SEFM.2006.1},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/RodriguesBCFG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/Rushby06,
  author       = {John M. Rushby},
  title        = {Harnessing Disruptive Innovation in Formal Verification},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {21--30},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.24},
  doi          = {10.1109/SEFM.2006.24},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/Rushby06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/Rushby06a,
  author       = {John M. Rushby},
  title        = {Tutorial: Automated Formal Methods with PVS, SAL, and Yices},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {262},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.37},
  doi          = {10.1109/SEFM.2006.37},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/Rushby06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/SampathK06,
  author       = {Prahladavaradan Sampath and
                  Shrawan Kumar},
  title        = {Composing Context Sensitive Analysis},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {186--195},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.12},
  doi          = {10.1109/SEFM.2006.12},
  timestamp    = {Wed, 13 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/SampathK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/SukumaranSV06,
  author       = {Srihari Sukumaran and
                  Ashok Sreenivas and
                  R. Venkatesh},
  title        = {A Rigorous Approach to Requirements Validation},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {236--245},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.5},
  doi          = {10.1109/SEFM.2006.5},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/SukumaranSV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/ZhangHW06,
  author       = {Yong Zhang and
                  Tao Huang and
                  Jun Wei},
  title        = {Declarative Performance Modeling for Component-Based System using
                  {UML} Profile for Schedulability, Performance and Time},
  booktitle    = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages        = {246--258},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SEFM.2006.14},
  doi          = {10.1109/SEFM.2006.14},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/ZhangHW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sefm/2006,
  title        = {Fourth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/11157/proceeding},
  isbn         = {0-7695-2678-0},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.