33 papers:
FM-2011-BoyerGS #configuration management #protocol #specification #verification- Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP (FB, OG, GS), pp. 103–117.
IFM-2010-MateescuS #π-calculus- Translating π-Calculus into LOTOS NT (RM, GS), pp. 229–244.
- FM-2008-PonsiniS #modelling #semantics
- A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS (OP, WS), pp. 278–293.
- IFM-2007-SalaunKLM #automaton #network
- Translating FSP into LOTOS and Networks of Automata (GS, JK, FL, JM), pp. 558–578.
- IFM-2005-SalaunS #algebra #hardware #process #standard
- Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS (GS, WS), pp. 287–306.
SEFM-2005-SadaniSC #framework #petri net #verification- From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform (TS, PdSS, JPC), pp. 250–260.
ICEIS-v3-2003-CarchioloLM #specification #using #workflow- Using Lotos in Workflow Specification (VC, AL, MM), pp. 364–369.
CC-2002-GaravelLM #compilation #using- Compiler Construction Using LOTOS NT (HG, FL, RM), pp. 9–13.
- FME-2001-CalderMS #logic
- An Adequate Logic for Full LOTOS (MC, SM, CS), pp. 384–395.
TestCom-2000-AmyotL- Structural Coverage For LOTOS — a Probe Insertion Technique (DA, LL), pp. 19–34.
CAiSE-1998-GasparyA #interactive #multi #named #specification- MUSE — An Interactive Networked Multimedia Applications Specification Environment with E-LOTOS Translator (LPG, MJBA), pp. 273–287.
ASE-1997-Pecheur #distributed #specification #using #verification- Specification and Verification of the Co4 Distributed Knowledge System using LOTOS (CP), pp. 63–70.
TACAS-1997-KrimmM #composition #generative #source code- Compositional State Space Generation from Lotos Programs (JPK, LM), pp. 239–258.
- FME-1997-BoitenBDS #case study #consistency
- Viewpoint Consistency in Z and LOTOS: A Case Study (EAB, HB, JD, MS), pp. 644–664.
- FME-1994-MartinT #verification
- Verification Techniques for LOTOS (UM, MT), pp. 83–92.
SEKE-1994-DuranteSV #protocol #specification- A LOTOS specification of the SERCOS field-bus protocol (LD, RS, AV), pp. 139–147.
ICSE-1994-Ardis #lessons learnt #using- Lessons from Using Basic LOTOS (MAA), pp. 5–14.
- ICSE-1994-YasumotoHT #process #using
- Software Process Description Using LOTOS and Its Enaction (KY, TH, KT), pp. 169–178.
- FME-1993-Hedlund #development #integration #object-oriented
- The Integration of LOTOS with an Object Oriented Development Method (MH), pp. 73–82.
- FME-1993-LeonYSCG #design #experience #industrial #prototype
- An Industrial Experience on LOTOS-Based Prototyping for Switching Systems Design (GL, JCY, CS, FJC, JJG), pp. 83–92.
- FME-1993-PickinYBSG #process #simulation
- Process Instances in LOTOS Simulation (SP, YY, WB, SS, TdG), pp. 521–540.
- FME-1993-VloedtB
- Integrating SA/RT with LOTOS (TvdV, KB), pp. 617–631.
- FME-1993-WidyaH #protocol #specification #towards
- Towards an Implementation-oriented Specification of TP Protocol in LOTOS (IW, GJvdH), pp. 93–109.
- IWPTS-1993-UlrichK #using
- Test Derivation from LOTOS Using Structure Information (AU, HK), pp. 279–293.
WSA-1992-GiannottiL #abstract interpretation #specification #using- Using Abstract Interpretation for Gate splitting in LOTOS Specifications (FG, DL), pp. 194–204.
- ICSE-1992-FernandezGMRRS #source code #verification
- A Toolbox for the Verification of LOTOS Programs (JCF, HG, LM, AR, CR, JS), pp. 246–259.
CAV-1992-RicoBC #model checking #realtime- Model-Checking for Real-Time Systems Specified in Lotos (NR, GvB, OC), pp. 288–301.
- IWPTS-1992-BurgtKP #generative #interactive #specification #testing
- Interactive Test Generation from LOTOS Specifications (SPvdB, JK, AMP), pp. 189–203.
- IWPTS-1992-CavalliMK #automation #consistency #formal method #generative #protocol #specification #testing
- Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications (ARC, PM, SUK), pp. 237–248.
- IWPTS-1992-HigashinoBLYT #parametricity #strict
- Test System for a Restricted Class of LOTOS Expressions with Data Parameters (TH, GvB, XL, KY, KT), pp. 205–216.
- CAV-1991-BarbeauB #approach #fault #petri net #using #verification
- The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach (MB, GvB), pp. 103–113.
WAGA-1990-Eijk #attribute grammar #prototype #tool support- Attribute Grammar Applications in Prototyping LOTOS Tools (PvE), pp. 91–100.
- CAV-1990-BarbeauB #specification
- Extension of the Karp and Miller Procedure to Lotos Specifications (MB, GvB), pp. 333–342.
