FTRTFT - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 215

2002

UPPAAL Implementation SecretsGerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi. ftrtft 2002: 3-22 [doi]

Parametric Verification of a Group Membership AlgorithmAhmed Bouajjani, Agathe Merceron. ftrtft 2002: 311-330 [doi]

Real-Time Operating Systems: Problems and Novel SolutionsGiorgio C. Buttazzo. ftrtft 2002: 37-52 [doi]

Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, ProceedingsWerner Damm, Ernst-Rüdiger Olderog, editors, Volume 2469 of Lecture Notes in Computer Science, Springer, 2002.

Eliminating Queues from RT UML Model RepresentationsWerner Damm, Bengt Jonsson. ftrtft 2002: 375-394 [doi]

Constructing Test Automata from Graphical Real-Time RequirementsHenning Dierks, Marc Lettrari. ftrtft 2002: 433-454 [doi]

Real-Time UMLBruce Powel Douglass. ftrtft 2002: 53-70 [doi]

Take It NP-Easy: Bounded Model Construction for Duration CalculusMartin Fränzle. ftrtft 2002: 245-264 [doi]

A Probabilistic Extension of UML StatechartsDavid N. Jansen, Holger Hermanns, Joost-Pieter Katoen. ftrtft 2002: 355-374 [doi]

Component-Based Synthesis of Dependable Embedded SoftwareArshad Jhumka, Martin Hiller, Neeraj Suri. ftrtft 2002: 111-128 [doi]

A Method for Testing the Conformance of Real Time SystemsAhmed Khoumsi. ftrtft 2002: 331-354 [doi]

Model Checking - Timed UML State Machines and CollaborationsAlexander Knapp, Stephan Merz, Christopher Rauh. ftrtft 2002: 395-416 [doi]

Eager Class Initialization for JavaDexter Kozen, Matthew Stillerman. ftrtft 2002: 71-80 [doi]

From the Specification to the Scheduling of Time-Dependent SystemsChristophe Lohr, Jean-Pierre Courtiat. ftrtft 2002: 129-146 [doi]

On Control with Bounded Computational ResourcesOded Maler, Bruce H. Krogh, Moez Mahfoudh. ftrtft 2002: 147-164 [doi]

Software Hazard and Safety AnalysisJohn A. McDermid. ftrtft 2002: 23-36 [doi]

Verification of Timed Automata via Satisfiability CheckingPeter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain. ftrtft 2002: 225-244 [doi]

A Typed Interrupt CalculusJens Palsberg, Di Ma. ftrtft 2002: 291-310 [doi]

Towards Bounded Model Checking for the Universal Fragment of TCTLWojciech Penczek, Bozena Wozna, Andrzej Zbrzezny. ftrtft 2002: 265-290 [doi]

Applications of Formal Methods in BiologyAmir Pnueli. ftrtft 2002: 81-82 [doi]

An Overview of Formal Verification for the Time-Triggered ArchitectureJohn M. Rushby. ftrtft 2002: 83-106 [doi]

Scheduler Modeling Based on the Controller Synthesis ParadigmJoseph Sifakis. ftrtft 2002: 107-110 [doi]

Fault Diagnosis for Timed AutomataStavros Tripakis. ftrtft 2002: 205-224 [doi]

Extending Timed Automaton and Real-Time Logic to Many-Valued ReasoningAna Fernández Vilas, José J. Pazos Arias, Rebeca P. Díaz Redondo. ftrtft 2002: 185-204 [doi]

Decidability of Safety Properties of Timed Multiset RewritingMitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya. ftrtft 2002: 165-184 [doi]

Partial Order Path Technique for Checking Parallel Timed AutomataJianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng. ftrtft 2002: 417-432 [doi]

2000

Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid AutomataMichaël Adélaïde, Olivier Roux. ftrtft 2000: 252-263 [doi]

A Methodology for the Construction of Scheduled SystemsKarine Altisen, Gregor Gößler, Joseph Sifakis. ftrtft 2000: 106-120 [doi]

Generalizing Action Systems to Hybrid SystemsRalph-Johan Back, Luigia Petre, Ivan Porres. ftrtft 2000: 202-213 [doi]

Verifying Universal Properties of Parameterized NetworksKai Baukus, Yassine Lakhnech, Karsten Stahl. ftrtft 2000: 291-303 [doi]

A System for Object Code ValidationA. K. Bhattacharjee, Gopa Sen, S. D. Dhodapkar, Kundapur Karunakar, Basant Rajan, R. K. Shyamasundar. ftrtft 2000: 152-169 [doi]

Modeling Faults of Distributed, Reactive SystemsMax Breitling. ftrtft 2000: 58-69 [doi]

Threshold and Bounded-Delay Voting in Critical Control SystemsPaul Caspi, Rym Salem. ftrtft 2000: 70-81 [doi]

Challenges in the Verification of Electronic Control UnitsWerner Damm. ftrtft 2000: 18 [doi]

