Search results for "real time properties"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Christian Colombo, Gordon J. Pace, Gerardo Schneider	Safe Runtime Verification of Real-Time Properties.	FORMATS	2009	DBLP DOI BibTeX RDF
2	Andreas Bauer 0002, Martin Leucker, Christian Schallhart	Monitoring of Real-Time Properties.	FSTTCS	2006	DBLP DOI BibTeX RDF
2	Egor Bondarev, Johan Muskens, Peter H. N. de With, Michel R. V. Chaudron, Johan Lukkien	Predicting Real-Time Properties of Component Assemblies: A Scenario-Simulation Approach.	EUROMICRO	2004	DBLP DOI BibTeX RDF
2	Egor Bondarev, Peter H. N. de With, Michel R. V. Chaudron	Towards Predicting Real-Time Properties of a Component Assembly.	EUROMICRO	2004	DBLP DOI BibTeX RDF
2	Christian M. Netter, Luiz F. Bacellar	Assessing the Real-Time Properties of Windows CE 3.0.	ISORC	2001	DBLP DOI BibTeX RDF
2	Thorsten Gerdsmeier, Rachel Cardell-Oliver	A Method for Verifying Real-Time Properties of Ada Programs.	ICECCS	2001	DBLP DOI BibTeX RDF
2	Joe Chun-Hung Yuen, Edward Chan, Kam-yiu Lam, Hei-Wing Leung	An Adaptive AVI-Based Cache Invalidation Scheme for Mobile Computing Systems. (PDF / PS)	DEXA Workshops	2000	DBLP DOI BibTeX RDF	adaptive AVI based cache invalidation scheme, data item caching, data access delay, low bandwidth mobile network, cached items, Invalidation by Absolute Validity Interval, IAVI, absolute validate interval, update interval, last update time, self-invalidation mechanism, update event, invalidation report size, mobile computing, mobile computing systems, database server, system parameters, mobile clients, real time properties, real time property, invalidation report, mean response time
2	Steve Goddard	Analyzing the Real-Time Properties of a Dataflow Execution Paradigm using a Synthetic Aperture Radar Application. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1997	DBLP DOI BibTeX RDF
2	Reino Kurki-Suonio	Stepwise Design of Real-Time Systems.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	stepwise design method, closed-system modularity, scheduling, real-time systems, real-time systems, formal specification, temporal logic, temporal logic, reactive systems, formal reasoning, real-time properties
2	Connie U. Smith, Lloyd G. Williams	Software Performance Engineering: A Case Study Including Performance Comparison with Design Alternatives.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	performance objectives, real-time systems, software quality, software reliability, reusability, maintainability, quality control, software performance engineering, SPE, understandability, performance requirements, design alternatives, real-time properties
2	Xavier Nicollin, Joseph Sifakis, Sergio Yovine	Compiling Real-Time Specifications into Extended Automata.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	extended automata, simple specification language, watchdog constructs, state variables, event-driven execution mode, efficient code generation, real-time systems, real-time systems, complexity, formal specification, specification languages, timed automata, program compilers, symbolic model-checking, automata theory, communicating sequential processes, communicating processes, timeout, real-time properties, real-time specifications
2	David B. Skillicorn, Janice I. Glasgow	Real-Time Specification Using Lucid.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	external requirements, meaning-preserving transformations, behavioral semantics, architectural constraints, real-time systems, real-time systems, formal specification, execution time, proof system, functional specification, real-time properties, Lucid
1	Christian Krause, Holger Giese	Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements	INFINITY	2011	DBLP DOI BibTeX RDF
1	David A. Basin, Felix Klaedtke, Eugen Zalinescu	Algorithms for Monitoring Real-Time Properties.	RV	2011	DBLP DOI BibTeX RDF
1	Joris Rehm	Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method.	STTT	2010	DBLP DOI BibTeX RDF
1	Béatrice Bérard, Serge Haddad, Mathieu Sassolas	Real Time Properties for Interrupt Timed Automata.	TIME	2010	DBLP DOI BibTeX RDF
1	Wolfgang Müller 0003, Marcio F. da S. Oliveira, Henning Zabel, Markus Becker	Verification of real-time properties for Hardware-dependent Software.	HLDVT	2010	DBLP DOI BibTeX RDF
1	Junkil Park, Jungjae Lee, Jin-Young Choi, Insup Lee	Model Checking of Real-Time Properties of Resource-Bound Process Algebra.	IEICE Transactions	2009	DBLP BibTeX RDF
1	Edison Pignaton de Freitas, Tales Heimfarth, Marco A. Wehrmeister, Flávio Rech Wagner, Armando Morado Ferreira, Carlos Eduardo Pereira, Tony Larsson	Using a Link Metric to Improve Communication Mechanisms and Real-Time Properties in an Adaptive Middleware for Heterogeneous Sensor Networks.	ISA	2009	DBLP DOI BibTeX RDF	QoS enhancement, Middleware support mechanisms, Link metric, Heterogeneous Wireless Sensor Networks
1	Dario Vieira, Elisangela Rodrigues Vieira	Network Monitoring with Real-Time Properties: A Step Forward.	SERA (selected papers)	2009	DBLP DOI BibTeX RDF
1	Nan Guan, Martin Stigge, Wang Yi, Ge Yu	Cache-aware scheduling and analysis for multicores.	EMSOFT	2009	DBLP DOI BibTeX RDF	real-time systems, multicores, schedulability analysis, cache partitioning
1	Ansgar Radermacher, Arnaud Cuccuru, Sébastien Gérard, François Terrier	Generating execution infrastructures for component-oriented specifications with a model driven toolchain: a case study for MARTE's GCM and real-time annotations.	GPCE	2009	DBLP DOI BibTeX RDF	middleware, model-driven engineering, component models, connectors, MARTE
1	Dipankar Das 0002, P. P. Chakrabarti, Rajeev Kumar	Scenario-based timing verification of multiprocessor embedded applications.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	execution scenarios, real time systems, static timing analysis, Timing verification
1	Min-Young Nam, Rodolfo Pellizzoni, Lui Sha, Richard M. Bradford	ASIIST: Application Specific I/O Integration Support Tool for Real-Time Bus Architecture Designs.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Luca Benini	Predictability vs. Efficiency in the Multicore Era: Fight of Titans or Happy Ever after?.	CAV	2009	DBLP DOI BibTeX RDF
1	Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura	Formal Specification and Analysis of Timing Properties in Software Systems.	FASE	2009	DBLP DOI BibTeX RDF
1	Germán Regis, Nazareno Aguirre, T. S. E. Maibaum	Specifying and Verifying Business Processes Using PPML.	ICFEM	2009	DBLP DOI BibTeX RDF
1	Miaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn	Design and Verification of Fault-Tolerant Components.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	Fault-tolerance, model checking, abstraction, real-time embedded systems
1	Pawel Gburzynski, Bozena Kaminska	Testing Real-Time Properties of Embedded Systems.	ESA	2008	DBLP BibTeX RDF
1	Lars Grunske	Specification patterns for probabilistic quality properties.	ICSE	2008	DBLP DOI BibTeX RDF	csl, pctl, pctl*, probabilistic quality, probabilistic quality patterns, security, performance, reliability, safety, specification patterns
1	Moris Behnam, Insik Shin, Thomas Nolte, Mikael Nolin	An Overrun Method to Support Composition of Semi-independent Real-Time Components.	COMPSAC	2008	DBLP DOI BibTeX RDF	Logical resource sharing, Real time systems, Composition, Hierarchical scheduling
1	Michael Jiang, Zhihui Yang, Anant Athale	A Model-Based Approach to Implementing Real-Time Mobile Services.	COMPSAC	2008	DBLP DOI BibTeX RDF	web services, Service Oriented Architecture, Mobile service, Enterprise Application Integration, Real-time services
1	Moris Behnam, Insik Shin, Thomas Nolte, Mikael Nolin	Scheduling of semi-independent real-time components: Overrun methods and resource holding times.	ETFA	2008	DBLP DOI BibTeX RDF
1	Vaclav Mikolasek, Astrit Ademaj, Stanislav Racek	Segmentation of standard ethernet messages in the time-triggered ethernet.	ETFA	2008	DBLP DOI BibTeX RDF
1	Dominique Bertrand, Anne-Marie Déplanche, Sébastien Faucou, Olivier H. Roux	A Study of the AADL Mode Change Protocol.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Maria Sorea, Bruno Dutertre, Wilfried Steiner	Modeling and Verification of Time-Triggered Communication Protocols.	ISORC	2008	DBLP DOI BibTeX RDF
1	Ulrich Klehmet, Thomas Herpel, Kai-Steffen Jens Hielscher, Reinhard German	Real-Time Guarantees for CAN Traffic.	VTC Spring	2008	DBLP DOI BibTeX RDF
1	Joël Ouaknine, James Worrell	Some Recent Results in Metric Temporal Logic.	FORMATS	2008	DBLP DOI BibTeX RDF
1	Francesco Moscato, Salvatore Venticinque, Rocco Aversa, Beniamino Di Martino	Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework.	IDC	2008	DBLP DOI BibTeX RDF
1	Diana Alina Serbanescu, Victoria Molovata, George Din, Ina Schieferdecker, Ilja Radusch	Real-Time Testing with TTCN-3.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
1	Ji Zhang, Zhinan Zhou, Betty H. C. Cheng, Philip K. McKinley	Specifying real-time properties in autonomic systems.	ISSE	2007	DBLP DOI BibTeX RDF	Model checking, Adaptation, Temporal logic, Autonomic systems, Timing properties
1	Joris Rehm, Dominique Cansell	Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method.	ISoLA	2007	DBLP BibTeX RDF
1	Martin Kero, Johan Nordlander, Per Lindgren	A correct and useful incremental copying garbage collector.	ISMM	2007	DBLP DOI BibTeX RDF	incremental copying garbage collection, labeled transition system
1	Elias Teodoro Silva Jr., Marco A. Wehrmeister, Flávio Rech Wagner, Carlos Eduardo Pereira	An approach to improve predictability in communication services in distributed real-time embedded systems.	JTRES	2007	DBLP DOI BibTeX RDF	real-time systems, energy efficiency, embedded applications, networked embedded systems
1	John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef	Validation Support for Distributed Real-Time Embedded Systems in VDM++.	HASE	2007	DBLP DOI BibTeX RDF
1	Bart D. Theelen, Oana Florescu, Marc Geilen, Jinfeng Huang, P. H. A. van der Putten, Jeroen Voeten	Software/Hardware Engineering with the Parallel Object-Oriented Specification Language.	MEMOCODE	2007	DBLP DOI BibTeX RDF
1	Xianli Jin, Huadong Ma, Zonghua Gu	Real-Time Component Composition Using Hierarchical Timed Automata.	QSIC	2007	DBLP DOI BibTeX RDF	hierarchical timed automata, real-time, component, labeled transition systems
1	Anthony Rowe, Dhiraj Goel, Raj Rajkumar	FireFly Mosaic: A Vision-Enabled Wireless Sensor Networking System.	RTSS	2007	DBLP DOI BibTeX RDF
1	K. Lano	Formal Specification using Interaction Diagrams.	SEFM	2007	DBLP DOI BibTeX RDF
1	Oded Maler, Dejan Nickovic, Amir Pnueli	On Synthesizing Controllers from Bounded-Response Properties.	CAV	2007	DBLP DOI BibTeX RDF
1	Robin Sharp, Michael R. Hansen	Timed Traces and Strand Spaces.	CSR	2007	DBLP DOI BibTeX RDF	verification, real-time, Security protocols, interval logic
1	Satoshi Yamane	Theory and Practice of Probabilistic Timed Game for Embedded Systems.	ICESS	2007	DBLP DOI BibTeX RDF	game-theoretic approach, probabilistic timed game automaton, reachability game, formal specification, formal verification
1	Sebastian Voss	Scheduling in Time-Triggered Networks.	OTM Workshops	2007	DBLP DOI BibTeX RDF
1	Eric Verhulst, Gjalt G. de Jong	OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling.	SDL Forum	2007	DBLP DOI BibTeX RDF
1	Jinfeng Huang, Jeroen Voeten, Henk Corporaal	Predictable real-time software synthesis.	Real-Time Systems	2007	DBLP DOI BibTeX RDF	Real-time systems, Formal methods, Program synthesis
1	Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten	Models and temporal logical specifications for timed component connectors.	Software and System Modeling	2007	DBLP DOI BibTeX RDF	1998 ACM Computing Classsification C.2.4, D.1.3, D.2.4, D.2.6, D.2.11, D.2.13, D.3.2, D.3.3, F.1.2, F.3.1, F.3.3, F.3.2
1	María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva	Verifying Real-Time Properties of tccp Programs.	J. UCS	2006	DBLP BibTeX RDF
1	Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt	Verifying distributed real-time properties of embedded systems via graph transformations and model checking.	Real-Time Systems	2006	DBLP DOI BibTeX RDF	Distributed real-time, Model checking, Embedded systems, Schedulability analysis, Component middleware
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	Huaikou Miao, Zhicheng Wen	An Approach to Extending Object-Z with Real-Time.	DELTA	2006	DBLP DOI BibTeX RDF
1	Xinglei Zhu, Gerald Beauregard, Lonce L. Wyse	Real-Time Iterative Spectrum Inversion with Look-Ahead.	ICME	2006	DBLP DOI BibTeX RDF
1	Steffen Stein, Arne Hamann, Rolf Ernst	Real-Time Property Verification in Organic Computing Systems.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Uwe Brinkschulte, Mathias Pacher, Florentin Picioroaga, Stefan Gaa	Evaluation of the Komodo Microcontroller and the OSA+ Middleware Using an Autonomous Guided Vehicle.	ISORC	2006	DBLP DOI BibTeX RDF	Autonomous guided vehicle, multi-threaded microcontroller, real-time middleware
1	Jinfeng Huang, Jeroen Voeten, Henk Corporaal	Correctness-preserving synthesis for real-time control software.	QSIC	2006	DBLP DOI BibTeX RDF
1	Ernesto Wandeler, Lothar Thiele	Interface-Based Design of Real-Time Systems with Hierarchical Scheduling.	IEEE Real Time Technology and Applications Symposium	2006	DBLP DOI BibTeX RDF
1	Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal	Branching-Time Property Preservation Between Real-Time Systems.	ATVA	2006	DBLP DOI BibTeX RDF
1	Egor Bondarev, Michel R. V. Chaudron, Peter H. N. de With	A Process for Resolving Performance Trade-Offs in Component-Based Architectures.	CBSE	2006	DBLP DOI BibTeX RDF
1	Yoon Seok Jeong, Tae Wan Kim, Chun-Hyon Chang	A Sharing and Delivery Scheme for Monitoring TMO-Based Real-Time Systems.	International Conference on Computational Science	2006	DBLP DOI BibTeX RDF
1	Simon Tjell	Model-Based Analysis of a Windmill Communication System.	DIPES	2006	DBLP DOI BibTeX RDF	Real-time systems, performance analysis, communication protocol, Coloured Petri Nets
1	Gabor Madl, Nikil Dutt	Domain-Specific Modeling of Power Aware Distributed Real-Time Embedded Systems.	SAMOS	2006	DBLP DOI BibTeX RDF
1	Didier Lime, Olivier H. Roux	Model Checking of Time Petri Nets Using the State Class Timed Automaton.	Discrete Event Dynamic Systems	2006	DBLP DOI BibTeX RDF	Dense-time systems, Model-checking, Timed automata, Time petri nets
1	Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero	A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	scenario-based verification, model checking, formal methods, Requirements/specifications
1	Lalita Jategaonkar Jagadeesan, Ramesh Viswanathan	Passive mid-stream monitoring of real-time properties.	EMSOFT	2005	DBLP DOI BibTeX RDF	monitoring, timed automata, passive testing, run-time verification
1	Ernesto Wandeler, Lothar Thiele	Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling.	EMSOFT	2005	DBLP DOI BibTeX RDF	real-time interfaces, performance analysis, hierarchical scheduling, real-time calculus
1	Sascha Konrad, Betty H. C. Cheng	Real-time specification patterns.	ICSE	2005	DBLP DOI BibTeX RDF	embedded systems, formal specification, patterns, real-time requirements
1	Gustaf Naeser, Kristina Lundqvist, Lars Asplund	Temporal skeletons for verifying time.	SIGAda	2005	DBLP DOI BibTeX RDF	verification, ada, formal notation
1	Udo Steinberg, Jean Wolter, Hermann Härtig	Fast Component Interaction for Real-Time Systems.	ECRTS	2005	DBLP DOI BibTeX RDF
1	Anders Nilsson, Sven Gestegard Robertz	On Real-Time Performance of Ahead-of-Time Compiled Java.	ISORC	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	Thomas Nolte, Mikael Nolin, Hans A. Hansson	Real-time server-based communication with CAN.	IEEE Trans. Industrial Informatics	2005	DBLP DOI BibTeX RDF
1	Johan Fredriksson, Kristian Sandström, Mikael Åkerholm	Optimizing Resource Usage in Component-Based Real-Time Systems.	CBSE	2005	DBLP DOI BibTeX RDF
1	Yosuke Mutsuda, Takaaki Kato, Satoshi Yamane	Specification and Verification Techniques of Embedded Systems Using Probabilistic Linear Hybrid Automata.	ICESS	2005	DBLP DOI BibTeX RDF
1	Oana Florescu, Jeroen Voeten, Henk Corporaal	A Unified Model for Analysis of Real-Time Properties.	ISoLA (Preliminary proceedings)	2004	DBLP BibTeX RDF
1	Ed Brinksma	Testing Times: On Model-Driven Test Generation for Non-Deterministic Real-Time Systems.	ACSD	2004	DBLP DOI BibTeX RDF
1	Alexander Krupp, Wolfgang Müller 0003, Ian Oliver	Formal Refinement and Model Checking of an Echo Cancellation Unit.	DATE	2004	DBLP DOI BibTeX RDF
1	Alexander Maxiaguine, Simon Künzli, Lothar Thiele	Workload Characterization Model for Tasks with Variable Execution Demand.	DATE	2004	DBLP DOI BibTeX RDF
1	Pradeep Gore, Irfan Pyarali, Christopher D. Gill, Douglas C. Schmidt	The Design and Performance of a Real-Time Notification Service.	IEEE Real-Time and Embedded Technology and Applications Symposium	2004	DBLP DOI BibTeX RDF	Distributed real-time embedded (DRE) systems, Event / Notification Services, Quality of Service (QoS), CORBA
1	Dan Henriksson, Tomas Olsson	Maximizing the Use of Computational Resources in Multi-Camera Feedback Control.	IEEE Real-Time and Embedded Technology and Applications Symposium	2004	DBLP DOI BibTeX RDF
1	Venkita Subramonian, Guoliang Xing, Christopher D. Gill, Chenyang Lu, Ron Cytron	Middleware Specialization for Memory-Constrained Networked Embedded Systems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2004	DBLP DOI BibTeX RDF
1	Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten	Models and Temporal Logics for Timed Component Connectors.	SEFM	2004	DBLP DOI BibTeX RDF
1	Stephan Flake, Wolfgang Müller 0003, Ulrich Pape, Jürgen Ruf	Specification and Formal Verification of Temporal Properties of Production Automation Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel	Modeling and Formal Verification of Production Automation Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
1	Chang-Sun Shin, Chang-Won Jeong, Su-Chong Joo	Construction of Distributed Object Group Framework and Its Execution Analysis Using Distributed Application Simulation.	EUC	2004	DBLP DOI BibTeX RDF
1	Francesco Palmieri	MPLS DiffServ-Enabled Traffic Engineering: A Scalable QoS Model for Optical-Speed Media Streaming Networks.	HSNMC	2004	DBLP DOI BibTeX RDF
1	Sumit Kumar Basu	t-UNITY - A Formal Framework for Modeling and Reasoning About Timing Constraints in Real-Time Systems.	IWDC	2004	DBLP DOI BibTeX RDF
1	Stephan Flake	UML-based specification of state oriented real time properties.		2003	RDF
1	David B. Stewart, Gaurav Arora	A Tool for Analyzing and Fine Tuning the Real-Time Properties of an Embedded System.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Real-time systems theory, aperiodic servers, periodic threads, logic analyzer, in-circuit emulator, simulation, graphical user interface, operating systems, profiling, priority, deadline, performance monitors, timing error
1	Michael R. Hansen, Robin Sharp	Using interval logics for temporal analysis of security protocols.	FMSE	2003	DBLP DOI BibTeX RDF	verification, real-time, security protocols, interval logic
1	Mario Baldi, Yoram Ofek	A comparison of ring and tree embedding for real-time group multicast.	IEEE/ACM Trans. Netw.	2003	DBLP DOI BibTeX RDF	multicast channels, real-time system, synchronization, timing, computer networks, multimedia systems, multimedia communications, flow control, communication systems
1	Tales Heimfarth, Marcelo Götz, Franz J. Rammig, Flávio Rech Wagner	RTC: A Real-Time Communication Middleware on Top of RTAI-Linux . (PDF / PS)	ISORC	2003	DBLP DOI BibTeX RDF