Search results for "Duration Calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Michael R. Hansen, Dang Van Hung	A Theory of Duration Calculus with Application.	Domain Modeling and the Duration Calculus	2007	DBLP DOI BibTeX RDF	metric-time temporal logic, Real-time systems, model-checking, application, decidability, duration calculus
4	Dang Van Hung, Zhou Chaochen	Probabilistic Duration Calculus for Continuous Time.	Formal Asp. Comput.	1999	DBLP DOI BibTeX RDF	Probabilistic duration calculus, Real-time systems, Dependability, Stochastic processes, Duration calculus, Probabilistic automata
3	Roland Meyer, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko	Model checking Duration Calculus: a practical approach.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	European Train Control System, Real-time systems, Model checking, Verification, Timed automata, Case study, Duration Calculus
3	Andreas Schäfer	Axiomatisation and Decidability of Multi-dimensional Duration Calculus.	TIME	2005	DBLP DOI BibTeX RDF	Real-time systems, temporal logic, mobile systems, Duration Calculus, spatial logic
3	Martin Fränzle	Model-checking dense-time Duration Calculus.	Formal Asp. Comput.	2004	DBLP DOI BibTeX RDF	Dense-time Duration Calculus, Model-checking, Decidability
3	Jifeng He, Qiwen Xu	Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs.	Formal Asp. Comput.	2003	DBLP DOI BibTeX RDF	Verification, Semantics, Hybrid systems, Duration Calculus
3	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
3	Zhan Naijun	Completeness of Higher-Order Duration Calculus.	CSL	2000	DBLP DOI BibTeX RDF	duration calculus higher-order logic interval temporal logic completeness
3	Dang Van Hung	Modeling and Verification of Biphase Mark Protocolsin Duration Calculus Using PVS.	ACSD	1998	DBLP DOI BibTeX RDF	Biphase Mark Protocol, Theorem Prover, Duration Calculus
3	Michael R. Hansen, Zhou Chaochen	Semantics and Completeness of Duration Calculus.	REX Workshop	1991	DBLP DOI BibTeX RDF	relative completeness, real-time systems, verification, specifications, specification languages, proof system, Duration Calculus, Interval Temporal Logic
2	Feng Gu, Julie Greensmith, Uwe Aickelin	Exploration of the Dendritic Cell Algorithm Using the Duration Calculus.	ICARIS	2009	DBLP DOI BibTeX RDF
2	Pawel Gluchowski	Duration Calculus for Analysis of Fault Trees with Time Dependencies.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
2	Dang Van Hung	Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
2	Chris George, Zhiming Liu, Jim Woodcock (eds.)	Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures	Domain Modeling and the Duration Calculus	2007	DBLP BibTeX RDF
2	Alan Burns, Andy J. Wellings	Delivering Real-Time Behaviour.	Domain Modeling and the Duration Calculus	2007	DBLP DOI BibTeX RDF
2	Cliff B. Jones	Understanding Programming Language Concepts Via Operational Semantics.	Domain Modeling and the Duration Calculus	2007	DBLP DOI BibTeX RDF
2	Chris George	Applicative Modelling with RAISE.	Domain Modeling and the Duration Calculus	2007	DBLP DOI BibTeX RDF
2	Roland Meyer, Johannes Faber, Andrey Rybalchenko	Model Checking Duration Calculus: A Practical Approach.	ICTAC	2006	DBLP DOI BibTeX RDF
2	Jan-David Quesel, Andreas Schäfer	Spatio-temporal Model Checking for Mobile Real-Time Systems.	ICTAC	2006	DBLP DOI BibTeX RDF	real-time systems, model checking, temporal logic, mobile systems, Duration Calculus, spatial logic
2	Martin Fränzle, Michael R. Hansen	A Robust Interpretation of Duration Calculus.	ICTAC	2005	DBLP DOI BibTeX RDF	Metric-time temporal logic, Robust interpretation, Discrete time vs. dense time
2	Zhiming Liu, Anders P. Ravn, Xiaoshan Li	Unifying proof methodologies of duration calculus and timed linear temporal logic.	Formal Asp. Comput.	2004	DBLP DOI BibTeX RDF	Design, Verification, Real-time, Specification, Refinement
2	Samuel Colin, Georges Mariano, Vincent Poirriez	Duration Calculus: A Real-Time Semantic for B.	ICTAC	2004	DBLP DOI BibTeX RDF
2	Andreas Schäfer	A Calculus for Shapes in Time and Space.	ICTAC	2004	DBLP DOI BibTeX RDF	Real-time systems, temporal logic, mobile systems, Duration Calculus, spatial logic
2	Henning Dierks	Comparing model checking and logical reasoning for real-time systems.	Formal Asp. Comput.	2004	DBLP DOI BibTeX RDF	Model checking, Verification, Real-time, Timed Automata, Duration Calculus
2	Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li 0005, Guoliang Zheng	Duration-constrained regular expressions.	Formal Asp. Comput.	2004	DBLP DOI BibTeX RDF	Regular expressions, Hybrid automata, Duration Calculus
2	Nathalie Chetcuti-Sperandio	Tableau-Based Automated Deduction for Duration Calculus.	TABLEAUX	2002	DBLP DOI BibTeX RDF
2	Jochen Hoenicke, Ernst-Rüdiger Olderog	Combining Specification Techniques for Processes, Data and Time.	IFM	2002	DBLP DOI BibTeX RDF	transformational semantic, model-checking, CSP, Object-Z, real-time processes, FDR, Duration Calculus, UPPAAL
2	Huadong Ma, Liang Li, Jianzhong Wang, Naijun Zhan	Automatic Synthesis of the DC Specifications of Lip Synchronisation Protocol.	APSEC	2001	DBLP DOI BibTeX RDF	Lip Synchronisation Protocol, Multimedia, Synthesis, Timed Automata, Duration Calculus
2	Hong Ki Thae, Dang Van Hung	A Case Study on Formal Design of Hybrid Control Systems.	COMPSAC	2001	DBLP DOI BibTeX RDF	Discrete Design, Embedded Systems, Control Theory, Duration Calculus
2	Naijun Zhan	Another formal proof for Deadline Driven Scheduler.	RTCSA	2000	DBLP DOI BibTeX RDF	Deadline Driven Scheduler, DDS correctness, random preemption, induction rules, induction propositions, intuitive facts, scheduling, real-time systems, theorem proving, process algebra, duration calculus, formal proof, DC
2	Anne Elisabeth Haxthausen, Xia Yong	Linking DC Toghether with TRSL.	IFM	2000	DBLP DOI BibTeX RDF	integration of specification formalisms, Formal methods, Duration Calculus, RAISE
2	Dang Van Hung, Dimitar P. Guelev	Completeness and Decidability of a Fragment of Duration Calculus with Iteration.	ASIAN	1999	DBLP DOI BibTeX RDF
2	Li Li, Jifeng He	A Denotational Semantics of Timed RSL Using Duration Calculus.	RTCSA	1999	DBLP DOI BibTeX RDF	software engineering, formal methods, Real-time requirements, design specification
2	Shuzhen Dong, Qiwen Xu, Naijun Zhan	A Formal Proof of the Rate Monotonic Scheduler.	RTCSA	1999	DBLP DOI BibTeX RDF	Scheduling, Logic, Duration Calculus, Formal Proof, Feasibility
2	Zhou Chaochen	Duration Calculus, a Logical Approach to Real-Time Systems.	AMAST	1998	DBLP DOI BibTeX RDF
2	Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya	Some Decidability Results for Duration Calculus under Synchronous Interpretation.	FTRTFT	1998	DBLP DOI BibTeX RDF
2	Gerardo Schneider, Qiwen Xu	Towards a Formal Semantics of Verilog Using Duration Calculus.	FTRTFT	1998	DBLP DOI BibTeX RDF
2	Simeon Veloudis, Nimal Nissanke	Duration Calculus in the Specification of Safety Requirements.	FTRTFT	1998	DBLP DOI BibTeX RDF
2	Paritosh K. Pandya, Dang Van Hung	Duration Calculus of Weakly Monotonic Time.	FTRTFT	1998	DBLP DOI BibTeX RDF
2	Dang Van Hung, Ko Kwang Il	Verification via Digitized Models of Real-Time Hybrid Systems.	APSEC	1996	DBLP DOI BibTeX RDF	real-time hybrid systems, digitized models, int formula, digital states, analog states, time reasoning, intuitive model, natural induction rules, distributed systems, verification, formal specification, specification, communication protocols, duration calculus, system clock
2	Jens U. Skakkebæk	Liveness and Fairness in Duration Calculus.	CONCUR	1994	DBLP DOI BibTeX RDF
2	Anders P. Ravn, Hans Rischel, Kirsten Mark Hansen	Specifying and Verifying Requirements of Real-Time Systems.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	specification of requirements, verification of design, real-time interval logic, top-level design, synchronous events, real-time systems, real-time systems, formal specification, distributed computation, formal verification, temporal logic, sensor, mathematical model, actuator, duration calculus, control law
1	Michael R. Hansen, Aske Wiid Brekling	On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic.	TIME	2011	DBLP DOI BibTeX RDF
1	Suman Roy	A duration calculus with neighborhood modalities.	Journal of Applied Non-Classical Logics	2010	DBLP BibTeX RDF
1	Dimitar P. Guelev, Dang Van Hung	Reasoning about QoS Contracts in the Probabilistic Duration Calculus.	Electr. Notes Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Feng Gu, Julie Greensmith, Uwe Aickelin	Exploration Of The Dendritic Cell Algorithm Using The Duration Calculus	CoRR	2010	DBLP BibTeX RDF
1	Martin Fränzle, Michael R. Hansen	Efficient Model Checking for Duration Calculus?	Int. J. Software and Informatics	2009	DBLP BibTeX RDF
1	Jiaqi Zhu, Yu Huang 0004, Hanpin Wang	A Formal Descriptive Language and an Automated Detection Method for Complex Events in RFID.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Christian Colombo, Gordon J. Pace, Gerardo Schneider	Safe Runtime Verification of Real-Time Properties.	FORMATS	2009	DBLP DOI BibTeX RDF
1	Qiwen Xu, Naijun Zhan	Formalising Scheduling Theories in Duration Calculus.	Nord. J. Comput.	2008	DBLP BibTeX RDF
1	Martin Fränzle, Michael R. Hansen	Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations.	SEFM	2008	DBLP DOI BibTeX RDF
1	Jiaqi Zhu, Hanpin Wang, Zhongyuan Xu	A New Temporal Logic CTL[k-QDDC] and Its Verification.	COMPSAC	2008	DBLP DOI BibTeX RDF	branching past, model checking, quantitative
1	Miaomiao Zhang, Dang Van Hung, Zhiming Liu	Verification of Linear Duration Invariants by Model Checking CTL Properties.	ICTAC	2008	DBLP DOI BibTeX RDF
1	Andreas Schäfer	Axiomatisation and decidability of multi-dimensional Duration Calculus.	Inf. Comput.	2007	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev	Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems.	Logical Methods in Computer Science	2007	DBLP DOI BibTeX RDF
1	Thomas Bolander, Jens Ulrik Hansen, Michael R. Hansen	Decidability of a Hybrid Duration Calculus.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev	Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems	CoRR	2007	DBLP BibTeX RDF
1	Dang Van Hung, Miaomiao Zhang	On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties.	RTCSA	2007	DBLP DOI BibTeX RDF
1	Martin Fränzle, Michael R. Hansen	Deciding an Interval Logic with Accumulated Durations.	TACAS	2007	DBLP DOI BibTeX RDF	metric-time temporal logic, multi-priced timed automata, Real-time systems, model-checking, decidability
1	Paritosh K. Pandya, Shankara Narayanan Krishna, Kuntal Loya	On Sampling Abstraction of Continuous Time Logic with Durations.	TACAS	2007	DBLP DOI BibTeX RDF
1	Laure Gonnord, Nicolas Halbwachs, Pascal Raymond	From Discrete Duration Calculus to Symbolic Automata.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Johannes Faber, Roland Meyer	Model Checking Data-Dependent Real-Time Properties of the European Train Control System.	FMCAD	2006	DBLP DOI BibTeX RDF
1	Kamal Lodaya, Paritosh K. Pandya	A Dose of Timed Logic, in Guarded Measure.	FORMATS	2006	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev, Dang Van Hung	On the completeness and decidability of duration calculus with iteration.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev	Sharpening the Incompleteness of the Duration Calculus.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Paritosh K. Pandya	Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Shankara Narayanan Krishna, Paritosh K. Pandya	Modal Strength Reduction in Quantified Discrete Duration Calculus.	FSTTCS	2005	DBLP DOI BibTeX RDF
1	Song Fu, Cheng-Zhong Xu	A Coordinated Spatio-Temporal Access Control Model for Mobile Computing in Coalition Environments.	IPDPS	2005	DBLP DOI BibTeX RDF
1	Dang Van Hung, Bui Vu Anh	Model Checking Real-Time Component Based Systems with Blackbox Testing.	RTCSA	2005	DBLP DOI BibTeX RDF	Duration Automata, Real-time Systems, Automatic Verification, Component Software
1	Jochen Hoenicke, Patrick Maier	Model-Checking of Specifications Integrating Processes, Data and Time.	FM	2005	DBLP DOI BibTeX RDF
1	Raymond T. Boute, Andreas Schäfer	The Timer Cascade: Functional Modelling and Real Time Calculi.	ICTAC	2005	DBLP DOI BibTeX RDF
1	Babita Sharma, Paritosh K. Pandya, Supratik Chakraborty	Bounded Validity Checking of Interval Duration Logic.	TACAS	2005	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev, Dang Van Hung	A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus.	Journal of Applied Non-Classical Logics	2004	DBLP BibTeX RDF
1	Dimitar P. Guelev	Logical Interpolation and Projection onto State in the Duration Calculus.	Journal of Applied Non-Classical Logics	2004	DBLP BibTeX RDF
1	Dang Van Hung, Ho Van Huong	Modelling Real-time Database Systems in Duration Calculus.	Databases and Applications	2004	DBLP BibTeX RDF
1	Stepan P. Nadrchal	Event Language for Real-Time On-the-Fly Control According to the Initial Requirements.	Ada-Europe	2004	DBLP DOI BibTeX RDF
1	Yifeng Chen, Zhiming Liu	From Durational Specifications to TLA Designs of Timed Automata.	ICFEM	2004	DBLP DOI BibTeX RDF
1	Jifeng He, Naiyong Jin	Integrating Variants of DC.	ICTAC	2004	DBLP DOI BibTeX RDF
1	Pham Hong Thai, Dang Van Hung	Verifying Linear Duration Constraints of Timed Automata.	ICTAC	2004	DBLP DOI BibTeX RDF
1	Yifeng Chen, Zhiming Liu	Integrating Temporal Logics.	IFM	2004	DBLP DOI BibTeX RDF
1	Pei Yu, Qiwen Xu	Checking Interval Based Properties for Reactive Systems.	VMCAI	2004	DBLP DOI BibTeX RDF	finitary property, model checking, reactive system, interval temporal logic
1	Huadong Ma	Specification and Verification of Multimedia Synchronization in Duration Calculus.	J. Comput. Sci. Technol.	2003	DBLP DOI BibTeX RDF
1	Andreas Schäfer	Combining Real-Time Model-Checking and Fault Tree Analysis.	FME	2003	DBLP DOI BibTeX RDF	Real-time systems, model-checking, fault tree analysis
1	Dimitar P. Guelev, Dang Van Hung	Prefix and Projection onto State in Duration Calculus.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Dang Van Hung	Real-Time Systems Development with Duration Calculi: An Overview.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
1	Li Li	Towards a Denotational Semantics of Timed RSL Using Duration Calculus.	J. Comput. Sci. Technol.	2001	DBLP DOI BibTeX RDF
1	François Siewe, Dang Van Hung	Deriving Real-Time Programs from Duration Calculus Specifications.	CHARME	2001	DBLP DOI BibTeX RDF	Continuous specification, discrete design, Hoare triples, concurrency, real-time program, shared variables
1	Thomas Marthedal Rasmussen	Labelled Natural Deduction for Interval Logics.	CSL	2001	DBLP DOI BibTeX RDF
1	Paritosh K. Pandya	Model Checking CTL*[DC].	TACAS	2001	DBLP DOI BibTeX RDF
1	Alexander Moshe Rabinovich	Expressive Completeness of Duration Calculus.	Inf. Comput.	2000	DBLP DOI BibTeX RDF
1	Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro	A mixed decision method for duration calculus.	J. Log. Comput.	2000	DBLP DOI BibTeX RDF
1	Alexander Moshe Rabinovich	Succinctness Gap between Monadic Logic and Duration Calculus.	Fundam. Inform.	2000	DBLP DOI BibTeX RDF
1	Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro	A Decision Method for Duration Calculus.	RelMiCS	2000	DBLP BibTeX RDF
1	Jianzhong Wang, Qiwen Xu, Huadong Ma	Modeling and Verification of a Network Player System with DCValid.	APAQS	2000	DBLP DOI BibTeX RDF	Real-Time, Temporal Logic, Multimedia Systems, Specification and Verification
1	Burghard von Karger	Temporal Algebra.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev	A Complete Fragment of Higher-Order Duration µ-Calculus.	FSTTCS	2000	DBLP DOI BibTeX RDF
1	Dimitar P. Guelev	Probabilistic Neighbourhood Logic.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro	A Decision Method for Duration Calculus.	J. UCS	1999	DBLP BibTeX RDF
1	Ekaterina Pavlova, Dang Van Hung	A Formal Specification of the Concurrency Control in Real-Time Databases.	APSEC	1999	DBLP DOI BibTeX RDF
1	Henning Dierks	Synthesizing controllers from real-time specifications.	IEEE Trans. on CAD of Integrated Circuits and Systems	1999	DBLP DOI BibTeX RDF