:facetid:toc:\"db/conf/sefm/sefm2006.bht\"OK:facetid:toc:db/conf/sefm/sefm2006.bhtMaría AlpuenteDemis BallisMoreno FalaschiDaniel Romero 0001A Semi-Automatic Methodology for Repairing FaultyWeb Sites.SEFM31-402006Conference and Workshop Papersclosedconf/sefm/AlpuenteBFR0610.1109/SEFM.2006.6https://doi.org/10.1109/SEFM.2006.6https://dblp.org/rec/conf/sefm/AlpuenteBFR06URL#5762583S. Arun-KumarOn Bisimilarities Induced by Relations on Actions.SEFM41-492006Conference and Workshop Papersclosedconf/sefm/Arun-Kumar0610.1109/SEFM.2006.28https://doi.org/10.1109/SEFM.2006.28https://dblp.org/rec/conf/sefm/Arun-Kumar06URL#5762584Richard BanachRetrenchment Tutorial.SEFM2592006Conference and Workshop Papersclosedconf/sefm/Banach0610.1109/SEFM.2006.32https://doi.org/10.1109/SEFM.2006.32https://dblp.org/rec/conf/sefm/Banach06URL#5762585Richard BanachJohn DerrickFiltering Retrenchments into Refinements.SEFM60-692006Conference and Workshop Papersclosedconf/sefm/BanachD0610.1109/SEFM.2006.17https://doi.org/10.1109/SEFM.2006.17https://dblp.org/rec/conf/sefm/BanachD06URL#5762586Ananda BasuMarius BozgaJoseph SifakisModeling Heterogeneous Real-time Components in BIP.SEFM3-122006Conference and Workshop Papersclosedconf/sefm/BasuBS0610.1109/SEFM.2006.27https://doi.org/10.1109/SEFM.2006.27https://dblp.org/rec/conf/sefm/BasuBS06URL#5762587Bernhard BeckertReiner HähnlePeter H. SchmittIntegrating Object-Oriented Design and Deductive Verification of Software.SEFM2602006Conference and Workshop Papersclosedconf/sefm/BeckertHS0610.1109/SEFM.2006.25https://doi.org/10.1109/SEFM.2006.25https://dblp.org/rec/conf/sefm/BeckertHS06URL#5762588Nadia BelblidiaMourad DebbabiFormalizing AspectJ Weaving for Static Pointcuts.SEFM50-592006Conference and Workshop Papersclosedconf/sefm/BelblidiaD0610.1109/SEFM.2006.19https://doi.org/10.1109/SEFM.2006.19https://dblp.org/rec/conf/sefm/BelblidiaD06URL#5762589Deepak D'SouzaMadhu GopinathanComputing Complete Test Graphs for Hierarchical Systems.SEFM70-792006Conference and Workshop Papersclosedconf/sefm/DSouzaG0610.1109/SEFM.2006.13https://doi.org/10.1109/SEFM.2006.13https://dblp.org/rec/conf/sefm/DSouzaG06URL#5762590Yishai A. FeldmanOhad BarzilayShmuel S. TyszberowiczJose: Aspects for Design by Contract80-89.SEFM80-892006Conference and Workshop Papersclosedconf/sefm/FeldmanBT0610.1109/SEFM.2006.26https://doi.org/10.1109/SEFM.2006.26https://dblp.org/rec/conf/sefm/FeldmanBT06URL#5762591Yishai A. FeldmanLeon GendlerDiscern: Towards the Automatic Discovery of Software Contracts.SEFM90-992006Conference and Workshop Papersclosedconf/sefm/FeldmanG0610.1109/SEFM.2006.16https://doi.org/10.1109/SEFM.2006.16https://dblp.org/rec/conf/sefm/FeldmanG06URL#5762592Aditya KanadeAmitabha SanyalUday P. KhedkerA PVS Based Framework for Validating Compiler Optimizations.SEFM108-1172006Conference and Workshop Papersclosedconf/sefm/KanadeSK0610.1109/SEFM.2006.4https://doi.org/10.1109/SEFM.2006.4https://dblp.org/rec/conf/sefm/KanadeSK06URL#5762593Hemangee K. KapoorFormal Modelling and Verification of an Asynchronous DLX Pipeline.SEFM118-1272006Conference and Workshop Papersclosedconf/sefm/Kapoor0610.1109/SEFM.2006.18https://doi.org/10.1109/SEFM.2006.18https://dblp.org/rec/conf/sefm/Kapoor06URL#5762594Uday P. KhedkerStatic Analysis of Programs: A Heap Centric View.SEFM2612006Conference and Workshop Papersclosedconf/sefm/Khedker0610.1109/SEFM.2006.35https://doi.org/10.1109/SEFM.2006.35https://dblp.org/rec/conf/sefm/Khedker06URL#5762595G. Murali KrishnaRequirements Modeling -- Experience from an Insurance Project.SEFM157-1662006Conference and Workshop Papersclosedconf/sefm/Krishna0610.1109/SEFM.2006.31https://doi.org/10.1109/SEFM.2006.31https://dblp.org/rec/conf/sefm/Krishna06URL#5762596Kamal LodayaProduct Automata and Process Algebra.SEFM128-1362006Conference and Workshop Papersclosedconf/sefm/Lodaya0610.1109/SEFM.2006.30https://doi.org/10.1109/SEFM.2006.30https://dblp.org/rec/conf/sefm/Lodaya06URL#5762597Claude MarchéNicolas RoussetVerification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears.SEFM137-1462006Conference and Workshop Papersclosedconf/sefm/MarcheR0610.1109/SEFM.2006.38https://doi.org/10.1109/SEFM.2006.38https://dblp.org/rec/conf/sefm/MarcheR06URL#5762598Annapaola MarconiMarco PistorePaolo TraversoSpecifying Data-Flow Requirements for the Automated Composition of Web Services.SEFM147-1562006Conference and Workshop Papersclosedconf/sefm/MarconiPT0610.1109/SEFM.2006.34https://doi.org/10.1109/SEFM.2006.34https://dblp.org/rec/conf/sefm/MarconiPT06URL#5762599Bertrand Meyer 0001The Context of Object Computation (extended abstract).SEFM13-172006Conference and Workshop Papersclosedconf/sefm/Meyer0610.1109/SEFM.2006.36https://doi.org/10.1109/SEFM.2006.36https://dblp.org/rec/conf/sefm/Meyer06URL#5762600G. NareshB. D. ChaudharyA Model for Temporal relations between Object Roles.SEFM100-1072006Conference and Workshop Papersclosedconf/sefm/NareshC0610.1109/SEFM.2006.3https://doi.org/10.1109/SEFM.2006.3https://dblp.org/rec/conf/sefm/NareshC06URL#5762601Mats NeoviusKaisa SereLu YanM. SatpathyA Formal Model of Context-Awareness and Context-Dependency.SEFM177-1852006Conference and Workshop Papersclosedconf/sefm/NeoviusSYS0610.1109/SEFM.2006.2https://doi.org/10.1109/SEFM.2006.2https://dblp.org/rec/conf/sefm/NeoviusSYS06URL#5762602Dong Ha NguyenMario SüdholtVPA-Based Aspects: Better Support for AOP over Protocols.SEFM167-1762006Conference and Workshop Papersclosedconf/sefm/NguyenS0610.1109/SEFM.2006.39https://doi.org/10.1109/SEFM.2006.39https://dblp.org/rec/conf/sefm/NguyenS06URL#5762603Sriram K. RajamaniAutomatic Property Checking for Software: Past, Present and Future.SEFM18-202006Conference and Workshop Papersclosedconf/sefm/Rajamani0610.1109/SEFM.2006.10https://doi.org/10.1109/SEFM.2006.10https://dblp.org/rec/conf/sefm/Rajamani06URL#5762604Pemadeep RamsokulArcot SowmyaASEHA: A Framework for Modelling and Verification ofWeb Services Protocols.SEFM196-2052006Conference and Workshop Papersclosedconf/sefm/RamsokulS0610.1109/SEFM.2006.8https://doi.org/10.1109/SEFM.2006.8https://dblp.org/rec/conf/sefm/RamsokulS06URL#5762605Silvio RaniseCalogero G. ZarbaA Theory of Singly-Linked Lists and its Extensible Decision Procedure.SEFM206-2152006Conference and Workshop Papersclosedconf/sefm/RaniseZ0610.1109/SEFM.2006.7https://doi.org/10.1109/SEFM.2006.7https://dblp.org/rec/conf/sefm/RaniseZ06URL#5762606Pascal RaymondErwan JahierYvan RouxDescribing and Executing Random Reactive Systems.SEFM216-2252006Conference and Workshop Papersclosedconf/sefm/RaymondJR0610.1109/SEFM.2006.15https://doi.org/10.1109/SEFM.2006.15https://dblp.org/rec/conf/sefm/RaymondJR06URL#5762607Cássio L. RodriguesPaulo E. S. BarbosaJairson M. CabralJorge C. A. de FigueiredoDalton Serey GuerreroA Bag-of-Tasks Approach for State Space Exploration Using Computational Grids.SEFM226-2352006Conference and Workshop Papersclosedconf/sefm/RodriguesBCFG0610.1109/SEFM.2006.1https://doi.org/10.1109/SEFM.2006.1https://dblp.org/rec/conf/sefm/RodriguesBCFG06URL#5762608John M. RushbyHarnessing Disruptive Innovation in Formal Verification.SEFM21-302006Conference and Workshop Papersclosedconf/sefm/Rushby0610.1109/SEFM.2006.24https://doi.org/10.1109/SEFM.2006.24https://dblp.org/rec/conf/sefm/Rushby06URL#5762609John M. RushbyTutorial: Automated Formal Methods with PVS, SAL, and Yices.SEFM2622006Conference and Workshop Papersclosedconf/sefm/Rushby06a10.1109/SEFM.2006.37https://doi.org/10.1109/SEFM.2006.37https://dblp.org/rec/conf/sefm/Rushby06aURL#5762610Prahladavaradan SampathShrawan KumarComposing Context Sensitive Analysis.SEFM186-1952006Conference and Workshop Papersclosedconf/sefm/SampathK0610.1109/SEFM.2006.12https://doi.org/10.1109/SEFM.2006.12https://dblp.org/rec/conf/sefm/SampathK06URL#5762611Srihari SukumaranAshok SreenivasR. VenkateshA Rigorous Approach to Requirements Validation.SEFM236-2452006Conference and Workshop Papersclosedconf/sefm/SukumaranSV0610.1109/SEFM.2006.5https://doi.org/10.1109/SEFM.2006.5https://dblp.org/rec/conf/sefm/SukumaranSV06URL#5762612Yong ZhangTao Huang 0001Jun Wei 0001Declarative Performance Modeling for Component-Based System using UML Profile for Schedulability, Performance and Time.SEFM246-2582006Conference and Workshop Papersclosedconf/sefm/ZhangHW0610.1109/SEFM.2006.14https://doi.org/10.1109/SEFM.2006.14https://dblp.org/rec/conf/sefm/ZhangHW06URL#5762613Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, IndiaSEFMIEEE Computer Society2006Editorshipconf/sefm/2006https://ieeexplore.ieee.org/xpl/conhome/11157/proceedinghttps://dblp.org/rec/conf/sefm/2006URL#5779197