An On-the-Fly Tableau Construction for a Real-Time Temporal LogicMarc Geilen, Dennis Dams. ftrtft 2000: 276-290 [doi]

Probabilistic Neighbourhood LogicDimitar P. Guelev. ftrtft 2000: 264-275 [doi]

Stability of Discrete Sampled SystemsNicolas Halbwachs, J.-F. Héry, J.-C. Laleuf, Xavier Nicollin. ftrtft 2000: 1-11 [doi]

Reliability Modelling of Time-Critical Distributed SystemsHans Hansson, Christer Norström, Sasikumar Punnekkat. ftrtft 2000: 94-105 [doi]

Real-Time Program Refinement Using Auxiliary VariablesIan J. Hayes. ftrtft 2000: 170-184 [doi]

Compositional Verification of Synchronous NetworksLeszek Holenderski. ftrtft 2000: 214-227 [doi]

Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and AbstractionHenrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou. ftrtft 2000: 19-30 [doi]

Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, ProceedingsMathai Joseph, editor, Volume 1926 of Lecture Notes in Computer Science, Springer, 2000.

Automating the Addition of Fault-ToleranceSandeep S. Kulkarni, Anish Arora. ftrtft 2000: 82-93 [doi]

Invariant-Based Synthesis of Fault-Tolerant SystemsKevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan. ftrtft 2000: 46-57 [doi]

Issues in the Refinement of Distributed ProgramsYoram Moses. ftrtft 2000: 12-17 [doi]

A Logical Characterisation of Event Recording AutomataDeepak D Souza. ftrtft 2000: 240-251 [doi]

Decidable Model Checking of Probabilistic Hybrid AutomataJeremy Sproston. ftrtft 2000: 31-45 [doi]

A Dual Interpretation of "Standard Constraints" in Parametric SchedulingK. Subramani, Ashok K. Agrawala. ftrtft 2000: 121-133 [doi]

Co-simulation of Hybrid Systems: Signal-SimulinkStéphane Tudoret, Simin Nadjm-Tehrani, Albert Beneviste, Jan-Erik Strömberg. ftrtft 2000: 134-151 [doi]

On Refinement and Temporal AnnotationsRon van der Meyden, Yoram Moses. ftrtft 2000: 185-201 [doi]

Modelling Coordinated Atomic Actions in Timed CSPSimeon Veloudis, Nimal Nissanke. ftrtft 2000: 228-239 [doi]

1998

Discrete-Time Promela and SpinDragan Bosnacki, Dennis Dams. ftrtft 1998: 307-310 [doi]

KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT 98)Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine. ftrtft 1998: 298-302 [doi]

A Practical and Complete Algorithm for Testing Real-Time SystemsRachel Cardell-Oliver, Tim Glover. ftrtft 1998: 251-261 [doi]

Designing a Provably Correct Robot Control System Using a Lean Formal MethodAntonio Cau, Chris Czarnecki, Hussein Zedan. ftrtft 1998: 123-132 [doi]

A Finite-Domain Semantics for Testing Temporal Logic SpecificationsAlberto Coen-Porisini, Matteo Pradella, Pierluigi San Pietro. ftrtft 1998: 41-54 [doi]

Operational and Logical Semantics for Polling Real-Time SystemsHenning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager. ftrtft 1998: 29-40 [doi]

Compiling Graphical Real-Time Specifications into SiliconMartin Fränzle, Karsten Lüth. ftrtft 1998: 272-281 [doi]

Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement PatternReinhard Gotzhein, Martin Kronenburg, Christian Peper. ftrtft 1998: 65-74 [doi]

A Modular Visual Model for Hybrid SystemsRadu Grosu, Thomas Stauner, Manfred Broy. ftrtft 1998: 75-91 [doi]

On the Need for Practical Formal MethodsConstance L. Heitmeyer. ftrtft 1998: 18-26 [doi]

Challenges in the Utilization of Formal MethodsJohn C. Knight. ftrtft 1998: 1-17 [doi]

Predictability in Critical SystemsGérard Le Lann. ftrtft 1998: 315-338 [doi]

The ICOS Synthesis EnvironmentKarsten Lüth. ftrtft 1998: 294-297 [doi]

SGLOT: A Visual Tool for Structural LOTOS SpecificationsMario Marrero, Álvaro Suárez, Elena Carrión, Elsa M. Macías. ftrtft 1998: 303-306 [doi]

Duration Calculus of Weakly Monotonic TimeParitosh K. Pandya, Dang Van Hung. ftrtft 1998: 55-64 [doi]

Static Analysis to Identify Invariants in RSML SpecificationsDavid Y. W. Park, Jens U. Skakkebæk, David L. Dill. ftrtft 1998: 133-142 [doi]

Fair Synchronous Transition Systems and Their Liveness ProofsAmir Pnueli, Natarajan Shankar, Eli Singerman. ftrtft 1998: 198-209 [doi]

