Search results for "Formal Methods and Hybrid Real-Time Systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Chris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders	Specification for Testing.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
1	Anne Elisabeth Haxthausen, Jan Peleska	A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	railway control systems, verification, formal methods, code generation, domain-specific languages, domain engineering
1	Daguang Liu, Peng Wu 0002, Huimin Lin	Symbolic Test Generation Using a Temporal Logic with Constrained Events.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
1	Jifeng He	Compensable Programs.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
1	Andrew Butterfield	A Denotational Semantics for Handel-C.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
1	Hans Langmaack	On Revival of Algol-Concepts in Modern Programming and Specification Languages.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	block concept, formal procedure, structural simulation, Abstract State Machine ASM, recursive procedure and rule, Java, verification, semantics, Programming language, specification language, object, Algol, class
1	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
1	John S. Fitzgerald, Peter Gorm Larsen	Balancing Insight and Effort: The Industrial Uptake of Formal Methods.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
1	Manfred Broy	From "Formal Methods" to System Modeling.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
1	Martin Penicka	Formal Approach to Railway Applications.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	Technique Integration, Planning, Control, Signalling, Timetabling, Railways, Rostering, Interlocking
1	Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)	Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007	Formal Methods and Hybrid Real-Time Systems	2007	DBLP BibTeX RDF
1	John Knudsen, Anders P. Ravn, Arne Skou	Design Verification Patterns.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
1	Asger Eir	Relating Domain Concepts Intensionally by Ordering Connections.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	The RAISE Specification Language (RSL), Classification, Formal Methods, Conceptual modelling, Abstract Interpretation, Domain Engineering, Galois Connection, Intension
1	Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl	Services as a Paradigm of Computation.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	open workflow nets, SOA, services, models of computation
1	Mathai Joseph	Engineering the Development of Embedded Systems.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
1	Nikolaj Bjørner	Models and Software Model Checking of a Distributed File Replication System.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
1	Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken, Boris Wirtz	Automating Verification of Cooperation, Control, and Design in Traffic Applications.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
1	Xiang Ling, T. S. E. Maibaum, Nazareno Aguirre	Design in CommUnity with Extension Morphisms.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
1	Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan	Generating Polynomial Invariants with DISCOVERER and QEPCAD.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	Semi-Algebraic Systems, DISCOVERER, QEPCAD, Program Verification, Quantifier Elimination, Invariant Generation, Polynomial Programs
1	Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang	Harnessing rCOS for Tool Support - The CoCoME Experience.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	tool design, formal methods, software process, Software development tool
1	Xinxin Liu	Expansive-Bisimulation for Context-Free Processes.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
1	Cliff B. Jones, Ian J. Hayes, Michael A. Jackson	Deriving Specifications for Systems That Are Connected to the Physical World.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
1	Elsa Estevez, Tomasz Janowski	Programmable Messaging for Electronic Government - Building a Foundation.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	Messaging Middleware, Domain Specific Languages, Electronic Government, Software Specification, Asynchronous Messaging
1	Michael R. Hansen, Jan Madsen, Aske Wiid Brekling	Semantics and Verification of a Language for Modelling Hardware Architectures.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	Hardware descriptions, model- checking, verification, semantics
1	Peter D. Mosses	VDM Semantics of Programming Languages: Combinators and Monads.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
1	Leo Freitas, Jim Woodcock	Proving Theorems About JML Classes.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	Grand Challenge in Verified Software, Java Collections Framework, Java HashMap class, linking theories, Z/Eves, formal specification, Z, software verification, JML, Java Modeling Language, mechanical theorem proving, Verified Software Repository

Publications at "Formal Methods and Hybrid Real-Time Systems"( http://dblp.L3S.de/Venues/Formal_Methods_and_Hybrid_Real-Time_Systems )