:facetid:stream:\"streams/conf/fmoods\"OK:facetid:stream:streams/conf/fmoodsMartín AbadiFrank McSherryDerek Gordon MurrayThomas L. RodehefferFormal Analysis of a Distributed Algorithm for Tracking Progress.FMOODS/FORTE5-192013Conference and Workshop Papersopenconf/forte/AbadiMMR1310.1007/978-3-642-38592-6_2https://doi.org/10.1007/978-3-642-38592-6_2https://dblp.org/rec/conf/forte/AbadiMMR13URL#4140459Parosh Aziz AbdullaMohamed Faouzi AtigOthmane RezineVerification of Directed Acyclic Ad Hoc Networks.FMOODS/FORTE193-2082013Conference and Workshop Papersopenconf/forte/AbdullaAR1310.1007/978-3-642-38592-6_14https://doi.org/10.1007/978-3-642-38592-6_14https://dblp.org/rec/conf/forte/AbdullaAR13URL#4140460Sergio Feo-ArenisBernd WestphalParameterized Verification of Track Topology Aggregation Protocols.FMOODS/FORTE35-492013Conference and Workshop Papersopenconf/forte/ArenisW1310.1007/978-3-642-38592-6_4https://doi.org/10.1007/978-3-642-38592-6_4https://dblp.org/rec/conf/forte/ArenisW13URL#4140461Paul C. AttieSaddek BensalemMarius BozgaMohamad Jaber 0001Joseph SifakisFadi A. ZaraketAn Abstract Framework for Deadlock Prevention in BIP.FMOODS/FORTE161-1772013Conference and Workshop Papersopenconf/forte/AttieBBJSZ1310.1007/978-3-642-38592-6_12https://doi.org/10.1007/978-3-642-38592-6_12https://dblp.org/rec/conf/forte/AttieBBJSZ13URL#4140462Domagoj BabicZvonimir RakamaricAsynchronously Communicating Visibly Pushdown Systems.FMOODS/FORTE225-2412013Conference and Workshop Papersopenconf/forte/BabicR1310.1007/978-3-642-38592-6_16https://doi.org/10.1007/978-3-642-38592-6_16https://dblp.org/rec/conf/forte/BabicR13URL#4140463Massimo BartolettiAlceste ScalasEmilio TuostoRoberto ZuninoHonesty by Typing.FMOODS/FORTE305-3202013Conference and Workshop Papersopenconf/forte/BartolettiSTZ1310.1007/978-3-642-38592-6_21https://doi.org/10.1007/978-3-642-38592-6_21https://dblp.org/rec/conf/forte/BartolettiSTZ13URL#4140464Laura BocchiTzu-Chun ChenRomain DemangeonKohei Honda 0001Nobuko YoshidaMonitoring Networks through Multiparty Session Types.FMOODS/FORTE50-652013Conference and Workshop Papersopenconf/forte/BocchiCDHY1310.1007/978-3-642-38592-6_5https://doi.org/10.1007/978-3-642-38592-6_5https://dblp.org/rec/conf/forte/BocchiCDHY13URL#4140465Viviana BonoLuca PadovaniAndrea TosattoPolymorphic Types for Leak Detection in a Session-Oriented Functional Language.FMOODS/FORTE83-982013Conference and Workshop Papersopenconf/forte/BonoPT1310.1007/978-3-642-38592-6_7https://doi.org/10.1007/978-3-642-38592-6_7https://dblp.org/rec/conf/forte/BonoPT13URL#4140466Michele BugliesiStefano CalzavaraAlvise SpanòLintent: Towards Security Type-Checking of Android Applications.FMOODS/FORTE289-3042013Conference and Workshop Papersopenconf/forte/BugliesiCS1310.1007/978-3-642-38592-6_20https://doi.org/10.1007/978-3-642-38592-6_20https://dblp.org/rec/conf/forte/BugliesiCS13URL#4140467Tevfik BultanAnalyzing Interactions of Asynchronously Communicating Software Components - (Invited Paper).FMOODS/FORTE1-42013Conference and Workshop Papersopenconf/forte/Bultan1310.1007/978-3-642-38592-6_1https://doi.org/10.1007/978-3-642-38592-6_1https://dblp.org/rec/conf/forte/Bultan13URL#4140468Ornela DardhaDaniele GorlaDaniele VaraccaSemantic Subtyping for Objects and Classes.FMOODS/FORTE66-822013Conference and Workshop Papersopenconf/forte/DardhaGV1310.1007/978-3-642-38592-6_6https://doi.org/10.1007/978-3-642-38592-6_6https://dblp.org/rec/conf/forte/DardhaGV13URL#4140469Benoît DelahayeJosé Luiz FiadeiroAxel LegayAntónia LopesA Timed Component Algebra for Services.FMOODS/FORTE242-2572013Conference and Workshop Papersopenconf/forte/DelahayeFLL1310.1007/978-3-642-38592-6_17https://doi.org/10.1007/978-3-642-38592-6_17https://dblp.org/rec/conf/forte/DelahayeFLL13URL#4140470Hugues EvrardFrédéric LangFormal Verification of Distributed Branching Multiway Synchronization Protocols.FMOODS/FORTE146-1602013Conference and Workshop Papersopenconf/forte/EvrardL1310.1007/978-3-642-38592-6_11https://doi.org/10.1007/978-3-642-38592-6_11https://dblp.org/rec/conf/forte/EvrardL13URL#4140471Antonio Flores-MontoyaElvira AlbertSamir GenaimMay-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects.FMOODS/FORTE273-2882013Conference and Workshop Papersopenconf/forte/Flores-MontoyaAG1310.1007/978-3-642-38592-6_19https://doi.org/10.1007/978-3-642-38592-6_19https://dblp.org/rec/conf/forte/Flores-MontoyaAG13URL#4140472Carlos Gregorio-RodríguezLuis LlanaRafael Martínez-TorresInput-Output Conformance Simulation (iocos) for Model Based Testing.FMOODS/FORTE114-1292013Conference and Workshop Papersopenconf/forte/Gregorio-RodriguezLM1310.1007/978-3-642-38592-6_9https://doi.org/10.1007/978-3-642-38592-6_9https://dblp.org/rec/conf/forte/Gregorio-RodriguezLM13URL#4140473Andreas GriesmayerAlessio LomuscioModel Checking Distributed Systems against Temporal-Epistemic Specifications.FMOODS/FORTE130-1452013Conference and Workshop Papersopenconf/forte/GriesmayerL1310.1007/978-3-642-38592-6_10https://doi.org/10.1007/978-3-642-38592-6_10https://dblp.org/rec/conf/forte/GriesmayerL13URL#4140474Robert M. HieronsMercedes G. MerayoManuel Núñez 0001Passive Testing with Asynchronous Communications.FMOODS/FORTE99-1132013Conference and Workshop Papersopenconf/forte/HieronsMN1310.1007/978-3-642-38592-6_8https://doi.org/10.1007/978-3-642-38592-6_8https://dblp.org/rec/conf/forte/HieronsMN13URL#4140475Tobias Isenberg 0002Dominik SteenkenHeike WehrheimBounded Model Checking of Graph Transformation Systems via SMT Solving.FMOODS/FORTE178-1922013Conference and Workshop Papersopenconf/forte/IsenbergSW1310.1007/978-3-642-38592-6_13https://doi.org/10.1007/978-3-642-38592-6_13https://dblp.org/rec/conf/forte/IsenbergSW13URL#4140476Wojciech MostowskiA Case Study in Formal Verification Using Multiple Explicit Heaps.FMOODS/FORTE20-342013Conference and Workshop Papersopenconf/forte/Mostowski1310.1007/978-3-642-38592-6_3https://doi.org/10.1007/978-3-642-38592-6_3https://dblp.org/rec/conf/forte/Mostowski13URL#4140477Hanne Riis NielsonFlemming NielsonProbabilistic Analysis of the Quality Calculus.FMOODS/FORTE258-2722013Conference and Workshop Papersopenconf/forte/NielsonN1310.1007/978-3-642-38592-6_18https://doi.org/10.1007/978-3-642-38592-6_18https://dblp.org/rec/conf/forte/NielsonN13URL#4140478Jay ThakkarAditya KanadeRajeev AlurTransducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels.FMOODS/FORTE209-2242013Conference and Workshop Papersopenconf/forte/ThakkarKA1310.1007/978-3-642-38592-6_15https://doi.org/10.1007/978-3-642-38592-6_15https://dblp.org/rec/conf/forte/ThakkarKA13URL#4140479Dirk Beyer 0001Michele BorealeFormal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. ProceedingsFMOODS/FORTELecture Notes in Computer Science7892Springer2013Editorshipconf/forte/201310.1007/978-3-642-38592-6https://doi.org/10.1007/978-3-642-38592-6https://dblp.org/rec/conf/forte/2013URL#4247053Elvira AlbertAntonio Flores-MontoyaSamir GenaimAnalysis of May-Happen-in-Parallel in Concurrent Objects.FMOODS/FORTE35-512012Conference and Workshop Papersopenconf/forte/AlbertFG1210.1007/978-3-642-30793-5_3https://doi.org/10.1007/978-3-642-30793-5_3https://dblp.org/rec/conf/forte/AlbertFG12URL#4411426Bogdan AmanGabriel CiobanuMaciej KoutnyBehavioural Equivalences over Migrating Processes with Timers.FMOODS/FORTE52-662012Conference and Workshop Papersopenconf/forte/AmanCK1210.1007/978-3-642-30793-5_4https://doi.org/10.1007/978-3-642-30793-5_4https://dblp.org/rec/conf/forte/AmanCK12URL#4411427Gilles BartheJuan Manuel CrespoDominique DevrieseFrank PiessensExequiel RivasSecure Multi-Execution through Static Program Transformation.FMOODS/FORTE186-2022012Conference and Workshop Papersopenconf/forte/BartheCDPR1210.1007/978-3-642-30793-5_12https://doi.org/10.1007/978-3-642-30793-5_12https://dblp.org/rec/conf/forte/BartheCDPR12URL#4411428Saddek BensalemMarius BozgaJean QuilbeufJoseph SifakisKnowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities.FMOODS/FORTE118-1342012Conference and Workshop Papersopenconf/forte/BensalemBQS1210.1007/978-3-642-30793-5_8https://doi.org/10.1007/978-3-642-30793-5_8https://dblp.org/rec/conf/forte/BensalemBQS12URL#4411429Andrea CeroneMatthew HennessyModelling Probabilistic Wireless Networks - (Extended Abstract).FMOODS/FORTE135-1512012Conference and Workshop Papersopenconf/forte/CeroneH1210.1007/978-3-642-30793-5_9https://doi.org/10.1007/978-3-642-30793-5_9https://dblp.org/rec/conf/forte/CeroneH12URL#4411430Benoît DelahayeUli FahrenbergThomas A. HenzingerAxel LegayDejan NickovicSynchronous Interface Theories and Time Triggered Scheduling.FMOODS/FORTE203-2182012Conference and Workshop Papersopenconf/forte/DelahayeFHLN1210.1007/978-3-642-30793-5_13https://doi.org/10.1007/978-3-642-30793-5_13https://dblp.org/rec/conf/forte/DelahayeFHLN12URL#4411431Giorgio DelzannoArnaud SangnierGianluigi ZavattaroVerification of Ad Hoc Networks with Node and Communication Failures.FMOODS/FORTE235-2502012Conference and Workshop Papersopenconf/forte/DelzannoSZ1210.1007/978-3-642-30793-5_15https://doi.org/10.1007/978-3-642-30793-5_15https://dblp.org/rec/conf/forte/DelzannoSZ12URL#4411432Clara Benac EarleLars-Åke FredlundVerification of Timed Erlang Programs Using McErlang.FMOODS/FORTE251-2672012Conference and Workshop Papersopenconf/forte/EarleF1210.1007/978-3-642-30793-5_16https://doi.org/10.1007/978-3-642-30793-5_16https://dblp.org/rec/conf/forte/EarleF12URL#4411433Taylor T. JohnsonSayan MitraA Small Model Theorem for Rectangular Hybrid Automata Networks.FMOODS/FORTE18-342012Conference and Workshop Papersopenconf/forte/JohnsonM1210.1007/978-3-642-30793-5_2https://doi.org/10.1007/978-3-642-30793-5_2https://dblp.org/rec/conf/forte/JohnsonM12URL#4411434Roland KindermannTommi A. JunttilaIlkka NiemeläBeyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata.FMOODS/FORTE84-1002012Conference and Workshop Papersopenconf/forte/KindermannJN1210.1007/978-3-642-30793-5_6https://doi.org/10.1007/978-3-642-30793-5_6https://dblp.org/rec/conf/forte/KindermannJN12URL#4411435Kais KlaiJörg DeselChecking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs.FMOODS/FORTE67-832012Conference and Workshop Papersopenconf/forte/KlaiD1210.1007/978-3-642-30793-5_5https://doi.org/10.1007/978-3-642-30793-5_5https://dblp.org/rec/conf/forte/KlaiD12URL#4411436Michael LienhardtIvan LaneseClaudio Antares MezzinaJean-Bernard StefaniA Reversible Abstract Machine and Its Space Overhead.FMOODS/FORTE1-172012Conference and Workshop Papersopenconf/forte/LienhardtLMS1210.1007/978-3-642-30793-5_1https://doi.org/10.1007/978-3-642-30793-5_1https://dblp.org/rec/conf/forte/LienhardtLMS12URL#4411437Dimiter MilushevWim BeckDave Clarke 0001Noninterference via Symbolic Execution.FMOODS/FORTE152-1682012Conference and Workshop Papersopenconf/forte/MilushevBC1210.1007/978-3-642-30793-5_10https://doi.org/10.1007/978-3-642-30793-5_10https://dblp.org/rec/conf/forte/MilushevBC12URL#4411438Pavithra PrabhakarMahesh Viswanathan 0001Conformance Testing of Boolean Programs with Multiple Faults.FMOODS/FORTE101-1172012Conference and Workshop Papersopenconf/forte/PrabhakarV1210.1007/978-3-642-30793-5_7https://doi.org/10.1007/978-3-642-30793-5_7https://dblp.org/rec/conf/forte/PrabhakarV12URL#4411439David Romero-HernándezDavid de Frutos-EscrigDefining Distances for All Process Semantics.FMOODS/FORTE169-1852012Conference and Workshop Papersopenconf/forte/Romero-HernandezF1210.1007/978-3-642-30793-5_11https://doi.org/10.1007/978-3-642-30793-5_11https://dblp.org/rec/conf/forte/Romero-HernandezF12URL#4411440Samira TasharofiRajesh K. KarmaniSteven LauterburgAxel LegayDarko MarinovGul AghaTransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs.FMOODS/FORTE219-2342012Conference and Workshop Papersopenconf/forte/TasharofiKLLMA1210.1007/978-3-642-30793-5_14https://doi.org/10.1007/978-3-642-30793-5_14https://dblp.org/rec/conf/forte/TasharofiKLLMA12URL#4411441Holger GieseGrigore RosuFormal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. ProceedingsFMOODS/FORTELecture Notes in Computer Science7273Springer2012Editorshipconf/forte/201210.1007/978-3-642-30793-5https://doi.org/10.1007/978-3-642-30793-5https://dblp.org/rec/conf/forte/2012URL#4513620Lucia AcciaiMichele BorealeRocco De NicolaLinear-Time and May-Testing in a Probabilistic Reactive Setting.FMOODS/FORTE29-432011Conference and Workshop Papersclosedconf/forte/AcciaiBN1110.1007/978-3-642-21461-5_2https://doi.org/10.1007/978-3-642-21461-5_2https://dblp.org/rec/conf/forte/AcciaiBN11URL#4669304Patrizia AsirelliMaurice H. ter BeekAlessandro FantechiStefania GnesiA Model-Checking Tool for Families of Services.FMOODS/FORTE44-582011Conference and Workshop Papersclosedconf/forte/AsirelliBFG1110.1007/978-3-642-21461-5_3https://doi.org/10.1007/978-3-642-21461-5_3https://dblp.org/rec/conf/forte/AsirelliBFG11URL#4669305Jonathan BogdollLuis María Ferrer FioritiArnd HartmannsHolger HermannsPartial Order Methods for Statistical Model Checking and Simulation.FMOODS/FORTE59-742011Conference and Workshop Papersclosedconf/forte/BogdollFHH1110.1007/978-3-642-21461-5_4https://doi.org/10.1007/978-3-642-21461-5_4https://dblp.org/rec/conf/forte/BogdollFHH11URL#4669306Bettina BraitlingRalf Wimmer 0001Bernd Becker 0001Nils Jansen 0001Erika ÁbrahámCounterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking.FMOODS/FORTE75-892011Conference and Workshop Papersclosedconf/forte/BraitlingWBJA1110.1007/978-3-642-21461-5_5https://doi.org/10.1007/978-3-642-21461-5_5https://dblp.org/rec/conf/forte/BraitlingWBJA11URL#4669307Mario BravettiCinzia Di GiustoJorge A. Pérez 0001Gianluigi ZavattaroAdaptable Processes (Extended Abstract).FMOODS/FORTE90-1052011Conference and Workshop Papersclosedconf/forte/BravettiGPZ1110.1007/978-3-642-21461-5_6https://doi.org/10.1007/978-3-642-21461-5_6https://dblp.org/rec/conf/forte/BravettiGPZ11URL#4669308Giuseppe CastagnaMariangiola Dezani-CiancagliniLuca PadovaniOn Global Types and Multi-party Sessions.FMOODS/FORTE1-282011Conference and Workshop Papersclosedconf/forte/CastagnaDP1110.1007/978-3-642-21461-5_1https://doi.org/10.1007/978-3-642-21461-5_1https://dblp.org/rec/conf/forte/CastagnaDP11URL#4669309Yuxin DengStéphane GrumbachJean-François MoninA Framework for Verifying Data-Centric Protocols.FMOODS/FORTE106-1202011Conference and Workshop Papersclosedconf/forte/DengGM1110.1007/978-3-642-21461-5_7https://doi.org/10.1007/978-3-642-21461-5_7https://dblp.org/rec/conf/forte/DengGM11URL#4669310John DerrickEerke A. BoitenRelational Concurrent Refinement: Timed Refinement.FMOODS/FORTE121-1372011Conference and Workshop Papersclosedconf/forte/DerrickB1110.1007/978-3-642-21461-5_8https://doi.org/10.1007/978-3-642-21461-5_8https://dblp.org/rec/conf/forte/DerrickB11URL#4669311Piotr FilipiukMichal TerepetaHanne Riis NielsonFlemming NielsonGalois Connections for Flow Algebras.FMOODS/FORTE138-1522011Conference and Workshop Papersclosedconf/forte/FilipiukTNN1110.1007/978-3-642-21461-5_9https://doi.org/10.1007/978-3-642-21461-5_9https://dblp.org/rec/conf/forte/FilipiukTNN11URL#4669312Séverine FrataniJean-Marc TalbotAn Accurate Type System for Information Flow in Presence of Arrays.FMOODS/FORTE153-1672011Conference and Workshop Papersclosedconf/forte/FrataniT1110.1007/978-3-642-21461-5_10https://doi.org/10.1007/978-3-642-21461-5_10https://dblp.org/rec/conf/forte/FrataniT11URL#4669313Elena GiachinoCosimo LaneveAnalysis of Deadlocks in Object Groups.FMOODS/FORTE168-1822011Conference and Workshop Papersclosedconf/forte/GiachinoL1110.1007/978-3-642-21461-5_11https://doi.org/10.1007/978-3-642-21461-5_11https://dblp.org/rec/conf/forte/GiachinoL11URL#4669314Susanne GrafDoron A. PeledSophie QuintonMonitoring Distributed Systems Using Knowledge.FMOODS/FORTE183-1972011Conference and Workshop Papersclosedconf/forte/GrafPQ1110.1007/978-3-642-21461-5_12https://doi.org/10.1007/978-3-642-21461-5_12https://dblp.org/rec/conf/forte/GrafPQ11URL#4669315Gabriel KalyonTristan Le GallHervé MarchandThierry MassartGlobal State Estimates for Distributed Systems.FMOODS/FORTE198-2122011Conference and Workshop Papersclosedconf/forte/KalyonGMM1110.1007/978-3-642-21461-5_13https://doi.org/10.1007/978-3-642-21461-5_13https://dblp.org/rec/conf/forte/KalyonGMM11URL#4669316Dimitrios KouzapasAnna PhilippouA Process Calculus for Dynamic Networks.FMOODS/FORTE213-2272011Conference and Workshop Papersclosedconf/forte/KouzapasP1110.1007/978-3-642-21461-5_14https://doi.org/10.1007/978-3-642-21461-5_14https://dblp.org/rec/conf/forte/KouzapasP11URL#4669317Dimitrios KouzapasNobuko YoshidaKohei Honda 0001On Asynchronous Session Semantics.FMOODS/FORTE228-2432011Conference and Workshop Papersclosedconf/forte/KouzapasYH1110.1007/978-3-642-21461-5_15https://doi.org/10.1007/978-3-642-21461-5_15https://dblp.org/rec/conf/forte/KouzapasYH11URL#4669318Tianxiang LuStephan MerzChristoph WeidenbachTowards Verification of the Pastry Protocol Using TLA + .FMOODS/FORTE244-2582011Conference and Workshop Papersclosedconf/forte/LuMW1110.1007/978-3-642-21461-5_16https://doi.org/10.1007/978-3-642-21461-5_16https://dblp.org/rec/conf/forte/LuMW11URL#4669319María Martos-SalgadoFernando Rosa-VelardoDynamic Soundness in Resource-Constrained Workflow Nets.FMOODS/FORTE259-2732011Conference and Workshop Papersclosedconf/forte/Martos-SalgadoR1110.1007/978-3-642-21461-5_17https://doi.org/10.1007/978-3-642-21461-5_17https://dblp.org/rec/conf/forte/Martos-SalgadoR11URL#4669320Stephan MerzMartin QuinsonCristian Daniel RosaSimGrid MC: Verification Support for a Multi-API Simulation Platform.FMOODS/FORTE274-2882011Conference and Workshop Papersclosedconf/forte/MerzQR1110.1007/978-3-642-21461-5_18https://doi.org/10.1007/978-3-642-21461-5_18https://dblp.org/rec/conf/forte/MerzQR11URL#4669321Marco PatrignaniDave Clarke 0001Davide SangiorgiOwnership Types for the Join Calculus.FMOODS/FORTE289-3032011Conference and Workshop Papersclosedconf/forte/PatrignaniCS1110.1007/978-3-642-21461-5_19https://doi.org/10.1007/978-3-642-21461-5_19https://dblp.org/rec/conf/forte/PatrignaniCS11URL#4669322Vidar SlåttenPeter HerrmannContracts for Multi-instance UML Activities.FMOODS/FORTE304-3182011Conference and Workshop Papersclosedconf/forte/SlattenH1110.1007/978-3-642-21461-5_20https://doi.org/10.1007/978-3-642-21461-5_20https://dblp.org/rec/conf/forte/SlattenH11URL#4669323Frédéric VogelsBart Jacobs 0002Frank PiessensJan SmansAnnotation Inference for Separation Logic Based Verifiers.FMOODS/FORTE319-3332011Conference and Workshop Papersclosedconf/forte/VogelsJPS1110.1007/978-3-642-21461-5_21https://doi.org/10.1007/978-3-642-21461-5_21https://dblp.org/rec/conf/forte/VogelsJPS11URL#4669324Anduo WangCarolyn L. TalcottLimin Jia 0001Boon Thau LooAndre ScedrovAnalyzing BGP Instances in Maude.FMOODS/FORTE334-3482011Conference and Workshop Papersclosedconf/forte/WangTJLS1110.1007/978-3-642-21461-5_22https://doi.org/10.1007/978-3-642-21461-5_22https://dblp.org/rec/conf/forte/WangTJLS11URL#4669325Roberto BruniJürgen DingelFormal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. ProceedingsFMOODS/FORTELecture Notes in Computer Science6722Springer2011Editorshipconf/forte/201110.1007/978-3-642-21461-5https://doi.org/10.1007/978-3-642-21461-5https://dblp.org/rec/conf/forte/2011URL#4765044Ananda BasuSaddek BensalemMarius BozgaBenoît CaillaudBenoît DelahayeAxel LegayStatistical Abstraction and Model-Checking of Large Heterogeneous Systems.FMOODS/FORTE32-462010Conference and Workshop Papersopenconf/forte/BasuBBCDL1010.1007/978-3-642-13464-7_4https://doi.org/10.1007/978-3-642-13464-7_4https://dblp.org/rec/conf/forte/BasuBBCDL10URL#4906108Laura BocchiEmilio TuostoTesting Attribute-Based Transactions in SOC.FMOODS/FORTE87-942010Conference and Workshop Papersopenconf/forte/BocchiT1010.1007/978-3-642-13464-7_8https://doi.org/10.1007/978-3-642-13464-7_8https://dblp.org/rec/conf/forte/BocchiT10URL#4906109Péter BokorMarco SerafiniNeeraj SuriOn Efficient Models for Model Checking Message-Passing Distributed Protocols.FMOODS/FORTE216-2232010Conference and Workshop Papersopenconf/forte/BokorSS1010.1007/978-3-642-13464-7_17https://doi.org/10.1007/978-3-642-13464-7_17https://dblp.org/rec/conf/forte/BokorSS10URL#4906110Artur BoronatRoberto BruniAlberto Lluch-LafuenteUgo MontanariGeneroso PaolilloExploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning.FMOODS/FORTE2-162010Conference and Workshop Papersopenconf/forte/BoronatBLMP1010.1007/978-3-642-13464-7_2https://doi.org/10.1007/978-3-642-13464-7_2https://dblp.org/rec/conf/forte/BoronatBLMP10URL#4906111Lei BuAlessandro CimattiXuandong LiSergio MoverStefano TonettaModel Checking of Hybrid Systems Using Shallow Synchronization.FMOODS/FORTE155-1692010Conference and Workshop Papersopenconf/forte/BuCLMT1010.1007/978-3-642-13464-7_13https://doi.org/10.1007/978-3-642-13464-7_13https://dblp.org/rec/conf/forte/BuCLMT10URL#4906112F. Javier CrespoAlberto de la EncinaLuis LlanaFuzzy-Timed Automata.FMOODS/FORTE140-1542010Conference and Workshop Papersopenconf/forte/CrespoEL1010.1007/978-3-642-13464-7_12https://doi.org/10.1007/978-3-642-13464-7_12https://dblp.org/rec/conf/forte/CrespoEL10URL#4906113Ignacio FábregasDavid de Frutos-EscrigMiguel PalominoLogics for Contravariant Simulations.FMOODS/FORTE224-2312010Conference and Workshop Papersopenconf/forte/FabregasFP1010.1007/978-3-642-13464-7_18https://doi.org/10.1007/978-3-642-13464-7_18https://dblp.org/rec/conf/forte/FabregasFP10URL#4906114Pietro Ferrara 0001Static Type Analysis of Pattern Matching by Abstract Interpretation.FMOODS/FORTE186-2002010Conference and Workshop Papersopenconf/forte/Ferrara1010.1007/978-3-642-13464-7_15https://doi.org/10.1007/978-3-642-13464-7_15https://dblp.org/rec/conf/forte/Ferrara10URL#4906115Robert M. HieronsManuel Núñez 0001Testing Probabilistic Distributed Systems.FMOODS/FORTE63-772010Conference and Workshop Papersopenconf/forte/HieronsN1010.1007/978-3-642-13464-7_6https://doi.org/10.1007/978-3-642-13464-7_6https://dblp.org/rec/conf/forte/HieronsN10URL#4906116Gerard J. HolzmannFormal Software Verification: How Close Are We?FMOODS/FORTE12010Conference and Workshop Papersopenconf/forte/Holzmann1010.1007/978-3-642-13464-7_1https://doi.org/10.1007/978-3-642-13464-7_1https://dblp.org/rec/conf/forte/Holzmann10URL#4906117Fatemeh KazemeyniEinar Broch JohnsenOlaf OweIlangko BalasinghamGrouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory.FMOODS/FORTE95-1092010Conference and Workshop Papersopenconf/forte/KazemeyniJOB1010.1007/978-3-642-13464-7_9https://doi.org/10.1007/978-3-642-13464-7_9https://dblp.org/rec/conf/forte/KazemeyniJOB10URL#4906118Frank Alexander KraemerPeter HerrmannReactive Semantics for Distributed UML Activities.FMOODS/FORTE17-312010Conference and Workshop Papersopenconf/forte/KraemerH1010.1007/978-3-642-13464-7_3https://doi.org/10.1007/978-3-642-13464-7_3https://dblp.org/rec/conf/forte/KraemerH10URL#4906119Peter Csaba ÖlveczkyArtur BoronatJosé Meseguer 0001Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude.FMOODS/FORTE47-622010Conference and Workshop Papersopenconf/forte/OlveczkyBM1010.1007/978-3-642-13464-7_5https://doi.org/10.1007/978-3-642-13464-7_5https://dblp.org/rec/conf/forte/OlveczkyBM10URL#4906120Juan José PardoManuel Núñez 0001M. Carmen RuizSpecification and Testing of E-Commerce Agents Described by Using UIOLTSs.FMOODS/FORTE78-862010Conference and Workshop Papersopenconf/forte/PardoNR1010.1007/978-3-642-13464-7_7https://doi.org/10.1007/978-3-642-13464-7_7https://dblp.org/rec/conf/forte/PardoNR10URL#4906121Yongyuth PermpoontanalarpOn-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols.FMOODS/FORTE201-2152010Conference and Workshop Papersopenconf/forte/Permpoontanalarp1010.1007/978-3-642-13464-7_16https://doi.org/10.1007/978-3-642-13464-7_16https://dblp.org/rec/conf/forte/Permpoontanalarp10URL#4906122Ernesto PosseJürgen DingelTheory and Implementation of a Real-Time Extension to the pi-Calculus.FMOODS/FORTE125-1392010Conference and Workshop Papersopenconf/forte/PosseD1010.1007/978-3-642-13464-7_11https://doi.org/10.1007/978-3-642-13464-7_11https://dblp.org/rec/conf/forte/PosseD10URL#4906123Jan SmansBart Jacobs 0002Frank PiessensHeap-Dependent Expressions in Separation Logic.FMOODS/FORTE170-1852010Conference and Workshop Papersopenconf/forte/SmansJP1010.1007/978-3-642-13464-7_14https://doi.org/10.1007/978-3-642-13464-7_14https://dblp.org/rec/conf/forte/SmansJP10URL#4906124Anton WijsForgetting the Time in Timed Process Algebra.FMOODS/FORTE110-1242010Conference and Workshop Papersopenconf/forte/Wijs1010.1007/978-3-642-13464-7_10https://doi.org/10.1007/978-3-642-13464-7_10https://dblp.org/rec/conf/forte/Wijs10URL#4906125John HatcliffElena ZuccaFormal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. ProceedingsFMOODS/FORTELecture Notes in Computer Science6117Springer2010Editorshipconf/forte/201010.1007/978-3-642-13464-7https://doi.org/10.1007/978-3-642-13464-7https://dblp.org/rec/conf/forte/2010URL#4998214Parosh Aziz AbdullaGiorgio DelzannoAhmed RezineApproximated Context-Sensitive Analysis for Parameterized Verification.FMOODS/FORTE41-562009Conference and Workshop Papersopenconf/forte/AbdullaDR0910.1007/978-3-642-02138-1_3https://doi.org/10.1007/978-3-642-02138-1_3https://dblp.org/rec/conf/forte/AbdullaDR09URL#5133257João AbreuFranco MazzantiJosé Luiz FiadeiroStefania GnesiA Model-Checking Approach for Service Component Architectures.FMOODS/FORTE219-2242009Conference and Workshop Papersopenconf/forte/AbreuMFG0910.1007/978-3-642-02138-1_15https://doi.org/10.1007/978-3-642-02138-1_15https://dblp.org/rec/conf/forte/AbreuMFG09URL#5133258Luciano BaresiDomenico BianculliSam GuineaPaola SpoletiniKeep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions.FMOODS/FORTE26-402009Conference and Workshop Papersopenconf/forte/BaresiBGS0910.1007/978-3-642-02138-1_2https://doi.org/10.1007/978-3-642-02138-1_2https://dblp.org/rec/conf/forte/BaresiBGS09URL#5133259Gregor von BochmannUsing First-Order Logic to Reason about Submodule Construction.FMOODS/FORTE213-2182009Conference and Workshop Papersopenconf/forte/Bochmann0910.1007/978-3-642-02138-1_14https://doi.org/10.1007/978-3-642-02138-1_14https://dblp.org/rec/conf/forte/Bochmann09URL#5133260Hanifa BouchenebAbdessamad ImineOn Model-Checking Optimistic Replication Algorithms.FMOODS/FORTE73-892009Conference and Workshop Papersopenconf/forte/BouchenebI0910.1007/978-3-642-02138-1_5https://doi.org/10.1007/978-3-642-02138-1_5https://dblp.org/rec/conf/forte/BouchenebI09URL#5133261Rohit ChadhaStéphanie DelauneSteve KremerEpistemic Logic for the Applied Pi Calculus.FMOODS/FORTE182-1972009Conference and Workshop Papersopenconf/forte/ChadhaDK0910.1007/978-3-642-02138-1_12https://doi.org/10.1007/978-3-642-02138-1_12https://dblp.org/rec/conf/forte/ChadhaDK09URL#5133262Tsong Yueh ChenFei-Ching KuoHuai LiuShengqiong WangConformance Testing of Network Simulators Based on Metamorphic Testing Technique.FMOODS/FORTE243-2482009Conference and Workshop Papersopenconf/forte/ChenKLW0910.1007/978-3-642-02138-1_19https://doi.org/10.1007/978-3-642-02138-1_19https://dblp.org/rec/conf/forte/ChenKLW09URL#5133263Gabriel CiobanuCalin JuravleA Software Platform for Timed Mobility and Timed Interaction.FMOODS/FORTE106-1212009Conference and Workshop Papersopenconf/forte/CiobanuJ0910.1007/978-3-642-02138-1_7https://doi.org/10.1007/978-3-642-02138-1_7https://dblp.org/rec/conf/forte/CiobanuJ09URL#5133264Gregorio Díaz 0001Ismael RodríguezChecking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach.FMOODS/FORTE231-2362009Conference and Workshop Papersopenconf/forte/DiazR0910.1007/978-3-642-02138-1_17https://doi.org/10.1007/978-3-642-02138-1_17https://dblp.org/rec/conf/forte/DiazR09URL#5133265Naghmeh GhafariArie GurfinkelRichard J. TreflerVerification of Parameterized Systems with Combinations of Abstract Domains.FMOODS/FORTE57-722009Conference and Workshop Papersopenconf/forte/GhafariGT0910.1007/978-3-642-02138-1_4https://doi.org/10.1007/978-3-642-02138-1_4https://dblp.org/rec/conf/forte/GhafariGT09URL#5133266Andreas GriesmayerBernhard K. AichernigEinar Broch JohnsenRudolf SchlatteDynamic Symbolic Execution of Distributed Concurrent Objects.FMOODS/FORTE225-2302009Conference and Workshop Papersopenconf/forte/GriesmayerAJS0910.1007/978-3-642-02138-1_16https://doi.org/10.1007/978-3-642-02138-1_16https://dblp.org/rec/conf/forte/GriesmayerAJS09URL#5133267Maxim GromovKhaled El-FakihNatalia ShabaldinaNina Yevtushenko 0001Distinguing Non-deterministic Timed Finite State Machines.FMOODS/FORTE137-1512009Conference and Workshop Papersopenconf/forte/GromovESY0910.1007/978-3-642-02138-1_9https://doi.org/10.1007/978-3-642-02138-1_9https://dblp.org/rec/conf/forte/GromovESY09URL#5133268Hans GrönnigerJan Oliver RingertBernhard RumpeSystem Model-Based Definition of Modeling Language Semantics.FMOODS/FORTE152-1662009Conference and Workshop Papersopenconf/forte/GronnigerRR0910.1007/978-3-642-02138-1_10https://doi.org/10.1007/978-3-642-02138-1_10https://dblp.org/rec/conf/forte/GronnigerRR09URL#5133269Iksoon HwangMounir LallaliAna R. CavalliDominique VerchèreModeling, Validation, and Verification of PCEP Using the IF Language.FMOODS/FORTE122-1362009Conference and Workshop Papersopenconf/forte/HwangLCV0910.1007/978-3-642-02138-1_8https://doi.org/10.1007/978-3-642-02138-1_8https://dblp.org/rec/conf/forte/HwangLCV09URL#5133270David KitchinAdrian QuarkWilliam R. CookJayadev MisraThe Orc Programming Language.FMOODS/FORTE1-252009Conference and Workshop Papersopenconf/forte/KitchinQCM0910.1007/978-3-642-02138-1_1https://doi.org/10.1007/978-3-642-02138-1_1https://dblp.org/rec/conf/forte/KitchinQCM09URL#5133271Morten KühnrichUwe NestmannOn Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems.FMOODS/FORTE198-2122009Conference and Workshop Papersopenconf/forte/KuhnrichN0910.1007/978-3-642-02138-1_13https://doi.org/10.1007/978-3-642-02138-1_13https://dblp.org/rec/conf/forte/KuhnrichN09URL#5133272Michael LienhardtClaudio Antares MezzinaAlan SchmittJean-Bernard StefaniTyping Component-Based Communication Systems.FMOODS/FORTE167-1812009Conference and Workshop Papersopenconf/forte/LienhardtMSS0910.1007/978-3-642-02138-1_11https://doi.org/10.1007/978-3-642-02138-1_11https://dblp.org/rec/conf/forte/LienhardtMSS09URL#5133273Lin Liu 0003Jonathan BillingtonRecursive Parametric Automata and epsilon-Removal.FMOODS/FORTE90-1052009Conference and Workshop Papersopenconf/forte/LiuB0910.1007/978-3-642-02138-1_6https://doi.org/10.1007/978-3-642-02138-1_6https://dblp.org/rec/conf/forte/LiuB09URL#5133274Arend RensinkEduardo ZambonA Type Graph Model for Java Programs.FMOODS/FORTE237-2422009Conference and Workshop Papersopenconf/forte/RensinkZ0910.1007/978-3-642-02138-1_18https://doi.org/10.1007/978-3-642-02138-1_18https://dblp.org/rec/conf/forte/RensinkZ09URL#5133275David Lee 0001Antónia LopesArnd Poetzsch-HeffterFormal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. ProceedingsFMOODS/FORTELecture Notes in Computer Science5522Springer2009Editorshipconf/forte/200910.1007/978-3-642-02138-1https://doi.org/10.1007/978-3-642-02138-1https://dblp.org/rec/conf/forte/2009URL#5218967Elvira AlbertPuri ArenasMichael CodishSamir GenaimGermán PueblaDamiano ZanardiniTermination Analysis of Java Bytecode.FMOODS2-182008Conference and Workshop Papersopenconf/fmoods/AlbertACGPZ0810.1007/978-3-540-68863-1_2https://doi.org/10.1007/978-3-540-68863-1_2https://dblp.org/rec/conf/fmoods/AlbertACGPZ08URL#5346320Michele BorealeRoberto BruniRocco De NicolaMichele LoretiSessions and Pipelines for Structured Service Programming.FMOODS19-382008Conference and Workshop Papersopenconf/fmoods/BorealeBNL0810.1007/978-3-540-68863-1_3https://doi.org/10.1007/978-3-540-68863-1_3https://dblp.org/rec/conf/fmoods/BorealeBNL08URL#5346321Rohit ChadhaCarl A. GunterJosé Meseguer 0001Ravinder ShankesiMahesh Viswanathan 0001Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers.FMOODS39-582008Conference and Workshop Papersopenconf/fmoods/ChadhaGMSV0810.1007/978-3-540-68863-1_4https://doi.org/10.1007/978-3-540-68863-1_4https://dblp.org/rec/conf/fmoods/ChadhaGMSV08URL#5346322Luís Cruz-FilipeIvan LaneseFrancisco MartinsAntónio RavaraVasco Thudichum VasconcelosBehavioural Theory at Work: Program Transformations in a Service-Centred Calculus.FMOODS59-772008Conference and Workshop Papersopenconf/fmoods/Cruz-FilipeLMRV0810.1007/978-3-540-68863-1_5https://doi.org/10.1007/978-3-540-68863-1_5https://dblp.org/rec/conf/fmoods/Cruz-FilipeLMRV08URL#5346323John DerrickGerhard SchellhornHeike WehrheimMechanizing a Correctness Proof for a Lock-Free Concurrent Stack.FMOODS78-952008Conference and Workshop Papersopenconf/fmoods/DerrickSW0810.1007/978-3-540-68863-1_6https://doi.org/10.1007/978-3-540-68863-1_6https://dblp.org/rec/conf/fmoods/DerrickSW08URL#5346324Jori DubrovinTommi A. JunttilaKeijo HeljankoSymbolic Step Encodings for Object Based Communicating State Machines.FMOODS96-1122008Conference and Workshop Papersopenconf/fmoods/DubrovinJH0810.1007/978-3-540-68863-1_7https://doi.org/10.1007/978-3-540-68863-1_7https://dblp.org/rec/conf/fmoods/DubrovinJH08URL#5346325Alexander GrulerMartin LeuckerKathrin Danielle ScheidemannModeling and Model Checking Software Product Lines.FMOODS113-1312008Conference and Workshop Papersopenconf/fmoods/GrulerLS0810.1007/978-3-540-68863-1_8https://doi.org/10.1007/978-3-540-68863-1_8https://dblp.org/rec/conf/fmoods/GrulerLS08URL#5346326Laurent HubertThomas P. JensenDavid PichardieSemantic Foundations and Inference of Non-null Annotations.FMOODS132-1492008Conference and Workshop Papersopenconf/fmoods/HubertJP0810.1007/978-3-540-68863-1_9https://doi.org/10.1007/978-3-540-68863-1_9https://dblp.org/rec/conf/fmoods/HubertJP08URL#5346327Michael KatelmanJosé Meseguer 0001Jennifer C. HouRedesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking.FMOODS150-1692008Conference and Workshop Papersopenconf/fmoods/KatelmanMH0810.1007/978-3-540-68863-1_10https://doi.org/10.1007/978-3-540-68863-1_10https://dblp.org/rec/conf/fmoods/KatelmanMH08URL#5346328Tim McCombGraeme Smith 0001A Minimal Set of Refactoring Rules for Object-Z.FMOODS170-1842008Conference and Workshop Papersopenconf/fmoods/McCombS0810.1007/978-3-540-68863-1_11https://doi.org/10.1007/978-3-540-68863-1_11https://dblp.org/rec/conf/fmoods/McCombS08URL#5346329Andrew C. MyersGuiding Distributed Systems Synthesis with Language-Based Security Policies.FMOODS12008Conference and Workshop Papersopenconf/fmoods/Myers0810.1007/978-3-540-68863-1_1https://doi.org/10.1007/978-3-540-68863-1_1https://dblp.org/rec/conf/fmoods/Myers08URL#5346330Xavier RenaultJérôme HuguesFabrice KordonFormal Modeling of a Generic Middleware to Ensure Invariant Properties.FMOODS185-2002008Conference and Workshop Papersopenconf/fmoods/RenaultHK0810.1007/978-3-540-68863-1_12https://doi.org/10.1007/978-3-540-68863-1_12https://dblp.org/rec/conf/fmoods/RenaultHK08URL#5346331Jan Schäfer 0002Arnd Poetzsch-HeffterCoBoxes: Unifying Active Objects and Structured Heaps.FMOODS201-2192008Conference and Workshop Papersopenconf/fmoods/SchaferP0810.1007/978-3-540-68863-1_13https://doi.org/10.1007/978-3-540-68863-1_13https://dblp.org/rec/conf/fmoods/SchaferP08URL#5346332Jan SmansBart Jacobs 0002Frank PiessensVeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language.FMOODS220-2392008Conference and Workshop Papersopenconf/fmoods/SmansJP0810.1007/978-3-540-68863-1_14https://doi.org/10.1007/978-3-540-68863-1_14https://dblp.org/rec/conf/fmoods/SmansJP08URL#5346333Dries VanoverbergheFrank PiessensA Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language.FMOODS240-2582008Conference and Workshop Papersopenconf/fmoods/VanoverbergheP0810.1007/978-3-540-68863-1_15https://doi.org/10.1007/978-3-540-68863-1_15https://dblp.org/rec/conf/fmoods/VanoverbergheP08URL#5346334Gilles BartheFrank S. de BoerFormal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, ProceedingsFMOODSLecture Notes in Computer Science5051Springer2008Editorshipconf/fmoods/200810.1007/978-3-540-68863-1https://doi.org/10.1007/978-3-540-68863-1https://dblp.org/rec/conf/fmoods/2008URL#5428129Wolfgang AhrendtBernhard BeckertReiner HähnlePeter H. SchmittKeY: A Formal Method for Object-Oriented Systems.FMOODS32-432007Conference and Workshop Papersopenconf/fmoods/AhrendtBHS0710.1007/978-3-540-72952-5_2https://doi.org/10.1007/978-3-540-72952-5_2https://dblp.org/rec/conf/fmoods/AhrendtBHS07URL#5540871Marco Bernardo 0001Luca PadovaniPerformance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders.FMOODS269-2842007Conference and Workshop Papersopenconf/fmoods/BernardoP0710.1007/978-3-540-72952-5_17https://doi.org/10.1007/978-3-540-72952-5_17https://dblp.org/rec/conf/fmoods/BernardoP07URL#5540872Philippe BidingerAdriana B. CompagnoniPict Correctness Revisited.FMOODS206-2202007Conference and Workshop Papersopenconf/fmoods/BidingerC0710.1007/978-3-540-72952-5_13https://doi.org/10.1007/978-3-540-72952-5_13https://dblp.org/rec/conf/fmoods/BidingerC07URL#5540873Frank S. de BoerA Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs.FMOODS252-2682007Conference and Workshop Papersopenconf/fmoods/Boer0710.1007/978-3-540-72952-5_16https://doi.org/10.1007/978-3-540-72952-5_16https://dblp.org/rec/conf/fmoods/Boer07URL#5540874L. Ruhai CaiJeremy S. BradburyJürgen DingelVerifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking.FMOODS44-582007Conference and Workshop Papersopenconf/fmoods/CaiBD0710.1007/978-3-540-72952-5_3https://doi.org/10.1007/978-3-540-72952-5_3https://dblp.org/rec/conf/fmoods/CaiBD07URL#5540875Mario CoppoMariangiola Dezani-CiancagliniNobuko YoshidaAsynchronous Session Types and Progress for Object Oriented Languages.FMOODS1-312007Conference and Workshop Papersopenconf/fmoods/CoppoDY0710.1007/978-3-540-72952-5_1https://doi.org/10.1007/978-3-540-72952-5_1https://dblp.org/rec/conf/fmoods/CoppoDY07URL#5540876Gregor EngelsChristian SoltenbornHeike WehrheimAnalysis of UML Activities Using Dynamic Meta Modeling.FMOODS76-902007Conference and Workshop Papersopenconf/fmoods/EngelsSW0710.1007/978-3-540-72952-5_5https://doi.org/10.1007/978-3-540-72952-5_5https://dblp.org/rec/conf/fmoods/EngelsSW07URL#5540877Holger GrandyKurt StenzelWolfgang ReifA Refinement Method for Java Programs.FMOODS221-2352007Conference and Workshop Papersopenconf/fmoods/GrandySR0710.1007/978-3-540-72952-5_14https://doi.org/10.1007/978-3-540-72952-5_14https://dblp.org/rec/conf/fmoods/GrandySR07URL#5540878Ludovic HenrioFlorian KammüllerA Mechanized Model of the Theory of Objects.FMOODS190-2052007Conference and Workshop Papersopenconf/fmoods/HenrioK0710.1007/978-3-540-72952-5_12https://doi.org/10.1007/978-3-540-72952-5_12https://dblp.org/rec/conf/fmoods/HenrioK07URL#5540879Mark Hills 0001Grigore RosuOn Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance.FMOODS107-1212007Conference and Workshop Papersopenconf/fmoods/HillsR0710.1007/978-3-540-72952-5_7https://doi.org/10.1007/978-3-540-72952-5_7https://dblp.org/rec/conf/fmoods/HillsR07URL#5540880Minyoung KimMark-Oliver StehrCarolyn L. TalcottNikil D. DuttNalini VenkatasubramanianA Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems.FMOODS285-3002007Conference and Workshop Papersopenconf/fmoods/KimSTDV0710.1007/978-3-540-72952-5_18https://doi.org/10.1007/978-3-540-72952-5_18https://dblp.org/rec/conf/fmoods/KimSTDV07URL#5540881Sun MengFarhad ArbabOn Resource-Sensitive Timed Component Connectors.FMOODS301-3162007Conference and Workshop Papersopenconf/fmoods/MengA0710.1007/978-3-540-72952-5_19https://doi.org/10.1007/978-3-540-72952-5_19https://dblp.org/rec/conf/fmoods/MengA07URL#5540882John MullinsRaveca OargaModel Checking of Extended OCL Constraints on UML Models in SOCLe.FMOODS59-752007Conference and Workshop Papersopenconf/fmoods/MullinsO0710.1007/978-3-540-72952-5_4https://doi.org/10.1007/978-3-540-72952-5_4https://dblp.org/rec/conf/fmoods/MullinsO07URL#5540883Peter Csaba ÖlveczkyStian ThorvaldsenFormal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude.FMOODS122-1402007Conference and Workshop Papersopenconf/fmoods/OlveczkyT0710.1007/978-3-540-72952-5_8https://doi.org/10.1007/978-3-540-72952-5_8https://dblp.org/rec/conf/fmoods/OlveczkyT07URL#5540884Arnd Poetzsch-HeffterJan Schäfer 0002A Representation-Independent Behavioral Semantics for Object-Oriented Components.FMOODS157-1732007Conference and Workshop Papersopenconf/fmoods/Poetzsch-HeffterS0710.1007/978-3-540-72952-5_10https://doi.org/10.1007/978-3-540-72952-5_10https://dblp.org/rec/conf/fmoods/Poetzsch-HeffterS07URL#5540885Pascal PoizatGwen SalaünAdaptation of Open Component-Based Systems.FMOODS141-1562007Conference and Workshop Papersopenconf/fmoods/PoizatS0710.1007/978-3-540-72952-5_9https://doi.org/10.1007/978-3-540-72952-5_9https://dblp.org/rec/conf/fmoods/PoizatS07URL#5540886Cristian PrisacariuGerardo SchneiderA Formal Language for Electronic Contracts.FMOODS174-1892007Conference and Workshop Papersopenconf/fmoods/PrisacariuS0710.1007/978-3-540-72952-5_11https://doi.org/10.1007/978-3-540-72952-5_11https://dblp.org/rec/conf/fmoods/PrisacariuS07URL#5540887Adrián Riesco 0001Alberto VerdejoDistributed Applications Implemented in Maude with Parameterized Skeletons.FMOODS91-1062007Conference and Workshop Papersopenconf/fmoods/RiescoV0710.1007/978-3-540-72952-5_6https://doi.org/10.1007/978-3-540-72952-5_6https://dblp.org/rec/conf/fmoods/RiescoV07URL#5540888Thomas RuhrothHeike WehrheimRefactoring Object-Oriented Specifications with Data and Processes.FMOODS236-2512007Conference and Workshop Papersopenconf/fmoods/RuhrothW0710.1007/978-3-540-72952-5_15https://doi.org/10.1007/978-3-540-72952-5_15https://dblp.org/rec/conf/fmoods/RuhrothW07URL#5540889Marcello M. BonsangueEinar Broch JohnsenFormal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, ProceedingsFMOODSLecture Notes in Computer Science4468Springer2007Editorshipconf/fmoods/200710.1007/978-3-540-72952-5https://doi.org/10.1007/978-3-540-72952-5https://dblp.org/rec/conf/fmoods/2007URL#5621029Erika ÁbrahámAndreas GrünerMartin SteffenAbstract Interface Behavior of Object-Oriented Languages with Monitors.FMOODS218-2322006Conference and Workshop Papersopenconf/fmoods/AbrahamGS0610.1007/11768869_17https://doi.org/10.1007/11768869_17https://dblp.org/rec/conf/fmoods/AbrahamGS06URL#5726326Massimo BartolettiPierpaolo DeganoGian-Luigi Ferrari 0002Security Issues in Service Composition.FMOODS1-162006Conference and Workshop Papersopenconf/fmoods/BartolettiDF0610.1007/11768869_1https://doi.org/10.1007/11768869_1https://dblp.org/rec/conf/fmoods/BartolettiDF06URL#5726327Carlos CanalPascal PoizatGwen SalaünSynchronizing Behavioural Mismatch in Software Composition.FMOODS63-772006Conference and Workshop Papersopenconf/fmoods/CanalPS0610.1007/11768869_7https://doi.org/10.1007/11768869_7https://dblp.org/rec/conf/fmoods/CanalPS06URL#5726328Heeseok ChoiKeunhyuk YeomYouhee ChoiMikyeong MoonAn Approach to Quality Achievement at the Architectural Level: AQUA.FMOODS20-322006Conference and Workshop Papersopenconf/fmoods/ChoiYCM0610.1007/11768869_4https://doi.org/10.1007/11768869_4https://dblp.org/rec/conf/fmoods/ChoiYCM06URL#5726329Carlos Enrique Cuesta QuinteroMaría del Pilar RomayPablo de la FuenteManuel Barrio-SolórzanoTemporal Superimposition of Aspects for Dynamic Software Architecture.FMOODS93-1072006Conference and Workshop Papersopenconf/fmoods/CuestaRFB0610.1007/11768869_9https://doi.org/10.1007/11768869_9https://dblp.org/rec/conf/fmoods/CuestaRFB06URL#5726330Karsten EhrigJochen Malte KüsterGabriele TaentzerJessica WinkelmannGenerating Instance Models from Meta Models.FMOODS156-1702006Conference and Workshop Papersopenconf/fmoods/EhrigKTW0610.1007/11768869_13https://doi.org/10.1007/11768869_13https://dblp.org/rec/conf/fmoods/EhrigKTW06URL#5726331José Luiz FiadeiroSeparating Distribution from Coordination and Computation as Architectural Dimensions.FMOODS172006Conference and Workshop Papersopenconf/fmoods/Fiadeiro0610.1007/11768869_2https://doi.org/10.1007/11768869_2https://dblp.org/rec/conf/fmoods/Fiadeiro06URL#5726332Pierre-Loïc GarocheMarc PantelXavier ThiriouxStatic Safety for an Actor Dedicated Process Calculus by Abstract Interpretation.FMOODS78-922006Conference and Workshop Papersopenconf/fmoods/GarochePT0610.1007/11768869_8https://doi.org/10.1007/11768869_8https://dblp.org/rec/conf/fmoods/GarochePT06URL#5726333Claudio GuidiRoberto LucchiMobility Mechanisms in Service Oriented Computing.FMOODS233-2502006Conference and Workshop Papersopenconf/fmoods/GuidiL0610.1007/11768869_18https://doi.org/10.1007/11768869_18https://dblp.org/rec/conf/fmoods/GuidiL06URL#5726334Frédéric JouaultJean BézivinKM3: A DSL for Metamodel Specification.FMOODS171-1852006Conference and Workshop Papersopenconf/fmoods/JouaultB0610.1007/11768869_14https://doi.org/10.1007/11768869_14https://dblp.org/rec/conf/fmoods/JouaultB06URL#5726335Harmen KastenbergAnneke KleppeArend RensinkDefining Object-Oriented Execution Semantics Using Graph Transformations.FMOODS186-2012006Conference and Workshop Papersopenconf/fmoods/KastenbergKR0610.1007/11768869_15https://doi.org/10.1007/11768869_15https://dblp.org/rec/conf/fmoods/KastenbergKR06URL#5726336Ruggero LanotteAndrea Maggiolo-SchettiniPaolo MilazzoAngelo TroinaModeling Long-Running Transactions with Communicating Hierarchical Timed Automata.FMOODS108-1222006Conference and Workshop Papersopenconf/fmoods/LanotteMMT0610.1007/11768869_10https://doi.org/10.1007/11768869_10https://dblp.org/rec/conf/fmoods/LanotteMMT06URL#5726337Iulian OberSusanne GrafDavid LesensModeling and Validation of a Software Architecture for the Ariane-5 Launcher.FMOODS48-622006Conference and Workshop Papersopenconf/fmoods/OberGL0610.1007/11768869_6https://doi.org/10.1007/11768869_6https://dblp.org/rec/conf/fmoods/OberGL06URL#5726338Pascal PoizatJean-Claude RoyerGwen SalaünBounded Analysis and Decomposition for Behavioural Descriptions of Components.FMOODS33-472006Conference and Workshop Papersopenconf/fmoods/PoizatRS0610.1007/11768869_5https://doi.org/10.1007/11768869_5https://dblp.org/rec/conf/fmoods/PoizatRS06URL#5726339Geguang PuHuibiao ZhuZongyan QiuShuling WangXiangpeng ZhaoJifeng He 0001Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service.FMOODS251-2662006Conference and Workshop Papersopenconf/fmoods/PuZQWZH0610.1007/11768869_19https://doi.org/10.1007/11768869_19https://dblp.org/rec/conf/fmoods/PuZQWZH06URL#5726340Rodrigo RamosAugusto SampaioAlexandre Mota 0001Transformation Laws for UML-RT.FMOODS123-1372006Conference and Workshop Papersopenconf/fmoods/RamosSM0610.1007/11768869_11https://doi.org/10.1007/11768869_11https://dblp.org/rec/conf/fmoods/RamosSM06URL#5726341Atle RefsdalRagnhild Kobro RundeKetil StølenUnderspecification, Inherent Nondeterminism and Probability in Sequence Diagrams.FMOODS138-1552006Conference and Workshop Papersopenconf/fmoods/RefsdalRS0610.1007/11768869_12https://doi.org/10.1007/11768869_12https://dblp.org/rec/conf/fmoods/RefsdalRS06URL#5726342Davide SangiorgiThe Bisimulation Proof Method: Enhancements and Open Problems.FMOODS18-192006Conference and Workshop Papersopenconf/fmoods/Sangiorgi0610.1007/11768869_3https://doi.org/10.1007/11768869_3https://dblp.org/rec/conf/fmoods/Sangiorgi06URL#5726343Ingrid Chieh YuEinar Broch JohnsenOlaf OweType-Safe Runtime Class Upgrades in Creol.FMOODS202-2172006Conference and Workshop Papersopenconf/fmoods/YuJO0610.1007/11768869_16https://doi.org/10.1007/11768869_16https://dblp.org/rec/conf/fmoods/YuJO06URL#5726344Roberto GorrieriHeike WehrheimFormal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, ProceedingsFMOODSLecture Notes in Computer Science4037Springer2006Editorshipconf/fmoods/200610.1007/11768869https://doi.org/10.1007/11768869https://dblp.org/rec/conf/fmoods/2006URL#5799183Lucia AcciaiMichele BorealeXPi: A Typed Process Calculus for XML Messaging.FMOODS47-662005Conference and Workshop Papersopenconf/fmoods/AcciaiB0510.1007/11494881_4https://doi.org/10.1007/11494881_4https://dblp.org/rec/conf/fmoods/AcciaiB05URL#5892354Philippe BidingerAlan SchmittJean-Bernard StefaniAn Abstract Machine for the Kell Calculus.FMOODS31-462005Conference and Workshop Papersopenconf/fmoods/BidingerSS0510.1007/11494881_3https://doi.org/10.1007/11494881_3https://dblp.org/rec/conf/fmoods/BidingerSS05URL#5892355Nadia BusiLuca PadovaniA Distributed Implementation of Mobile Nets as Mobile Agents.FMOODS259-2742005Conference and Workshop Papersopenconf/fmoods/BusiP0510.1007/11494881_17https://doi.org/10.1007/11494881_17https://dblp.org/rec/conf/fmoods/BusiP05URL#5892356Sibusisiwe ChiyangwaMarta Z. KwiatkowskaA Timing Analysis of AODV.FMOODS306-3212005Conference and Workshop Papersopenconf/fmoods/ChiyangwaK0510.1007/11494881_20https://doi.org/10.1007/11494881_20https://dblp.org/rec/conf/fmoods/ChiyangwaK05URL#5892357Ricardo CorinGaetano Di CaprioSandro EtalleStefania GnesiGabriele LenziniCorrado MoisoA Formal Security Analysis of an OSA/Parlay Authentication Interface.FMOODS131-1462005Conference and Workshop Papersopenconf/fmoods/CorinCEGLM0510.1007/11494881_9https://doi.org/10.1007/11494881_9https://dblp.org/rec/conf/fmoods/CorinCEGLM05URL#5892358Rolf HennickerMatthias Ludwig 0002Property-Driven Development of a Coordination Model for Distributed Simulations.FMOODS290-3052005Conference and Workshop Papersopenconf/fmoods/HennickerL0510.1007/11494881_19https://doi.org/10.1007/11494881_19https://dblp.org/rec/conf/fmoods/HennickerL05URL#5892359Einar Broch JohnsenOlaf OweIsabelle Simplot-RylA Dynamic Class Construct for Asynchronous Concurrent Objects.FMOODS15-302005Conference and Workshop Papersopenconf/fmoods/JohnsenOS0510.1007/11494881_2https://doi.org/10.1007/11494881_2https://dblp.org/rec/conf/fmoods/JohnsenOS05URL#5892360Marcel KyasAn Extended Type System for OCL Supporting Templates and Transformations.FMOODS83-982005Conference and Workshop Papersopenconf/fmoods/Kyas0510.1007/11494881_6https://doi.org/10.1007/11494881_6https://dblp.org/rec/conf/fmoods/Kyas05URL#5892361Fabio MartinelliTowards an Integrated Formal Analysis for Security and Trust.FMOODS115-1302005Conference and Workshop Papersopenconf/fmoods/Martinelli0510.1007/11494881_8https://doi.org/10.1007/11494881_8https://dblp.org/rec/conf/fmoods/Martinelli05URL#5892362Rocco De NicolaDaniele GorlaRosario PugliesePattern Matching over a Dynamic Network of Tuple Spaces.FMOODS1-142005Conference and Workshop Papersopenconf/fmoods/NicolaGP0510.1007/11494881_1https://doi.org/10.1007/11494881_1https://dblp.org/rec/conf/fmoods/NicolaGP05URL#5892363Martín López NoresJosé Juan Pazos-AriasJorge García DuqueAna Belén Barragáns-MartínezRebeca P. Díaz RedondoAna Fernández VilasAlberto Gil-SollaManuel Ramos CabrerTracing Integration Analysis in Component-Based Formal Specifications.FMOODS147-1622005Conference and Workshop Papersopenconf/fmoods/NoresADBDVGC0510.1007/11494881_10https://doi.org/10.1007/11494881_10https://dblp.org/rec/conf/fmoods/NoresADBDVGC05URL#5892364Renaud PawlakLaurence DuchienLionel SeinturierCompAr: Ensuring Safe Around Advice Composition.FMOODS163-1782005Conference and Workshop Papersopenconf/fmoods/PawlakDS0510.1007/11494881_11https://doi.org/10.1007/11494881_11https://dblp.org/rec/conf/fmoods/PawlakDS05URL#5892365Rodrigo RamosAugusto SampaioAlexandre Mota 0001A Semantics for UML-RT Active Classes via Mapping into Circus.FMOODS99-1142005Conference and Workshop Papersopenconf/fmoods/RamosSM0510.1007/11494881_7https://doi.org/10.1007/11494881_7https://dblp.org/rec/conf/fmoods/RamosSM05URL#5892366Holger RaschHeike WehrheimChecking the Validity of Scenarios in UML Models.FMOODS67-822005Conference and Workshop Papersopenconf/fmoods/RaschW0510.1007/11494881_5https://doi.org/10.1007/11494881_5https://dblp.org/rec/conf/fmoods/RaschW05URL#5892367Wolfgang ReisigModeling- and Analysis Techniques for Web Services and Business Processes.FMOODS243-2582005Conference and Workshop Papersopenconf/fmoods/Reisig0510.1007/11494881_16https://doi.org/10.1007/11494881_16https://dblp.org/rec/conf/fmoods/Reisig05URL#5892368Andreas Roth 0002Specification and Verification of Encapsulation in Java Programs.FMOODS195-2102005Conference and Workshop Papersopenconf/fmoods/Roth0510.1007/11494881_13https://doi.org/10.1007/11494881_13https://dblp.org/rec/conf/fmoods/Roth05URL#5892369Koushik SenGrigore RosuGul AghaDetecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions.FMOODS211-2262005Conference and Workshop Papersopenconf/fmoods/SenRA0510.1007/11494881_14https://doi.org/10.1007/11494881_14https://dblp.org/rec/conf/fmoods/SenRA05URL#5892370Hoang Truong 0001Guaranteeing Resource Bounds for Component Software.FMOODS179-1942005Conference and Workshop Papersopenconf/fmoods/Truong0510.1007/11494881_12https://doi.org/10.1007/11494881_12https://dblp.org/rec/conf/fmoods/Truong05URL#5892371Alberto VerdejoNarciso Martí-OlietTomás Robles 0001Joaquín SalvachúaLuis LlanaMargarita BradleyTransforming Information in RDF to Rewriting Logic.FMOODS227-2422005Conference and Workshop Papersopenconf/fmoods/VerdejoMRSLB0510.1007/11494881_15https://doi.org/10.1007/11494881_15https://dblp.org/rec/conf/fmoods/VerdejoMRSLB05URL#5892372Pawel T. WojciechowskiOlivier RüttiOn Correctness of Dynamic Protocol Update.FMOODS275-2892005Conference and Workshop Papersopenconf/fmoods/WojciechowskiR0510.1007/11494881_18https://doi.org/10.1007/11494881_18https://dblp.org/rec/conf/fmoods/WojciechowskiR05URL#5892373Martin SteffenGianluigi ZavattaroFormal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, ProceedingsFMOODSLecture Notes in Computer Science3535Springer2005Editorshipconf/fmoods/200510.1007/B136996https://doi.org/10.1007/b136996https://dblp.org/rec/conf/fmoods/2005URL#5957235Erika ÁbrahámFrank S. de BoerWillem P. de RoeverMartin SteffenInductive Proof Outlines for Monitors in Java.FMOODS155-1692003Conference and Workshop Papersclosedconf/fmoods/AbrahamBRS0310.1007/978-3-540-39958-2_11https://doi.org/10.1007/978-3-540-39958-2_11https://dblp.org/rec/conf/fmoods/AbrahamBRS03URL#6165127David H. AkehurstJohn DerrickA. Gill WatersDesign and Verification of Distributed Multi-media Systems.FMOODS176-2922003Conference and Workshop Papersclosedconf/fmoods/AkehurstDW0310.1007/978-3-540-39958-2_19https://doi.org/10.1007/978-3-540-39958-2_19https://dblp.org/rec/conf/fmoods/AkehurstDW03URL#6165128Philippe BidingerJean-Bernard StefaniThe Kell Calculus: Operational Semantics and Type System.FMOODS109-1232003Conference and Workshop Papersclosedconf/fmoods/BidingerS0310.1007/978-3-540-39958-2_8https://doi.org/10.1007/978-3-540-39958-2_8https://dblp.org/rec/conf/fmoods/BidingerS03URL#6165129Laura BocchiCosimo LaneveGianluigi ZavattaroA Calculus for Long-Running Transactions.FMOODS124-1382003Conference and Workshop Papersclosedconf/fmoods/BocchiLZ0310.1007/978-3-540-39958-2_9https://doi.org/10.1007/978-3-540-39958-2_9https://dblp.org/rec/conf/fmoods/BocchiLZ03URL#6165130Matthias ColinXavier ThiriouxMarc PantelTemporal Logic Based Static Analysis for Non-uniform Behaviours.FMOODS94-1082003Conference and Workshop Papersclosedconf/fmoods/ColinTP0310.1007/978-3-540-39958-2_7https://doi.org/10.1007/978-3-540-39958-2_7https://dblp.org/rec/conf/fmoods/ColinTP03URL#6165131Fernando Luís DottiLuciana FossLeila Ribeiro 0001Osmar Marchi dos SantosVerification of Distributed Object-Based Systems.FMOODS261-2752003Conference and Workshop Papersclosedconf/fmoods/DottiFRS0310.1007/978-3-540-39958-2_18https://doi.org/10.1007/978-3-540-39958-2_18https://dblp.org/rec/conf/fmoods/DottiFRS03URL#6165132Susan EisenbachVladimir JurisicChris SadlerManaging the Evolution of .NET Programs.FMOODS185-1982003Conference and Workshop Papersclosedconf/fmoods/EisenbachJS0310.1007/978-3-540-39958-2_13https://doi.org/10.1007/978-3-540-39958-2_13https://dblp.org/rec/conf/fmoods/EisenbachJS03URL#6165133Ana Paula Lüdtke FerreiraLeila Ribeiro 0001Towards Object-Oriented Graphs and Grammars.FMOODS16-312003Conference and Workshop Papersclosedconf/fmoods/FerreiraR0310.1007/978-3-540-39958-2_2https://doi.org/10.1007/978-3-540-39958-2_2https://dblp.org/rec/conf/fmoods/FerreiraR03URL#6165134Roberto GorrieriFabio MartinelliMarinella PetrocchiAnna VaccarelliFormal Anaylsis of Some Timed Security Properties in Wireless Protocols.FMOODS139-1542003Conference and Workshop Papersclosedconf/fmoods/GorrieriMPV0310.1007/978-3-540-39958-2_10https://doi.org/10.1007/978-3-540-39958-2_10https://dblp.org/rec/conf/fmoods/GorrieriMPV03URL#6165135Bart Jacobs 0001Java's Integral Types in PVS.FMOODS1-152003Conference and Workshop Papersclosedconf/fmoods/Jacobs0310.1007/978-3-540-39958-2_1https://doi.org/10.1007/978-3-540-39958-2_1https://dblp.org/rec/conf/fmoods/Jacobs03URL#6165136Nirman KumarKoushik SenJosé Meseguer 0001Gul AghaA Rewriting Based Model for Probabilistic Distributed Object Systems.FMOODS32-462003Conference and Workshop Papersclosedconf/fmoods/KumarSMA0310.1007/978-3-540-39958-2_3https://doi.org/10.1007/978-3-540-39958-2_3https://dblp.org/rec/conf/fmoods/KumarSMA03URL#6165137Diego LatellaMieke MassinkOn Mobility Extensions of UML Statecharts. A Pragmatic Approach.FMOODS199-2132003Conference and Workshop Papersclosedconf/fmoods/LatellaM0310.1007/978-3-540-39958-2_14https://doi.org/10.1007/978-3-540-39958-2_14https://dblp.org/rec/conf/fmoods/LatellaM03URL#6165138Christophe LohrLudovic ApvrillePierre de Saqui-SannesJean-Pierre CourtiatNew Operators for the TURTLE Real-Time UML Profile.FMOODS214-2282003Conference and Workshop Papersclosedconf/fmoods/LohrASC0310.1007/978-3-540-39958-2_15https://doi.org/10.1007/978-3-540-39958-2_15https://dblp.org/rec/conf/fmoods/LohrASC03URL#6165139Kazuhiro Ogata 0001Kokichi FutatsugiProof Scores in the OTS/CafeOBJ Method.FMOODS170-1842003Conference and Workshop Papersclosedconf/fmoods/OgataF0310.1007/978-3-540-39958-2_12https://doi.org/10.1007/978-3-540-39958-2_12https://dblp.org/rec/conf/fmoods/OgataF03URL#6165140Cees PierikFrank S. de BoerA Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts.FMOODS64-782003Conference and Workshop Papersclosedconf/fmoods/PierikB0310.1007/978-3-540-39958-2_5https://doi.org/10.1007/978-3-540-39958-2_5https://dblp.org/rec/conf/fmoods/PierikB03URL#6165141Andreas Prinz 0001Martin von LöwisEngineering the SDL Formal Language Definition.FMOODS47-632003Conference and Workshop Papersclosedconf/fmoods/PrinzL0310.1007/978-3-540-39958-2_4https://doi.org/10.1007/978-3-540-39958-2_4https://dblp.org/rec/conf/fmoods/PrinzL03URL#6165142Holger RaschHeike WehrheimChecking Consistency in UML Diagramms: Classes and State Machines.FMOODS229-2432003Conference and Workshop Papersclosedconf/fmoods/RaschW0310.1007/978-3-540-39958-2_16https://doi.org/10.1007/978-3-540-39958-2_16https://dblp.org/rec/conf/fmoods/RaschW03URL#6165143Frederic TronelFrédéric LangHubert GaravelCompositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components.FMOODS244-2602003Conference and Workshop Papersclosedconf/fmoods/TronelLG0310.1007/978-3-540-39958-2_17https://doi.org/10.1007/978-3-540-39958-2_17https://dblp.org/rec/conf/fmoods/TronelLG03URL#6165144Heike WehrheimInheritance of Temporal Logic Properties.FMOODS79-932003Conference and Workshop Papersclosedconf/fmoods/Wehrheim0310.1007/978-3-540-39958-2_6https://doi.org/10.1007/978-3-540-39958-2_6https://dblp.org/rec/conf/fmoods/Wehrheim03URL#6165145Elie NajmUwe NestmannPerdita StevensFormal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, ProceedingsFMOODSLecture Notes in Computer Science2884Springer2003Editorshipconf/fmoods/200310.1007/B94120https://doi.org/10.1007/b94120https://dblp.org/rec/conf/fmoods/2003URL#6212567Lynne BlairTrevor JonesStephan Reiff-MarganiecA Feature Manager Approach to the Analysis of Component-Interactions.FMOODS233-2482002Conference and Workshop Papersunavailableconf/fmoods/BlairJR02https://dblp.org/rec/conf/fmoods/BlairJR02URL#6271162Frank S. de BoerCees PierikComputer-aided Specification and Verification of Annotated Object-Oriented Programs.FMOODS163-1772002Conference and Workshop Papersunavailableconf/fmoods/BoerP02https://dblp.org/rec/conf/fmoods/BoerP02URL#6271163Chiara BraghinAgostino CortesiRiccardo FocardiControl Flow Analysis of Mobile Ambients with Security Boundaries.FMOODS197-2122002Conference and Workshop Papersunavailableconf/fmoods/BraghinCF02https://dblp.org/rec/conf/fmoods/BraghinCF02URL#6271164Sébastien BriaisUwe NestmannMobile Objects "Must" Move Safely.FMOODS129-1462002Conference and Workshop Papersunavailableconf/fmoods/BriaisN02https://dblp.org/rec/conf/fmoods/BriaisN02URL#6271165Matthew B. DwyerSoftware Model Checking: The Bandera approach.FMOODS3-42002Conference and Workshop Papersunavailableconf/fmoods/Dwyer02https://dblp.org/rec/conf/fmoods/Dwyer02URL#6271166Nabil HameurlainBehavioural Subtyping and Property Preservation for Active Objects.FMOODS95-1102002Conference and Workshop Papersunavailableconf/fmoods/Hameurlain02https://dblp.org/rec/conf/fmoods/Hameurlain02URL#6271167Einar Broch JohnsenOlaf OweA Compositional Formalism for Object Viewpoints.FMOODS45-602002Conference and Workshop Papersunavailableconf/fmoods/JohnsenO02https://dblp.org/rec/conf/fmoods/JohnsenO02URL#6271168Jan JürjensFormal Semantics for Interacting UML subsystems.FMOODS29-432002Conference and Workshop Papersunavailableconf/fmoods/Jurjens02https://dblp.org/rec/conf/fmoods/Jurjens02URL#6271169Kazuhiro Ogata 0001Kokichi FutatsugiFormal Analysis of Suzuki & Kasami Distributed Mutual Exclusion Algorithm.FMOODS181-1952002Conference and Workshop Papersunavailableconf/fmoods/OgataF02https://dblp.org/rec/conf/fmoods/OgataF02URL#6271170Heinz W. SchmidtRalf H. ReussnerGenerating Adapters for Concurrent Component Protocol Synchronisation.FMOODS213-2292002Conference and Workshop Papersunavailableconf/fmoods/SchmidtR02https://dblp.org/rec/conf/fmoods/SchmidtR02URL#6271171Steve A. SchneiderVerifying Authentication Protocol Implementations.FMOODS5-242002Conference and Workshop Papersunavailableconf/fmoods/Schneider02https://dblp.org/rec/conf/fmoods/Schneider02URL#6271172Abhishek SinghJonathan BillingtonA Formal Service Specification for IIOP based on ISO/IEC 14752.FMOODS111-1252002Conference and Workshop Papersunavailableconf/fmoods/SinghB02https://dblp.org/rec/conf/fmoods/SinghB02URL#6271173Gabriele TaentzerA Visual Modeling Framework for Distributed Object Computing.FMOODS263-2782002Conference and Workshop Papersunavailableconf/fmoods/Taentzer02https://dblp.org/rec/conf/fmoods/Taentzer02URL#6271174Carolyn L. TalcottA Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services.FMOODS25-262002Conference and Workshop Papersunavailableconf/fmoods/Talcott02https://dblp.org/rec/conf/fmoods/Talcott02URL#6271175Chris TaylorEerke A. BoitenJohn DerrickInterpreting ODP Viewpoint Specification: Observations from a Case Study.FMOODS61-762002Conference and Workshop Papersunavailableconf/fmoods/TaylorBD02https://dblp.org/rec/conf/fmoods/TaylorBD02URL#6271176Prasannaa ThatiReza ZiaeiGul AghaA Theory of May Testing for Actors.FMOODS147-1622002Conference and Workshop Papersunavailableconf/fmoods/ThatiZA02https://dblp.org/rec/conf/fmoods/ThatiZA02URL#6271177Yanjie WangChris GeorgeSupporting Collaborative Design.FMOODS249-2622002Conference and Workshop Papersunavailableconf/fmoods/WangG02https://dblp.org/rec/conf/fmoods/WangG02URL#6271178Heike WehrheimChecking Behavioural Subtypes via Refinement.FMOODS79-932002Conference and Workshop Papersunavailableconf/fmoods/Wehrheim02https://dblp.org/rec/conf/fmoods/Wehrheim02URL#6271179Bart Jacobs 0001Arend RensinkFormal Methods for Open Object-Based Distributed Systems V, IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The NetherlandsFMOODSIFIP Conference Proceedings209Kluwer2002Editorshipunavailableconf/fmoods/2002https://dblp.org/rec/conf/fmoods/2002URL#6310953José Ambrosio Toval ÁlvarezJosé Luis Fernández AlemánFormally Modeling UML and its Evolution: A Holistic Approach.FMOODS183-2062000Conference and Workshop Papersclosedconf/fmoods/AlvarezA0010.1007/978-0-387-35520-7_9https://doi.org/10.1007/978-0-387-35520-7_9https://dblp.org/rec/conf/fmoods/AlvarezA00URL#6449080Isabelle AttaliDenis CaromelRomain GuiderA Step Toward Automatic Distribution of Java Programs.FMOODS141-1612000Conference and Workshop Papersclosedconf/fmoods/AttaliCG0010.1007/978-0-387-35520-7_7https://doi.org/10.1007/978-0-387-35520-7_7https://dblp.org/rec/conf/fmoods/AttaliCG00URL#6449081Luís Soares BarbosaComponents as Processes: An Exercise in Coalgebraic Modeling.FMOODS397-4172000Conference and Workshop Papersclosedconf/fmoods/Barbosa0010.1007/978-0-387-35520-7_20https://doi.org/10.1007/978-0-387-35520-7_20https://dblp.org/rec/conf/fmoods/Barbosa00URL#6449082Rémi BastideOusmane SyDavid NavarrePhilippe A. PalanqueA Formal Specification of the CORBA Event Service.FMOODS371-3952000Conference and Workshop Papersclosedconf/fmoods/BastideSNP0010.1007/978-0-387-35520-7_19https://doi.org/10.1007/978-0-387-35520-7_19https://dblp.org/rec/conf/fmoods/BastideSNP00URL#6449083Lynne BlairTrevor JonesGordon S. BlairStochastically Enhanced Timed Automata.FMOODS327-3472000Conference and Workshop Papersclosedconf/fmoods/BlairJB0010.1007/978-0-387-35520-7_17https://doi.org/10.1007/978-0-387-35520-7_17https://dblp.org/rec/conf/fmoods/BlairJB00URL#6449084Christie BoltonJim DaviesUsing Relational and Behavioural Semantics in the Verification of Object Models.FMOODS163-1822000Conference and Workshop Papersclosedconf/fmoods/BoltonD0010.1007/978-0-387-35520-7_8https://doi.org/10.1007/978-0-387-35520-7_8https://dblp.org/rec/conf/fmoods/BoltonD00URL#6449085Nadia BusiRoberto GorrieriGianluigi ZavattaroOn the Semantics of JavaSpaces.FMOODS3-192000Conference and Workshop Papersclosedconf/fmoods/BusiGZ0010.1007/978-0-387-35520-7_1https://doi.org/10.1007/978-0-387-35520-7_1https://dblp.org/rec/conf/fmoods/BusiGZ00URL#6449086John DerrickEerke A. BoitenRefinement of objects and operations in Object-Z.FMOODS257-2772000Conference and Workshop Papersclosedconf/fmoods/DerrickB0010.1007/978-0-387-35520-7_13https://doi.org/10.1007/978-0-387-35520-7_13https://dblp.org/rec/conf/fmoods/DerrickB00URL#6449087Dino DistefanoJoost-Pieter KatoenArend RensinkOn a Temporal Logic for Object-Based Systems.FMOODS305-3252000Conference and Workshop Papersclosedconf/fmoods/DistefanoKR0010.1007/978-0-387-35520-7_16https://doi.org/10.1007/978-0-387-35520-7_16https://dblp.org/rec/conf/fmoods/DistefanoKR00URL#6449088Fernando Luís DottiLeila Ribeiro 0001Specification of Mobile Code Systems using Graph Grammars.FMOODS45-642000Conference and Workshop Papersclosedconf/fmoods/DottiR0010.1007/978-0-387-35520-7_3https://doi.org/10.1007/978-0-387-35520-7_3https://dblp.org/rec/conf/fmoods/DottiR00URL#6449089Dominic DugganAtomic Failure in Wide-Area Computation.FMOODS65-862000Conference and Workshop Papersclosedconf/fmoods/Duggan0010.1007/978-0-387-35520-7_4https://doi.org/10.1007/978-0-387-35520-7_4https://dblp.org/rec/conf/fmoods/Duggan00URL#6449090Rik EshuisRoel J. WieringaRequirements Level Semantics for UML Statecharts.FMOODS121-1402000Conference and Workshop Papersclosedconf/fmoods/EshuisW0010.1007/978-0-387-35520-7_6https://doi.org/10.1007/978-0-387-35520-7_6https://dblp.org/rec/conf/fmoods/EshuisW00URL#6449091Tomasz JanowskiWojciech I. MostowskiFail-Stop Components by Pattern Matching.FMOODS351-3702000Conference and Workshop Papersclosedconf/fmoods/JanowskiM0010.1007/978-0-387-35520-7_18https://doi.org/10.1007/978-0-387-35520-7_18https://dblp.org/rec/conf/fmoods/JanowskiM00URL#6449092Alan H. KarpE-speak: the Technology for Ubiquitous E-services.FMOODS2812000Conference and Workshop Papersclosedconf/fmoods/Karp0010.1007/978-0-387-35520-7_14https://doi.org/10.1007/978-0-387-35520-7_14https://dblp.org/rec/conf/fmoods/Karp00URL#6449093Charles LakosGlenn LewisA Practical Approach to Incremental Specification.FMOODS233-2562000Conference and Workshop Papersclosedconf/fmoods/LakosL0010.1007/978-0-387-35520-7_12https://doi.org/10.1007/978-0-387-35520-7_12https://dblp.org/rec/conf/fmoods/LakosL00URL#6449094José Meseguer 0001Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems.FMOODS89-1172000Conference and Workshop Papersclosedconf/fmoods/Meseguer0010.1007/978-0-387-35520-7_5https://doi.org/10.1007/978-0-387-35520-7_5https://dblp.org/rec/conf/fmoods/Meseguer00URL#6449095Jayadev MisraObject-Oriented Programming for Wide-Area Computing.FMOODS2092000Conference and Workshop Papersclosedconf/fmoods/Misra0010.1007/978-0-387-35520-7_10https://doi.org/10.1007/978-0-387-35520-7_10https://dblp.org/rec/conf/fmoods/Misra00URL#6449096Jean-Bernard StefaniFlorence GermainElie NajmElements of an object-based model for distributed and mobile computation.FMOODS23-432000Conference and Workshop Papersclosedconf/fmoods/StefaniGN0010.1007/978-0-387-35520-7_2https://doi.org/10.1007/978-0-387-35520-7_2https://dblp.org/rec/conf/fmoods/StefaniGN00URL#6449097Yunming WangBehavior Expression and OMDD.FMOODS285-3042000Conference and Workshop Papersclosedconf/fmoods/Wang0010.1007/978-0-387-35520-7_15https://doi.org/10.1007/978-0-387-35520-7_15https://dblp.org/rec/conf/fmoods/Wang00URL#6449098Heike WehrheimBehavioural Subtyping and Property Preservation.FMOODS213-2312000Conference and Workshop Papersclosedconf/fmoods/Wehrheim0010.1007/978-0-387-35520-7_11https://doi.org/10.1007/978-0-387-35520-7_11https://dblp.org/rec/conf/fmoods/Wehrheim00URL#6449099Scott F. Smith 0001Carolyn L. TalcottFormal Methods for Open Object-Based Distributed Systems IV, IFIF TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USAFMOODSIFIP Conference Proceedings177Kluwer2000Editorshipunavailableconf/fmoods/2000https://dblp.org/rec/conf/fmoods/2000URL#6479213C. BalzarottiFiorella de CindioLucia PomelloObservation equivalences for the semantics of inheritance.FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/BalzarottiCP99https://dblp.org/rec/conf/fmoods/BalzarottiCP99URL#6522949Lynne BlairGordon S. BlairComposition in Multiparadigm Specification Techniques.FMOODS401-4171999Conference and Workshop Papersunavailableconf/fmoods/BlairB99https://dblp.org/rec/conf/fmoods/BlairB99URL#6522950Frank S. de BoerReasoning about Histories in Object-based Distributed Systems.FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/Boer99https://dblp.org/rec/conf/fmoods/Boer99URL#6522951Tommaso BolognesiAndrea BraccialiFormal specification of discrete systems by active predicates and dynamic constraints (Short Paper).FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/BolognesiB99https://dblp.org/rec/conf/fmoods/BolognesiB99URL#6522952Marcello M. BonsangueJoost N. KokKaisa SereDeveloping Object-based Distributed Systems.FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/BonsangueKS99https://dblp.org/rec/conf/fmoods/BonsangueKS99URL#6522953Marc BornAndreas Hoffmann 0001Mang LiIna SchieferdeckerCombining Design Methods for Service Development (Short Paper).FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/BornHLS99https://dblp.org/rec/conf/fmoods/BornHLS99URL#6522954Howard BowmanJohn DerrickA Junction between State Based and Behavioural Specification (Invited Talk).FMOODS213-2391999Conference and Workshop Papersunavailableconf/fmoods/BowmanD99https://dblp.org/rec/conf/fmoods/BowmanD99URL#6522955Jan M. BroersenRoel J. WieringaA Logic for the Specification of Multi-Object Systems (Short Paper).FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/BroersenW99https://dblp.org/rec/conf/fmoods/BroersenW99URL#6522956Nadia BusiMobile Nets.FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/Busi99https://dblp.org/rec/conf/fmoods/Busi99URL#6522957Ercument CanverFriedrich W. von HenkeFormal Development of Object-Based Systems in a Temporal Logic Setting.FMOODS419-4361999Conference and Workshop Papersunavailableconf/fmoods/CanverH99https://dblp.org/rec/conf/fmoods/CanverH99URL#6522958Luca CardelliFoundations for Wide-Area Systems (Tutorial).FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/Cardelli99https://dblp.org/rec/conf/fmoods/Cardelli99URL#6522959Stelvio CimatoSpecifying component-based Java applications (Short Paper).FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/Cimato99https://dblp.org/rec/conf/fmoods/Cimato99URL#6522960Robert G. ClarkAna M. D. MoreiraSDL in Rigorus Object-Oriented Analysis (Short Paper).FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/ClarkM99https://dblp.org/rec/conf/fmoods/ClarkM99URL#6522961Jean-Louis ColaçoMarc PantelFabien DagnatPatrick SalléStatic safety analysis for non-uniform service availability in Actors.FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/ColacoPDS99https://dblp.org/rec/conf/fmoods/ColacoPDS99URL#6522962Werner DammDavid HarelLSCs: Breathing Life into Message Sequence Charts.FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/DammH99https://dblp.org/rec/conf/fmoods/DammH99URL#6522963Khalil DriraFrédéric GouëzecMichel DiazDesign and implementation of coordination protocols for distributed cooperating objects: A general graph-based technique applied to CORBA.FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/DriraGD99https://dblp.org/rec/conf/fmoods/DriraGD99URL#6522964Mauro GaspariGianluigi ZavattaroAn Algebra of Actors.FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/GaspariZ99https://dblp.org/rec/conf/fmoods/GaspariZ99URL#6522965Birgit GeppertFrank RößlerReinhard GotzheinPattern Application vs. Inheritance in SDL.FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/GeppertRG99https://dblp.org/rec/conf/fmoods/GeppertRG99URL#6522966Naoki Kobayashi 0001Akinori YonezawaDistributed and concurrent objects based on linear logic (Invited Talk).FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/KobayashiY99https://dblp.org/rec/conf/fmoods/KobayashiY99URL#6522967Cosimo LaneveCalculi for Concurrent Objects (Tutorial).FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/Laneve99https://dblp.org/rec/conf/fmoods/Laneve99URL#6522968Diego LatellaIstván MajzikMieke MassinkTowards a Formal Operational Semantics of UML Statechart Diagrams.FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/LatellaMM99https://dblp.org/rec/conf/fmoods/LatellaMM99URL#6522969Claudia Linnhoff-PopienDirk Thißen 0001Assessing Service Properties with Regard to a Requested QoS: The Service Metric (Short Paper).FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/Linnhoff-PopienT99https://dblp.org/rec/conf/fmoods/Linnhoff-PopienT99URL#6522970Elie NajmAbdelkrim NimourJean-Bernard StefaniInfinite types for distributed object interfaces.FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/NajmNS99https://dblp.org/rec/conf/fmoods/NajmNS99URL#6522971Oscar NierstraszPiccola - A Small Compositional Language (Invited Talk).FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/Nierstrasz99https://dblp.org/rec/conf/fmoods/Nierstrasz99URL#6522972D. RamazaniGregor von BochmannObject Composition: A Case Study.FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/RamazaniB99https://dblp.org/rec/conf/fmoods/RamazaniB99URL#6522973Rick van ReinMaarten M. FokkingaProtocol Assuring Universal Language.FMOODS241-2581999Conference and Workshop Papersunavailableconf/fmoods/ReinF99https://dblp.org/rec/conf/fmoods/ReinF99URL#6522974Sriram SankarTools for Integrating Formal Methods in to the Java Software Development Process (Invited Talk).FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/Sankar99https://dblp.org/rec/conf/fmoods/Sankar99URL#6522975Richard O. SinnottMario KolbergEngineering Telecommunication Services With SDL.FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/SinnottK99https://dblp.org/rec/conf/fmoods/SinnottK99URL#6522976Scott F. Smith 0001Carolyn L. TalcottModular Reasoning for Actor Specification Diagrams.FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/SmithT99https://dblp.org/rec/conf/fmoods/SmithT99URL#6522977Ketil StølenSpecification of Dynamic Reconfiguration in the Context of Input/Output Relations.FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/Stoelen99https://dblp.org/rec/conf/fmoods/Stoelen99URL#6522978José M. TroyaAntonio VallecilloSpecifying Reusable Controllers for Software Components (Short Paper).FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/TroyaV99https://dblp.org/rec/conf/fmoods/TroyaV99URL#6522979S. VeglioniFrancesco Parisi-PresicceComposition and Interaction for Behavioural Specifications.FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/VeglioniP99https://dblp.org/rec/conf/fmoods/VeglioniP99URL#6522980Pamela ZaveDistributed Feature Composition: An Architecture for Telecommunication Services (Tutorial).FMOODS1999Conference and Workshop Papersunavailableconf/fmoods/Zave99https://dblp.org/rec/conf/fmoods/Zave99URL#6522981Paolo CiancariniAlessandro FantechiRoberto GorrieriFormal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, ItalyFMOODSIFIP Conference Proceedings139Kluwer1999Editorshipunavailableconf/fmoods/1999https://dblp.org/rec/conf/fmoods/1999URL#6550622