The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for SCADE® with no syntactic query expansion in all metadata.

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