Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Philippe Baufreton, Reinhold Heckmann |
Reliable and Precise WCET and Stack Size Determination for a Real-life Embedded Application. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
1 | Jacques Julliand, Hassan Mountassir, Emilie Oudot |
Preservation of timed properties during an incremental development by components. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
1 | Ahmed Rahni, Emmanuel Grolleau, Michaël Richard |
New worst-case analysis technique for real-time transactions. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
1 | Frédéric Boniol, Claire Pagetti, François Revest |
Formal Functionally Deterministic Scheduling. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
1 | Jean-François Hermant, Laurent George 0001 |
A C-space sensitivity analysis of Earliest Deadline First scheduling. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
1 | Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen |
Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
1 | Lydie du Bousquet, Masahide Nakamura, Ben Yan, Hiroshi Igaki |
Using Formal Methods to increase confidence in one Home Network System implementation: Case study. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
1 | Jean-Paul Blanquart, Gérard Bulsa, David Lesens, George Mamais, Maxime Perrotin |
Formal Modeling of Data. A Case Study for Space Applications. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
1 | Sylvain Camier, Damien Chabrol, Vincent David, Christophe Aussaguès |
OASIS formal approach for distributed safety-critical real-time system design. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
1 | Michael Leuschel, Daniel Plagge |
Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
1 | Andreas Bauer 0002, Martin Leucker, Christian Schallhart, Michael Tautschnig |
Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
1 | Muzammil Shahbaz, Roland Groz |
Using Invariant Detection Mechanism in Black Box Inference. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
1 | Patrick Cousot |
Avionic Software Verification by Abstract Interpretation. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
1 | Odile Laurent |
The aeronautical systems development challenges for Airbus. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
1 | Jérôme Ermont, Frédéric Boniol |
Verification of embbeded systems with preemption: a negative result. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
1 | Paul Caspi |
Model-based development of embedded control systems: historical perspective and recent advances. |
ISoLA |
2007 |
DBLP BibTeX RDF |
|
1 | Sabah Khalid, Mohsin Khan, Ping Wang, Xiaohui Liu 0001, Suling Li |
Application of Bioinformatics in the Design of Gene Expression Microarrays. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy W. Bryans, John S. Fitzgerald, Cliff B. Jones, Igor Mozolevsky |
Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Christian Hammer 0001, Jens Krinke, Frank Nodes |
Intransitive Noninterference in Dependence Graphs. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Abílio Fernandes, Karin Koogan Breitman, Tatiana Almeida S. C. Vieira, Marco A. Casanova, António L. Furtado 0001 |
Semi-automated Workflow Synthesis. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tiziana Margaria, Bernhard Steffen (eds.) |
Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | T. E. Daniel, S. N. I. Mount, Robert M. Newman, Elena I. Gaura |
"Towards a Trusted Compiler for a Query Language for Wireless Sensor Networks.". |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jin Song Dong, Yuzhang Feng, Jing Sun 0002, Jun Sun 0001 |
Context Awareness Systems Design and Reasoning. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jan Staschulat, Jörn-Christian Braam, Rolf Ernst, Thomas Rambow, Rainer Schlör, Rainer Busch |
Cost-Efficient Worst-Case Execution Time Analysis in Industrial Practice. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppänen |
Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Güdemann, Frank Ortmeier, Wolfgang Reif |
Safety and Dependability Analysis of Self-Adaptive Systems. |
ISoLA |
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 | Joseph Kiniry |
Program Safety via Programmer Safety. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Yamine Aït Ameur, Remi Delmas, Alexandre Cortier, Virginie Wiels |
Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner |
Analysis Techniques for Service Models. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | M. Saud, Ibrahim I. Esat |
A Novel Method for Obtaining Real Time Control Strategy Using GA for Dynamical Systems Subjected to External Arbitrary Excitations. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Mohammed Al Achhab, Ahmed Hammad, Hassan Mountassir |
Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Rachel Cardell-Oliver, Mark Reynolds 0001, Mark Kranz |
A Space and Time Requirements Logic for Sensor Networks. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Xianghua Deng, Robby, John Hatcliff |
Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | John S. Fitzgerald, Peter Gorm Larsen |
Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract). |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Großmann, Wolfgang Müller 0003 |
A Formal Behavioral Semantics for TestML. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Michele Garetto, Marco Gribaudo |
Model Checking Techniques for the Performance Analysis of Delay Tolerant Networks with On-off Behavior. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney |
Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Geguang Pu, Huibiao Zhu, Jifeng He 0001, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao |
Patterns with Algebraic Properties in BPEL0. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Bastian Schlich, Stefan Kowalewski |
[mc]square: A Model Checker for Microcontroller Code. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | F. S. Alfares, Ibrahim I. Esat |
Real-Coded Quantum Inspired Evolution Algorithm Applied to Engineering Optimization Problems. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Fruth |
Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tiziana Margaria, Christian Kubczak, Bernhard Steffen, Stefan Naujokat |
The FMICS-jETI Platform: Status and Perspectives. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani, Shmuel Ur |
Noise Makers Need to Know Where to be Silent - Producing Schedules That Find Bugs. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Markus Bajohr, Tiziana Margaria, Bernhard Steffen |
Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | José M. Alvarez, Pedro de la Cámara, Jesús Martínez, Pedro Merino 0001, Francisco C. Perez, Victoria Morillo |
An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Lili Tan |
The Worst Case Execution Time Tool Challenge 2006: The External Test. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Branke, Moez Mnif, Christian Müller-Schloer, Holger Prothmann, Urban Richter, Fabian Rochner, Hartmut Schmeck |
Organic Computing - Addressing Complexity by Controlled Self-Organization. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jan Gustafsson |
The Worst Case Execution Time Tool Challenge 2006. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Vadim S. Mutilin |
Concurrent Testing of Java Components Using Java PathFinder. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Kamkin |
The UniTESK Approach to Specification-Based Validation of Hardware Designs. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick |
Software Assurance Research Infusion: The NASA Experience. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Christian Kubczak, Tiziana Margaria, Arno Fritsch, Bernhard Steffen |
Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | María-del-Mar Gallardo, Christophe Joubert, Pedro Merino 0001 |
Implementing Influence Analysis Using Parameterised Boolean Equation Systems. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Zhiming Liu 0001, Vladimir Mencl, Anders P. Ravn, Lu Yang |
Harnessing Theories for Tool Support. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ankit Goel, Abhik Roychoudhury |
Synthesis and Traceability of Scenario-Based Executable Models. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Christian Ferdinand, Reinhold Heckmann, Hans-Jörg Wolff, Christian Renz, Manabendra Gupta, Oleg Parshin |
Towards an Integration of Low-Level Timing Analysis and Model-Based Code Generation. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard |
Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge |
Reasoning about Airport Security Regulations Using the Focal Environment. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jianhua Zhao, Bin Lei, Xuandong Li, Guoliang Zheng |
Improve Model Checking Efficiency Using Specific Knowledge about the System. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Leif Pedersen, Hassan Reza |
A Formal Specification of a Programming Language: Design of Pit. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Laura Kovács, Nikolaj Popov, Tudor Jebelean |
Combining Logic and Algebraic Techniques for Program Verification in Theorema. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Sehlberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Steffen Wiegratz |
Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ji Wang 0001, Xiaodong Yi 0002, Xuejun Yang |
Towards a Framework for Scalable Model Checking of Concurrent C Programs. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Carolyn L. Talcott |
Formal Executable Models of Cell Signaling Primitives. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sarfraz Khurshid, Muhammad Zubair Malik, Engin Uzuncaova |
An Automated Approach for Writing Alloy Specifications Using Instances. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Christian Buckl, Alois C. Knoll, Gerhard Schrott |
Model-Based Development of Fault-Tolerant Embedded Software. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | |
Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006 |
ISoLA |
2006 |
DBLP BibTeX RDF |
|
1 | A. K. McIver, Ansgar Fehnker |
Formal Techniques for the Analysis of Wireless Networks. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | June Andronick |
Formally Proved Anti-tearing Properties of Embedded C Code. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Ballarini, Alice Miller 0001 |
Model Checking Medium Access Control for Sensor Networks. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Thomas P. Jensen |
Certificates of Resource Usage on Mobile Telephones. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Peter T. Breuer, Simon Pickin 0001 |
Verification in the Large via Symbolic Approximation. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Akim Demaille, Sylvain Peyronnet, Benoît Sigoure |
Modeling of Sensor Networks Using XRM. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Farn Wang |
REDLIB for the Formal Verification of Embedded Systems. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Reinhold Kröger, Ulrike Lucke, Markus Schmid 0001, Djamshid Tavangarian |
Web Services for the Integration of XML-Based Content into Learning Platforms: A Three-level Model. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ewen Denney, Bernd Fischer 0002 |
Extending Source Code Generators for Evidence-Based Software Certification. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sergey V. Zelenov, Denis V. Silakov, Alexander K. Petrenko, Mirko Conrad, Ines Fey |
Automatic Test Generation for Model-Based Code Generators. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Naijun Zhan |
Connecting Algebraic and Logical Descriptions of Concurrent Systems. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | David von Oheimb |
Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS). |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Christian Wagner 0005, Tiziana Margaria, Hans-Georg Pagendarm |
Comparative Analysis of Tools for Automated Software Re-engineering Purposes. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Montag, Steffen Görzig, Paul Levi |
Challenges of Timing Verification Tools in the Automotive Domain. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sándor P. Fekete, Christiane Schmidt 0001, Axel Wegener, Stefan Fischer 0001 |
Recognizing Traffic Jams with Hovering Data Clouds. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Labbé 0002, Arnault Lapitre |
CARVER: A Slicing Tool for Communicating Automata Specifications. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Kai Richter |
The AUTOSAR Timing Model - Status and Challenges -. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, Björn Lisper |
Static Timing Analysis of Real-Time Operating System Code. |
ISoLA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Wolf Zimmermann |
On the Correctness of Transformations in Compiler Back-Ends. |
ISoLA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund |
Designing Safe, Reliable Systems Using Scade. |
ISoLA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Dave Clarke 0001, David Costa 0001, Farhad Arbab |
Modelling Coordination in Biological Systems. |
ISoLA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Anders Wall, Johan Andersson, Christer Norström |
Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings. |
ISoLA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff |
A Case Study in Domain-Customized Model Checking for Real-Time Component Software. |
ISoLA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andries Stam, Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Leendert W. N. van der Torre |
Using XML Transformations for Enterprise Architectures. |
ISoLA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Farhad Arbab, Joost N. Kok |
Interaction and Coordination of Tools for Structured Data. |
ISoLA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Daniel J. Quinlan, Markus Schordan, Qing Yi, Andreas Sæbjørnsen |
Classification and Utilization of Abstractions for Optimization. |
ISoLA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Byron Cook, Daniel Kroening, Natasha Sharygina |
Accurate Theorem Proving for Program Verification. |
ISoLA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sriram K. Rajamani, Jakob Rehof |
Models for Contract Conformance. |
ISoLA |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Joost Jacob |
A Rule Markup Language and Its Application to UML. |
ISoLA |
2004 |
DBLP DOI BibTeX RDF |
|