Synchronizing Clocked Transition SystemsMannes Poel, Job Zwiers. ftrtft 1998: 173-185 [doi]

An Algorithm for the Approximative Analysis of Rectangular AutomataJörg Preußig, Stefan Kowalewski, Howard Wong-Toi, Thomas A. Henzinger. ftrtft 1998: 228-240 [doi]

Integrating Real-Time Structured Design and Formal TechniquesD. Priddin, Alan Burns. ftrtft 1998: 92-102 [doi]

Dynamical Properties of Timed AutomataAnuj Puri. ftrtft 1998: 210-227 [doi]

Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT 98, Lyngby, Denmark, September 14-18, 1998, ProceedingsAnders P. Ravn, Hans Rischel, editors, Volume 1486 of Lecture Notes in Computer Science, Springer, 1998.

Some Decidability Results for Duration Calculus under Synchronous InterpretationManoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya. ftrtft 1998: 186-197 [doi]

Towards a Formal Semantics of Verilog Using Duration CalculusGerardo Schneider, Qiwen Xu. ftrtft 1998: 282-293 [doi]

Mechanical Verification of Clock Synchronization AlgorithmsDetlef Schwier, Friedrich W. von Henke. ftrtft 1998: 262-271 [doi]

Formal Verification of Stabilizing SystemsMichael Siegel. ftrtft 1998: 158-172 [doi]

A General Framework for the Composition of Timed Systems Extended AbstractJoseph Sifakis. ftrtft 1998: 27-28 [doi]

Partition Refinement in Real-Time Model CheckingR. F. Lutje Spelberg, Hans Toetenel, Marcel Ammerlaan. ftrtft 1998: 143-157 [doi]

Automated Stream-Based Analysis of Fault-ToleranceScott D. Stoller, Fred B. Schneider. ftrtft 1998: 113-122 [doi]

MOBY/PLC - Graphical Development of PLC-AutomataJosef Tapken, Henning Dierks. ftrtft 1998: 311-314 [doi]

Duration Calculus in the Specification of Safety RequirementsSimeon Veloudis, Nimal Nissanke. ftrtft 1998: 103-112 [doi]

On Checking Parallel Real-Time Systems for Linear Duration PropertiesJianhua Zhao, Dang Van Hung. ftrtft 1998: 241-250 [doi]

1996

A Calculus for Timed AutomataPedro R. D Argenio, Ed Brinksma. ftrtft 1996: 110-129

Mona: Decidable Arithmetic in PracticeMorten Biehl, Nils Klarlund, Theis Rauhe. ftrtft 1996: 459-462

Verifying Synchronous Reactive Systems Programmed in ESTERELAmar Bouali, Jean-Paul Marmorat, Robert de Simone, Horia Toma. ftrtft 1996: 463-466

Exhaustive Computation of the Scheduled Task Execution Sequences of a Real-Time ApplicationAnnie Choquet, Dominique Geniet, Francis Cottet. ftrtft 1996: 246-262

On the Semantics of Group CommunicationFlaviu Cristian. ftrtft 1996: 1-21

Scheduling Data Flow Programs in Hard Real-Time EnvironmentsRenzo Davoli, Fabio Tamburini, Luigi-Alberto Giachini. ftrtft 1996: 263-278

The Production Cell: A Verified Real-Time SystemHenning Dierks. ftrtft 1996: 208-227

Graphical Formalization of Real-Time RequirementsCheryl Dietz. ftrtft 1996: 366-384

Formal Analysis of a Real-Time Kernel SpecificationSimon Fowler, Andy J. Wellings. ftrtft 1996: 440-458

Sampling Semantics of Duration CalculusDang Van Hung, Phan Hong Giang. ftrtft 1996: 188-207

Dynamic Scheduling in the Presence of Faults: Specification and VerificationTomasz Janowski, Mathai Joseph. ftrtft 1996: 279-297

Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT 96, Uppsala, Sweden, September 9-13, 1996, ProceedingsBengt Jonsson, Joachim Parrow, editors, Volume 1135 of Lecture Notes in Computer Science, Springer, 1996.

Verification-Driven Development of a Collision-Avoidance Protocol for the EthernetKonsta Karsisto, Antti Valmari. ftrtft 1996: 228-245

Compiling ARGOS into Boolean EquationsFlorence Maraninchi, Nicolas Halbwachs. ftrtft 1996: 72-89

EVGC: A Tool for Visualizing LOTOS Behavioural SpecificationsMario Marrero, Álvaro Suárez. ftrtft 1996: 475-478

Partial Orders and Verification of Real-Time systemsFlorence Pagani. ftrtft 1996: 327-346

Real-Time Mode-MachinesStephen Paynter. ftrtft 1996: 90-109

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

FTRTFT (ftrtft)

Viewing Publication 1 - 100 from 215

2002

2000

1998

1996

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

FTRTFT (ftrtft)

Viewing Publication 1 - 100 from 215

2002

2000

1998

1996

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1