|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 74 occurrences of 54 keywords
|
|
|
Results
Found 69 publication records. Showing 69 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
144 | R. Venky, Ulka Shrotri, Aniket Kulkarni, Prasad Bokil |
STATEMATE to SCADE model translation. |
ISEC |
2008 |
DBLP DOI BibTeX RDF |
SCADE, activity charts, model, translation, statecharts, transitions, state, reaction, STATEMATE |
126 | Matthias Güdemann, Frank Ortmeier, Wolfgang Reif |
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
deductive cause consequence analysis, dcca, SCADE, formal methods, dependability, safety critical systems, safety analysis |
117 | Gérard Berry |
Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
|
90 | Rupert Schlick, Wolfgang Herzner, Thierry Le Sergent |
Checking SCADE Models for Correct Usage of Physical Units. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
physical units, dependable embedded systems, model based software development, SCADE, DECOS, verification, safety, error detection |
81 | Matthias Güdemann, Andreas Angerer, Frank Ortmeier, Wolfgang Reif |
Modeling of self-adaptive systems with SCADE. |
ISCAS |
2007 |
DBLP DOI BibTeX RDF |
|
81 | Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet |
Mode-Automata Based Methodology for Scade. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
81 | Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund |
Designing Safe, Reliable Systems Using Scade. |
ISoLA |
2004 |
DBLP DOI BibTeX RDF |
|
63 | Claus Traulsen, Reinhard von Hanxleden |
Reactive parallel processing for synchronous dataflow. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
Scade, reactive processors, synchronous languages, parallel execution, synchronous dataflow, Lustre |
63 | Samar Dajani-Brown, Darren D. Cofer, Amar Bouali |
Formal Verification of an Avionics Sensor Voter Using SCADE. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
54 | Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber 0017 |
Formal Design of Distributed Control Systems with Lustre. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
53 | Cédric Auger |
Compilation certifiée de SCADE/LUSTRE. (Certified compilation of SCADE/LUSTRE). |
|
2013 |
RDF |
|
53 | Virginia Papailiopoulou |
Automatic testing of Lustre/SCADE programs. (Test automatique de programmes Lustre/SCADE). |
|
2010 |
RDF |
|
45 | Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço |
Experience report: using objective caml to develop safety-critical embedded tools in a certification framework. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
SCADE SUITE 6, safety critical, objective caml, DO-178B |
45 | Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert |
From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
scheduling, embedded software, synchronous languages, simulink, lustre, code distribution |
27 | Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels |
Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
Analysis of counterexamples, SCADE models, structural paths |
27 | Michel Turin |
Safety critical software development for space application - invited talk abstract. |
WOSP |
2005 |
DBLP DOI BibTeX RDF |
EADS space, MELANIE, SCADE®, ariane 5 launcher, embedded space software, monte-carlo testing, software static analysis, software verification, software safety, software methodology |
27 | Mikaela Angelina Uy, Ricardo Martin-Brualla, Leonidas J. Guibas, Ke Li |
SCADE: NeRFs from Space Carving with Ambiguity-Aware Depth Estimates. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Mikaela Angelina Uy, Ricardo Martin-Brualla, Leonidas J. Guibas, Ke Li |
SCADE: NeRFs from Space Carving with Ambiguity-Aware Depth Estimates. |
CVPR |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Elson Kurian, Pietro Braione, Daniela Briola, Dario D'Avino, Matteo Modonato, Giovanni Denaro |
Automated Test Case Generation for Safety-Critical Software in Scade. |
ICSE-SEIP |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Farshid Alambeigi, Sahba Aghajani Pedram, Jason L. Speyer, Jacob Rosen 0001, Iulian Iordachita, Russell H. Taylor, Mehran Armand |
SCADE: Simultaneous Sensor Calibration and Deformation Estimation of FBG-Equipped Unmodeled Continuum Manipulators. |
IEEE Trans. Robotics |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Lina Marsso |
Specifying a Cryptographical Protocol in Lustre and SCADE. |
MARS@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Jean-Louis Colaço |
An overview of Scade, a synchronous language for safety-critical software (keynote). |
REBLS@SPLASH |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Jan Toennemann, Adina Aniculaesei, Andreas Rausch |
Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations. |
SAST |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Sean Kauffman, Sebastian Fischmeister |
The Effects of Toolchain Configuration on the WCET of SCADE Generated Software: Dataset. |
|
2019 |
DOI RDF |
|
27 | Jian Shi, Jianqi Shi, Yanhong Huang, Jiawen Xiong, Qing She |
Scade2Nu : A Tool for Verifying Safety Requirements of SCADE Models with Temporal Specifications. |
REFSQ Workshops |
2019 |
DBLP BibTeX RDF |
|
27 | Adina Aniculaesei, Andreas Vorwald, Andreas Rausch |
Using the SCADE Toolchain to Generate Requirements-Based Test Cases for an Adaptive Cruise Control System. |
MoDELS (Companion) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet |
Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore. |
FDL |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Haifeng Wang, Bin Ning, Tan Chen, Shengjie Tang, Yong Zhang 0028, Ming Chai |
Route safety verification of train control system by FTA modeling in SCADE. |
ITSC |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Jean-Louis Colaço, Bruno Pagano, Marc Pouzet |
SCADE 6: A formal language for embedded critical software development (invited paper). |
TASE |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Stéphane Fechter, Myriam Marchand |
A Feedback Experience on Delta SR: A Smart Tool to Compare Complex SCADE Models. |
CSDM |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Trinh Cong Duy, Nguyen Thanh Binh 0002, Ioannis Parissis |
A regression testing approach for Lustre/SCADE programs. |
SoICT |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Jie Qian, Jing Liu 0012, Xiang Chen, Junfeng Sun |
Modeling and Verification of Zone Controller: The SCADE Experience in China's Railway Systems. |
COUFLESS@ICSE |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Henning Basold |
Transformation von Scade-Modellen zur SMT-basierten Verifikation. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
27 | Henning Basold, Henning Günther, Michaela Huhn, Stefan Milius |
An Open Alternative for SMT-Based Verification of Scade Models. |
FMICS |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Attila Ors Kilyen, László Barabás |
Scade interpreter for measuring static and dynamic software metrics. |
SISY |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Virginia Papailiopoulou, Besnik Seljimi, Ioannis Parissis |
Automatic Testing of LUSTRE/SCADE Programs. |
Model-Based Testing for Embedded Systems |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis |
Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Thierry Le Sergent |
SCADE: A Comprehensive Framework for Critical System and Software Engineering. |
SDL Forum |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Michaela Huhn, Dirk Scharff |
Some Observations on SCADE Model Clones. |
MBEES |
2010 |
DBLP BibTeX RDF |
|
27 | Jan Mikác, Paul Caspi |
Flush: an example of development by refinements in SCADE/Lustre. |
Int. J. Softw. Tools Technol. Transf. |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Abdesselam Lakehal, Ioannis Parissis |
Structural coverage criteria for LUSTRE/SCADE programs. |
Softw. Test. Verification Reliab. |
2009 |
DBLP DOI BibTeX RDF |
|
27 | María-del-Mar Gallardo, Pedro Merino 0001, Laura Panizo, Antonio Linares |
Using SCADE for Decision Support in Dam Management. |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
27 | Stefan Milius, Uwe Steinke |
Modelbasierte Softwareentwicklung mit SCADE in der Eisenbahnautomatisierung. |
MBEES |
2008 |
DBLP BibTeX RDF |
|
27 | Virginia Papailiopoulou |
Automatic Test Generation for LUSTRE/SCADE Programs. |
ASE |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Marcelin Fortes da Cruz, Paul Raistrick |
AMBERS: Improving Requirements Specification Through Assertive Models and SCADE/DOORS Integration. |
SSS |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Anjali Joshi, Mats Per Erik Heimdahl |
Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Jan Mikác, Paul Caspi |
Flush: a system development tool based on scade/lustre. |
FMICS |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Guy Durrieu, Odile Laurent, Christel Seguin, Virginie Wiels |
Formal proof and test case generation for critical embedded systems using SCADE. |
IFIP Congress Topical Sessions |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund |
Designing Safe, Reliable Systems using Scade. |
ISoLA (Preliminary proceedings) |
2004 |
DBLP BibTeX RDF |
|
18 | Paul Caspi, Jean-Louis Colaço, Léonard Gérard, Marc Pouzet, Pascal Raymond |
Synchronous objects with scheduling policies: introducing safe shared memory in lustre. |
LCTES |
2009 |
DBLP DOI BibTeX RDF |
real-time systems, compilation, semantics, type systems, synchronous languages, block-diagrams |
18 | Roberto Lublinerman, Christian Szegedy, Stavros Tripakis |
Modular code generation from synchronous block diagrams: modularity vs. code size. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
clustering, code generation, np-complete, embedded software, synchronous languages, block diagrams |
18 | Marc Pouzet, Pascal Raymond |
Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
real-time systems, compilation, semantics, np-completeness, partial orders, synchronous languages, block-diagrams, preorders |
18 | Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang |
Certified Development Tools Implementation in Objective Caml. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
Tests measurement, Civil avionics, Functional programming, Code coverage, Objective Caml |
18 | Guy Durrieu, Hélène Waeselynck, Virginie Wiels |
LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
formal methods, automation, Test oracle, avionics |
18 | Werner Damm |
Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Christian Buckl, Matthias Regensburger, Alois C. Knoll, Gerhard Schrott |
Models for automatic generation of safety-critical real-time systems. |
ARES |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm |
Integration of Formal Analysis into a Model-Based Software Development Process. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
Model checking, software verification, Model-based development, Flight control |
18 | Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens |
Virtual execution of AADL models via a translation into synchronous programs. |
EMSOFT |
2007 |
DBLP DOI BibTeX RDF |
simulation, formal verification, architecture description language, synchronous languages |
18 | Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet |
Mixing signals and modes in synchronous data-flow systems. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
mode automata, compilation, synchronous, languages |
18 | Nicolas Halbwachs |
A synchronous language at work: the story of Lustre. |
MEMOCODE |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Arnaud Cuccuru, Robert de Simone, Thierry Saunier, Günther Siegel, Yves Sorel |
P2I: An Innovative MDA Methodology for Embedded Real-Time System. |
DSD |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Jean-Louis Colaço, Bruno Pagano, Marc Pouzet |
A conservative extension of synchronous data-flow with state machines. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
clock calculus, compilation, typing, heterogeneous systems, synchronous languages |
18 | Gérard Berry |
Esterel v7: From Verified Formal Specification to Efficient Industrial Designs. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Jean-Louis Colaço, Marc Pouzet |
Type-based initialization analysis of a synchronous dataflow language. |
Int. J. Softw. Tools Technol. Transf. |
2004 |
DBLP DOI BibTeX RDF |
Synchronous dataflow languages, Type systems with subtyping, Program analysis, Lustre |
18 | Pierre Chartier |
ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Gérard Berry |
Synchronous Programming Techniques for Embedded Systems: Present and Future. |
EMSOFT |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Jean-Louis Camus, Thierry Le Sergent |
Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems. |
SDL Forum |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Werner Damm |
Challenges in the Verification of Electronic Control Units. |
FTRTFT |
2000 |
DBLP DOI BibTeX RDF |
|
18 | François Pilarski |
Cost Effectiveness of Formal Methods in the Development of Avionics Systems at AÉROSPATIALE. |
B |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #69 of 69 (100 per page; Change: )
|
|