Search results for "FTRTFT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Henning Dierks, Marc Lettrari	Constructing Test Automata from Graphical Real-Time Requirements.	FTRTFT	2002	DBLP DOI BibTeX RDF
1	John M. Rushby	An Overview of Formal Verification for the Time-Triggered Architecture.	FTRTFT	2002	DBLP DOI BibTeX RDF
1	Christophe Lohr, Jean-Pierre Courtiat	From the Specification to the Scheduling of Time-Dependent Systems.	FTRTFT	2002	DBLP DOI BibTeX RDF	Minimal Reachability Graph, Time Labeled Scheduling Automata, Process Algebra, Timed Automata, Temporal Consistency, RT-Lotos
1	Stavros Tripakis	Fault Diagnosis for Timed Automata.	FTRTFT	2002	DBLP DOI BibTeX RDF	Fault diagnosis, Timed Automata, Partial observability
1	Giorgio C. Buttazzo	Real-Time Operating Systems: Problems and Novel Solutions.	FTRTFT	2002	DBLP DOI BibTeX RDF
1	Ahmed Bouajjani, Agathe Merceron	Parametric Verification of a Group Membership Algorithm.	FTRTFT	2002	DBLP DOI BibTeX RDF	parametric counter automata, Formal verification, abstraction, fault-tolerant protocols
1	David N. Jansen, Holger Hermanns, Joost-Pieter Katoen	A Probabilistic Extension of UML Statecharts.	FTRTFT	2002	DBLP DOI BibTeX RDF	model checking, semantics, probabilities, Markov decision processes, UML statecharts
1	Ana Fernández Vilas, José Juan Pazos-Arias, Rebeca P. Díaz Redondo	Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning.	FTRTFT	2002	DBLP DOI BibTeX RDF
1	Bruce Powel Douglass	Real-Time UML.	FTRTFT	2002	DBLP DOI BibTeX RDF
1	Werner Damm, Bengt Jonsson 0001	Eliminating Queues from RT UML Model Representations.	FTRTFT	2002	DBLP DOI BibTeX RDF	RT UML, verification of infinite state systems, protocol verification, Real-time distributed systems
1	Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny	Towards Bounded Model Checking for the Universal Fragment of TCTL.	FTRTFT	2002	DBLP DOI BibTeX RDF
1	John Alexander McDermid	Software Hazard and Safety Analysis.	FTRTFT	2002	DBLP DOI BibTeX RDF
1	Dexter Kozen, Matthew Stillerman	Eager Class Initialization for Java.	FTRTFT	2002	DBLP DOI BibTeX RDF
1	Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya	Decidability of Safety Properties of Timed Multiset Rewriting.	FTRTFT	2002	DBLP DOI BibTeX RDF	real-time systems, timed automata, decidability, timed Petri nets
1	Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng	Partial Order Path Technique for Checking Parallel Timed Automata.	FTRTFT	2002	DBLP DOI BibTeX RDF
1	Oded Maler, Bruce H. Krogh, Moez Mahfoudh	On Control with Bounded Computational Resources.	FTRTFT	2002	DBLP DOI BibTeX RDF
1	Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain	Verification of Timed Automata via Satisfiability Checking.	FTRTFT	2002	DBLP DOI BibTeX RDF
1	Werner Damm, Ernst-Rüdiger Olderog (eds.)	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, Proceedings	FTRTFT	2002	DBLP DOI BibTeX RDF
1	Alexander Knapp, Stephan Merz, Christopher Rauh	Model Checking - Timed UML State Machines and Collaborations.	FTRTFT	2002	DBLP DOI BibTeX RDF
1	Ahmed Khoumsi	A Method for Testing the Conformance of Real Time Systems.	FTRTFT	2002	DBLP DOI BibTeX RDF	GeneralizedWp-Method, Timed Automata (TA), se-FSA, Exp, Real-time systems, Conformance testing, Test cases generation, Set, Test architecture
1	Joseph Sifakis	Scheduler Modeling Based on the Controller Synthesis Paradigm.	FTRTFT	2002	DBLP DOI BibTeX RDF
1	Jens Palsberg, Di Ma	A Typed Interrupt Calculus.	FTRTFT	2002	DBLP DOI BibTeX RDF
1	Amir Pnueli	Applications of Formal Methods in Biology.	FTRTFT	2002	DBLP DOI BibTeX RDF
1	Martin Fränzle	Take It NP-Easy: Bounded Model Construction for Duration Calculus.	FTRTFT	2002	DBLP DOI BibTeX RDF	Discrete-time Duration Calculus, Bounded model construction, Complexity, Model construction
1	Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi 0001	UPPAAL Implementation Secrets.	FTRTFT	2002	DBLP DOI BibTeX RDF
1	Arshad Jhumka, Martin Hiller, Neeraj Suri	Component-Based Synthesis of Dependable Embedded Software.	FTRTFT	2002	DBLP DOI BibTeX RDF
1	A. K. Bhattacharjee, Gopa Sen, S. D. Dhodapkar, Kundapur Karunakar, Basant Rajan, R. K. Shyamasundar	A System for Object Code Validation.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Michaël Adélaïde, Olivier F. Roux	Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Max Breitling	Modeling Faults of Distributed, Reactive Systems.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Karine Altisen, Gregor Gößler, Joseph Sifakis	A Methodology for the Construction of Scheduled Systems.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Werner Damm	Challenges in the Verification of Electronic Control Units.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Yoram Moses	Issues in the Refinement of Distributed Programs.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Hans Hansson, Christer Norström, Sasikumar Punnekkat	Reliability Modelling of Time-Critical Distributed Systems.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Kevin Lano, David Clark 0001, Kelly Androutsopoulos, Pauline Kan	Invariant-Based Synthesis of Fault-Tolerant Systems.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Ian J. Hayes	Real-Time Program Refinement Using Auxiliary Variables.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Kai Baukus, Yassine Lakhnech, Karsten Stahl	Verifying Universal Properties of Parameterized Networks.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Marc Geilen, Dennis Dams	An On-the-Fly Tableau Construction for a Real-Time Temporal Logic.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Nicolas Halbwachs, J.-F. Héry, J.-C. Laleuf, Xavier Nicollin	Stability of Discrete Sampled Systems.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Ralph-Johan Back, Luigia Petre, Ivan Porres	Generalizing Action Systems to Hybrid Systems.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Simeon Veloudis, Nimal Nissanke	Modelling Coordinated Atomic Actions in Timed CSP.	FTRTFT	2000	DBLP DOI BibTeX RDF	CA actions, real-time systems, safety-critical systems, Timed CSP
1	Leszek Holenderski	Compositional Verification of Synchronous Networks.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Stéphane Tudoret, Simin Nadjm-Tehrani, Albert Beneviste, Jan-Erik Strömberg	Co-simulation of Hybrid Systems: Signal-Simulink.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Deepak D'Souza	A Logical Characterisation of Event Recording Automata.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Mathai Joseph (eds.)	Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Proceedings	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Ron van der Meyden, Yoram Moses	On Refinement and Temporal Annotations.	FTRTFT	2000	DBLP DOI BibTeX RDF	temporal refinement calculi, temporal logic, Refinement calculus
1	Jeremy Sproston	Decidable Model Checking of Probabilistic Hybrid Automata.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Henrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou	Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	K. Subramani 0001, Ashok K. Agrawala	A Dual Interpretation of "Standard Constraints" in Parametric Scheduling.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Sandeep S. Kulkarni, Anish Arora	Automating the Addition of Fault-Tolerance.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev	Probabilistic Neighbourhood Logic.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Paul Caspi, Rym Salem	Threshold and Bounded-Delay Voting in Critical Control Systems.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Gerardo Schneider, Qiwen Xu	Towards a Formal Semantics of Verilog Using Duration Calculus.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Jianhua Zhao, Dang Van Hung	On Checking Parallel Real-Time Systems for Linear Duration Properties.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Reinhard Gotzhein, Martin Kronenburg, Christian Peper	Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern.	FTRTFT	1998	DBLP DOI BibTeX RDF	real-time, formal specification, formal methods, temporal logic, case study, reuse, requirements analysis, pattern discovery
1	Mannes Poel, Job Zwiers	Synchronizing Clocked Transition Systems.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Joseph Sifakis	A General Framework for the Composition of Timed Systems Extended Abstract.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Karsten Lüth	The ICOS Synthesis Environment.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Anders P. Ravn, Hans Rischel (eds.)	Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Scott D. Stoller, Fred B. Schneider	Automated Stream-Based Analysis of Fault-Tolerance.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Constance L. Heitmeyer	On the Need for Practical Formal Methods.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Dennis Dams	Discrete-Time Promela and Spin.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Alberto Coen-Porisini, Matteo Pradella, Pierluigi San Pietro	A Finite-Domain Semantics for Testing Temporal Logic Specifications.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Paritosh K. Pandya, Dang Van Hung	Duration Calculus of Weakly Monotonic Time.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Michael Siegel	Formal Verification of Stabilizing Systems.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya	Some Decidability Results for Duration Calculus under Synchronous Interpretation.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Detlef Schwier, Friedrich W. von Henke	Mechanical Verification of Clock Synchronization Algorithms.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Rachel Cardell-Oliver, Tim Glover	A Practical and Complete Algorithm for Testing Real-Time Systems.	FTRTFT	1998	DBLP DOI BibTeX RDF	real-time systems, timed automata, black-box testing
1	Radu Grosu, Thomas Stauner, Manfred Broy	A Modular Visual Model for Hybrid Systems.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Ronald F. Lutje Spelberg, Hans Toetenel, Marcel Ammerlaan	Partition Refinement in Real-Time Model Checking.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	David Y. W. Park, Jens U. Skakkebæk, David L. Dill	Static Analysis to Identify Invariants in RSML Specifications.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Jörg Preußig, Stefan Kowalewski, Howard Wong-Toi, Thomas A. Henzinger	An Algorithm for the Approximative Analysis of Rectangular Automata.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Simeon Veloudis, Nimal Nissanke	Duration Calculus in the Specification of Safety Requirements.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Mario Marrero, Álvaro Suárez Sarmiento, Elena Carrión, Elsa M. Macías	SGLOT: A Visual Tool for Structural LOTOS Specifications.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Anuj Puri	Dynamical Properties of Timed Automata.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Amir Pnueli, Natarajan Shankar, Eli Singerman	Fair Synchronous Transition Systems and Their Liveness Proofs.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Darren George Priddin, Alan Burns 0001	Integrating Real-Time Structured Design and Formal Techniques.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Martin Fränzle, Karsten Lüth	Compiling Graphical Real-Time Specifications into Silicon.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Josef Tapken, Henning Dierks	MOBY/PLC - Graphical Development of PLC-Automata.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	John C. Knight	Challenges in the Utilization of Formal Methods.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Antonio Cau, Chris Czarnecki, Hussein Zedan	Designing a Provably Correct Robot Control System Using a 'Lean' Formal Method.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Marius Bozga, Conrado Daws, Oded Maler, Alfredo Olivero, Stavros Tripakis, Sergio Yovine	KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98).	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager	Operational and Logical Semantics for Polling Real-Time Systems.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Gérard Le Lann	Predictability in Critical Systems.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Simon Fowler 0002, Andy J. Wellings	Formal Analysis of a Real-Time Kernel Specification.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Annie Choquet, Dominique Geniet, Francis Cottet	Exhaustive Computation of the Scheduled Task Execution Sequences of a Real-Time Application.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Mario Marrero, Álvaro Suárez Sarmiento	EVGC: A Tool for Visualizing LOTOS Behavioural Specifications.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Henning Dierks	The Production Cell: A Verified Real-Time System.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Frank S. de Boer, H. Tej, Willem P. de Roever, M. van Hulst	Compositionality in Real-Time Shared Variable Concurrency.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Franz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies	AutoFocus: A Tool for Distributed Systems Specification.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Rajesh K. Bawa, Emmanuelle Encrenaz	A Tool for Translation of VHDL Descriptions into a Formal Model and its Application to Formal Verification and Synthesis.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Paritosh K. Pandya	Weak Chop Inverses and Liveness in Mean-Value Calculus.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Stephen Paynter	Real-Time Mode-Machines.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Joost-Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma	On Specifying Real-Time Systems in a Causality-Based Setting.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann	Formal Methods for Early Fault Detection.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Aohan Mei, Yoshihide Igarashi, Naoki Shimizu	Efficient Broadcasting on Faulty Star Networks.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Bengt Jonsson 0001, Joachim Parrow (eds.)	Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Cheryl Dietz	Graphical Formalization of Real-Time Requirements.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Renzo Davoli, Fabio Tamburini, Luigi-Alberto Giachini	Scheduling Data Flow Programs in Hard Real-Time Environments.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Jan Springintveld, Frits W. Vaandrager	Minimizable Timed Automata.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	Tomasz Janowski, Mathai Joseph	Dynamic Scheduling in the Presence of Faults: Specification and Verification.	FTRTFT	1996	DBLP DOI BibTeX RDF

Publications at "FTRTFT"( http://dblp.L3S.de/Venues/FTRTFT )