The Worst Case Execution Time Tool Challenge 2006: The External Test (Englisch)
- Neue Suche nach: Tan, Lili
- Neue Suche nach: Tan, Lili
In:
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)
;
241-248
;
2006
-
ISBN:
- Aufsatz (Konferenz) / Elektronische Ressource
-
Titel:The Worst Case Execution Time Tool Challenge 2006: The External Test
-
Beteiligte:Tan, Lili ( Autor:in )
-
Erschienen in:
-
Verlag:
- Neue Suche nach: IEEE
-
Erscheinungsdatum:01.11.2006
-
Format / Umfang:375055 byte
-
ISBN:
-
DOI:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract)Fitzgerald, John S. / Larsen, Peter Gorm et al. | 2006
- 5
-
Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS)Oheimb, David van et al. | 2006
- 6
-
Certificates of Resource Usage on Mobile TelephonesJensen, Thomas et al. | 2006
- 8
-
Program Safety via Programmer SafetyKiniry, Joseph et al. | 2006
- 9
-
The AUTOSAR Timing Model – Status and Challenges –Richter, Kai et al. | 2006
- 11
-
Analysis Techniques for Service ModelsReisig, Wolfgang / Fahland, Dirk / Lohmann, Niels / Massuthe, Peter / Stahl, Christian / Weinberg, Daniela / Wolf, Karsten / Kaschner, Kathrin et al. | 2006
- 18
-
Software Assurance Research Infusion: The NASA ExperienceHinchey, Michael G. / Pressburger, Thomas / Feather, Martin S. / Markosian, Lawrence / Deadrick, Wes et al. | 2006
- 28
-
Verifying LTL Properties on Hierarchical Systems: Application to Aircraft AutopilotAchhab, Mohammed Al / Hammad, Ahmed / Mountassir, Hassan et al. | 2006
- 36
-
Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling LanguageAit-Ameur, Yamine / Cortier, Alexandre / Delmas, Rmi / Wiels, Virginie et al. | 2006
- 45
-
Reasoning about Airport Security Regulations Using the Focal EnvironmentDelahaye, David / Étienne, Jean-Frédéric / Donzeau-Gouge, Véronique Viguié et al. | 2006
- 53
-
Concurrent Testing of Java Components Using Java PathFinderMutilin, Vadim et al. | 2006
- 60
-
The UniTESK Approach to Specification-Based Validation of Hardware DesignsKamkin, Alexander et al. | 2006
- 67
-
Combining Logic and Algebraic Techniques for Program Verification in TheoremaKovács, Laura / Popov, Nikolaj / Jebelean, Tudor et al. | 2006
- 75
-
Automatic Test Generation for Model-Based Code GeneratorsZelenov, Sergey V. / Silakov, Denis V. / Petrenko, Alexander K. / Conrad, Mirko / Fey, Ines et al. | 2006
- 82
-
Retrenching the Purse: Hashing Injective CLEAR Codes, and Security PropertiesBanach, Richard / Poppleton, Michael / Jeske, Czeslaw / Stepney, Susan et al. | 2006
- 91
-
Formal Modelling of Dynamic Coalitions, with an Application in Chemical EngineeringBryans, Jeremy W. / Fitzgerald, John S. / Jones, Cliff B. / Mozolevsky, Igor et al. | 2006
- 99
-
CARVER: A Slicing Tool for Communicating Automata SpecificationsLabbé, Sébastien / Lapitre, Arnault et al. | 2006
- 103
-
Model-Based Development of Fault-Tolerant Embedded SoftwareBuckl, Christian / Knoll, Alois / Schrott, Gerhard et al. | 2006
- 111
-
A Formal Specification of a Programming Language: Design of PitPedersen, Leif / Reza, Hassan et al. | 2006
- 119
-
Intransitive Noninterference in Dependence GraphsHammer, Christian / Krinke, Jens / Nodes, Frank et al. | 2006
- 129
-
Formally Proved Anti-tearing Properties of Embedded C CodeAndronick, June et al. | 2006
- 137
-
Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic ExecutionDeng, Xianghua / Robby, / Hatcliff, John et al. | 2006
- 138
-
Extending Source Code Generators for Evidence-Based Software CertificationDenney, Ewen / Fischer, Bernd et al. | 2006
- 146
-
Application of Bioinformatics in the Design of Gene Expression MicroarraysKhalid, Sabah / Khan, Mohsin / Wang, Ping / Liu, Xiaohui / Li, Su-Ling et al. | 2006
- 161
-
A Novel Method for Obtaining Real Time Control Strategy Using GA for Dynamical Systems Subjected to External Arbitrary ExcitationsSaud, M. / Esat, I. I. et al. | 2006
- 169
-
Real-Coded Quantum Inspired Evolution Algorithm Applied to Engineering Optimization ProblemsAlfares, F. S. / Esat, I. I. et al. | 2006
- 177
-
Safety and Dependability Analysis of Self-Adaptive SystemsGüdemann, Matthias / Ortmeier, Frank / Reif, Wolfgang et al. | 2006
- 185
-
Organic Computing – Addressing Complexity by Controlled Self-OrganizationBranke, Jürgen / Mnif, Moez / Müller-Schloer, Christian / Prothmann, Holger / Richter, Urban / Rochner, Fabian / Schmeck, Hartmut et al. | 2006
- 192
-
Real-Time Property Verification in Organic Computing SystemsStein, Steffen / Hamann, Arne / Ernst, Rolf et al. | 2006
- 198
-
Recognizing Traffic Jams with Hovering Data CloudsFekete, Sándor P. / Schmidt, Christiane / Wegener, Axel / Fischer, Stefan et al. | 2006
- 204
-
Cost-Efficient Worst-Case Execution Time Analysis in Industrial PracticeStaschulat, Jan / Braam, Jörn C. / Ernst, Rolf / Rambow, Thomas / Busch, Rainer Schlör Rainer et al. | 2006
- 212
-
Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control SystemsSehlberg, Daniel / Ermedahl, Andreas / Gustafsson, Jan / Lisper, Björn / Wiegratz, Steffen et al. | 2006
- 220
-
Towards an Integration of Low-Level Timing Analysis and Model-Based Code GenerationFerdinand, Christian / Heckmann, Reinhold / Wolff, Hans-Jörg / Renz, Christian / Gupta, Manabendra / Parshin, Oleg et al. | 2006
- 227
-
Challenges of Timing Verification Tools in the Automotive DomainMontag, Pascal / Görzig, Steffen / Levi, Paul et al. | 2006
- 233
-
The Worst Case Execution Time Tool Challenge 2006Gustafsson, Jan et al. | 2006
- 241
-
The Worst Case Execution Time Tool Challenge 2006: The External TestTan, Lili et al. | 2006
- 249
-
Model Checking Techniques for the Performance Analysis of Delay Tolerant Networks with On-off BehaviorGaretto, Michele / Gribaudo, Marco et al. | 2006
- 255
-
Model Checking Medium Access Control for Sensor NetworksBallarini, Paolo / Miller, Alice et al. | 2006
- 263
-
Formal Techniques for the Analysis of Wireless NetworksMcIver, A. K. / Fehnker, A. et al. | 2006
- 271
-
Modeling of Sensor Networks Using XRMDemaille, Akim / Peyronnet, Sylvain / Sigoure, Benoît et al. | 2006
- 277
-
“Towards a Trusted Compiler for a Query Language for Wireless Sensor Networks.”Daniel, T. E. / Mount, S. N. I. / Newman, R. M. / Gaura, E. I. et al. | 2006
- 283
-
A Space and Time Requirements Logic for Sensor NetworksCardell-Oliver, Rachel / Reynolds, Mark / Kranz, Mark et al. | 2006
- 290
-
Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network ProtocolFruth, Matthias et al. | 2006
- 298
-
Formal Executable Models of Cell Signaling PrimitivesTalcott, Carolyn et al. | 2006
- 303
-
Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcmsKubczak, Christian / Margaria, Tiziana / Fritsch, Arno / Steffen, Bernhard et al. | 2006
- 309
-
Foundations for Web Services Orchestrations: Functional and QoS Aspects, JointlyRosario, Sidney / Benveniste, Albert / Haar, Stefan / Jard, Claude et al. | 2006
- 317
-
Service Based Enabling Service Availability in the MaTRICS: A Model-Driven ApproachBajohr, Markus / Margaria, Tiziana / Steffen, Bernhard et al. | 2006
- 325
-
Web Services for the Integration of XML-Based Content into Learning Platforms: A Three-level ModelKröger, Reinhold / Lucke, Ulrike / Schmid, Markus / Tavangarian, Djamshid et al. | 2006
- 332
-
Semi-automated Workflow SynthesisFernandes, Abilio / Breitman, Karin K. / Vieira, Tatiana A. S. C. / Casanova, Marco A. / Furtado, Antonio L. et al. | 2006
- 335
-
Context Awareness Systems Design and ReasoningDong, Jin Song / Feng, Yuzhang / Sun, Jing / Sun, Jun et al. | 2006
- 341
-
REDLIB for the Formal Verification of Embedded SystemsWang, Farn et al. | 2006
- 347
-
Synthesis and Traceability of Scenario-Based Executable ModelsGoel, Ankit / Roychoudhury, Abhik et al. | 2006
- 355
-
Towards a Framework for Scalable Model Checking of Concurrent C ProgramsWang, Ji / Yi, Xiaodong / Yang, Xuejun et al. | 2006
- 363
-
Patterns with Algebraic Properties in BPEL0Pu, Geguang / Zhu, Huibiao / He, Jifeng / Qiu, Zongyan / Yang, Hongli / Zhao, Xiangpeng et al. | 2006
- 371
-
Harnessing Theories for Tool SupportLiu, Zhiming / Mencl, Vladimir / Ravn, Anders P. / Yang, Lu et al. | 2006
- 383
-
Connecting Algebraic and Logical Descriptions of Concurrent SystemsZhan, Naijun et al. | 2006
- 392
-
Improve Model Checking Efficiency Using Specific Knowledge about the SystemZhao, Jianhua / Lei, Bin / Li, Xuandong / Zheng, Guoliang et al. | 2006
- 397
-
An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance TestingÁlvarez, José M. / Cámara, Pedro de la / Martínez, Jesús / Merino, Pedro / Pérez, Francisco C. / Morillo, Victoria et al. | 2006
- 402
-
The FMICS-jETI Platform: Status and PerspectivesMargaria, Tiziana / Kubczak, Christian / Steffen, Bernhard / Naujokat, Stefan et al. | 2006
- 408
-
Verification in the Large via Symbolic ApproximationBreuer, Peter T. / Pickin, Simon et al. | 2006
- 416
-
Implementing Influence Analysis Using Parameterised Boolean Equation SystemsGallardo, María del Mar / Joubert, Christophe / Merino, Pedro et al. | 2006
- 425
-
Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication ProtocolsIlic, Dubravka / Troubitsyna, Elena / Laibinis, Linas / Leppänen, Sari et al. | 2006
- 433
-
Comparative Analysis of Tools for Automated Software Re-engineering PurposesWagner, Christian / Margaria, Tiziana / Pagendarm, Hans-Georg et al. | 2006
- 441
-
A Formal Behavioral Semantics for TestMLGrossmann, Jürgen / Müller, Wolfgang et al. | 2006
- 449
-
An Automated Approach for Writing Alloy Specifications Using InstancesKhurshid, Sarfraz / Malik, Muhammad Zubair / Uzuncaova, Engin et al. | 2006
- 458
-
Noise Makers Need to Know Where to be Silent – Producing Schedules That Find BugsBen-Asher, Yosi / Eytani, Yaniv / Farchi, Eitan / Ur, Shmuel et al. | 2006
- 466
-
[mc]square: A Model Checker for Microcontroller CodeSchlich, Bastian / Kowalewski, Stefan et al. | 2006
- 475
-
Author index| 2006
- 478
-
Publisher's Information| 2006
- c1
-
[Cover art]| 2006
- i
-
[Title page i]| 2006
- iii
-
[Title page iii]| 2006
- iv
-
Copyright Page| 2006
- v
-
Table of Contents| 2006
- xi
-
Preface| 2006
- xii
-
Reviewers| 2006