Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/sefm/sefm2006.bht:"
@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} }
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.