|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 102 occurrences of 71 keywords
|
|
|
Results
Found 127 publication records. Showing 127 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
74 | Roberto Lublinerman, Christian Szegedy, Stavros Tripakis |
Modular code generation from synchronous block diagrams: modularity vs. code size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 78-89, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
clustering, code generation, np-complete, embedded software, synchronous languages, block diagrams |
61 | Ben Denckla |
Many cyclic block diagrams do not need parallel semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 41(8), pp. 16-20, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
semantics, haskell, Haskell, esterel, block diagrams, ptolemy |
43 | Roberto Lublinerman, Stavros Tripakis |
Translating data flow to synchronous block diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESTIMedia ![In: Proceedings of the 6th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, ESTIMedia 2008, Atlanta, Georgia, USA, 23-24 October 2008, pp. 101-106, 2008, IEEE Computer Society, 978-1-4244-2612-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Roberto Lublinerman, Stavros Tripakis |
Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008, pp. 1504-1509, 2008, ACM, 978-3-9810801-3-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Wolfgang A. Halang, Sias Mostert |
Composing Dependable Real Time Software of Function Blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 8-10 January 2001, Rome, Italy, pp. 119-128, 2001, IEEE Computer Society, 0-7695-1068-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Safety related automation, function block diagrams, data flow languages, safety licensing of software, diverse back translation, schedulability analysis |
37 | Ana Cavalcanti 0001, Phil Clayton, Colin O'Halloran |
Control Law Diagrams in Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, pp. 253-268, 2005, Springer, 3-540-27882-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
refinement, CSP, Z, Simulink |
34 | Wolfgang A. Halang, Alceu Heinke Frigeri |
Methods and Languages for Safety-Related Real-Time Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 17th International Conference, SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings, pp. 196-208, 1998, Springer, 3-540-65110-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Safety controllers, Safe language subsets, Cause/effect tables, Function block diagrams, Safety integrity levels, Real time systems, Programming languages |
34 | Roberto Lublinerman, Stavros Tripakis |
Modular Code Generation from Triggered and Timed Block Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2008, April 22-24, 2008, St. Louis, Missouri, USA, pp. 147-158, 2008, IEEE Computer Society, 978-0-7695-3146-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Modularity, Code generation, Block diagrams |
32 | Kai Lampka, Markus Siegle, Max Walter |
An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS/PDMC ![In: Formal Methods: Applications and Technology, 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers, pp. 35-50, 2006, Springer, 978-3-540-70951-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Reliability and Availability Analysis, State Space Explosion Binary Decision Diagram, Reliability Block Diagrams, Markov Reward Model |
32 | Juan de Lara, Hans Vangheluwe, Manuel Alfonseca 0001 |
Meta-modelling and graph grammars for multi-paradigm modelling in AToM3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 3(3), pp. 194-209, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Multi-paradigm modelling, Causal block diagrams, AToM3, OOCSMP, Code generation, Model transformation, Meta-modelling, Statecharts, Graph grammars, Multi-formalism |
30 | Sven Burmester, Holger Giese |
Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in MECHATRONIC UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 21-24 September 2005, Dallas, TX, USA, pp. 109-116, 2005, IEEE Computer Society, 0-7695-2443-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Pieter Jan Stappers, John M. Flach |
Visualizing cognitive systems: getting past block diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (1) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 821-826, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Pantazis Houlis, Victor Sreeram |
An Interconnection between Combined Classical Block Diagrams and Linear Fractional Transformation Block Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: Ninth International Conference on Control, Automation, Robotics and Vision, ICARCV 2006, Singapore, 5-8 December 2006, Proceedings, pp. 1-5, 2006, IEEE, 1-4244-0341-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Salvatore Distefano, Antonio Puliafito |
Modeling Dependability of Dynamic Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007, Proceedings, pp. 982-991, 2007, Springer, 978-3-540-74201-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Dynamic Reliability Block Diagrams, Dynamic Systems, Dependability Modeling, Dynamic Fault Trees |
27 | Gene Fisher |
An Overview of a Graphical Multilanguage Applications Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(6), pp. 774-786, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
graphical multilanguage applications environment, Pascal-class languages, multilanguage interpreter, interactive development, graphical program interface, software control panel, graphical design tool, executable block diagrams, user interfaces, user interfaces, software tools, software tools, programming environment, programming environments, program debugging, program debugging, program interpreters, engineering graphics, engineering graphics, program execution, engineering applications |
26 | Salvatore Distefano, Antonio Puliafito |
Dependability Evaluation with Dynamic Reliability Block Diagrams and Dynamic Fault Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 6(1), pp. 4-17, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Marcel da Silva Melo, Joyce M. S. França, Edson Oliveira Jr., Michel S. Soares |
A Model-driven Approach to Transform SysML Internal Block Diagrams to UML Activity Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (2) ![In: ICEIS 2015 - Proceedings of the 17th International Conference on Enterprise Information Systems, Volume 2, Barcelona, Spain, 27-30 April, 2015, pp. 92-101, 2015, SciTePress, 978-989-758-097-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2009, Dublin, Ireland, June 19-20, 2009, pp. 11-20, 2009, ACM, 978-1-60558-356-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
real-time systems, compilation, semantics, type systems, synchronous languages, block-diagrams |
19 | Max Walter, Sebastian Esch, Philipp Limbourg |
COBAREA: The COpula-BAsed REliability and Availability Modeling Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 119-120, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
reliability block diagrams, dependent basic events, reliability, software tool, availability, copula, fault trees |
19 | Marc Pouzet, Pascal Raymond |
Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009, pp. 215-224, 2009, ACM, 978-1-60558-627-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
real-time systems, compilation, semantics, np-completeness, partial orders, synchronous languages, block-diagrams, preorders |
19 | James E. Weimer, Bruce H. Krogh |
Hierarchical modeling of mode-switching systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 567-574, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
hybrid systems, hierarchical models, block diagrams, mode-switching |
19 | Vadim Alyokhin, Benedikte Elbel, Martin Rothfelder, Alexander Pretschner |
Coverage Metrics for Continuous Function Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2-5 November 2004, Saint-Malo, Bretagne, France, pp. 257-268, 2004, IEEE Computer Society, 0-7695-2215-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
mixed continuous-discrete and real-time systems, model-based testing, Integration testing, data flow testing, block diagrams, MC/DC |
19 | Wolfgang Borutzky |
Combining Behavioral Block Diagram Modelling with Circuit Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'89, A Selection of Papers from the International Workshop EUROCAST'89, Las Palmas, Spain, February 26 - March 4, 1989, Proceedings, pp. 399-410, 1989, Springer, 3-540-52215-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
mixed behavioral, circuit-level modelling, electrical macromodels, continuous system simulation, electronic control systems, circuit simulation, functional simulation, block diagrams, signal processing systems |
17 | Hakan Erdogmus |
Representing architectural evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative Research, November 30 - December 3, 1998, Toronto, Ontario, Canada, pp. 11, 1998, IBM. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
15 | Dariusz Biernacki, Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet |
Clock-directed modular code generation for synchronous data-flow languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'08), Tucson, AZ, USA, June 12-13, 2008, pp. 121-130, 2008, ACM, 978-1-60558-104-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
real-time systems, compilation, semantics, type systems, synchronous languages |
15 | Raphael B. Yehezkael |
Flexible Algorithms - Selections from a course for beginners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRE ![In: ITRE 2006 - 4th International Conference on Information Technology: Research and Education, October 17-18, 2006, Tel Aviv, Israel, Proceedings, pp. 84-88, 2006, IEEE, 1-4244-0858-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Oluwatosin Ogundare, Gustavo Quiros Araya, Yassine Qamsane |
No Code AI: Automatic generation of Function Block Diagrams from documentation and associated heuristic for context-aware ML algorithm training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.04117, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Wei Zhang, Quan Sun, Chao Wang 0069, Zhiming Liu 0001 |
Towards correctness proof for hybrid Simulink block diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 141, pp. 102922, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Quan Sun, Wei Zhang, Chao Wang 0069, Zhiming Liu 0001 |
A contract-based semantics and refinement for hybrid Simulink block diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 143, pp. 102963, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Antti Pakonen |
Obfuscation of function block diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: 28th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2023, Sinaia, Romania, September 12-15, 2023, pp. 1-7, 2023, IEEE, 979-8-3503-3991-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Liwei Xue, Wenshan Hu, Guo-Ping Liu 0003 |
Learning with remote laboratories: Designing control algorithms with both block diagrams and customized C code schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Eng. Educ. ![In: Comput. Appl. Eng. Educ. 30(5), pp. 1561-1576, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Marcel Christian Werner, Klaus Schneider 0001 |
From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on Specification & Design Languages, FDL 2022, Linz, Austria, September 14-16, 2022, pp. 1-8, 2022, IEEE, 978-1-6654-7332-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Joabe Jesus, Augusto Sampaio |
Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings, pp. 91-108, 2022, Springer, 978-3-031-22475-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Mohamed Abdelghany, Sofiène Tahar |
Formalization of Functional Block Diagrams Using HOL Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings, pp. 22-35, 2022, Springer, 978-3-031-22475-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jianyong Zhao, Zhe Tao |
Toward Reliable Programmable Logic Controller Function Block Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 166137-166146, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Randy Paredis, Joachim Denil, Hans Vangheluwe |
Specifying and Executing the Combination of Timed Finite State Automata and Causal-Block Diagrams by Mapping Onto Devs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Winter Simulation Conference, WSC 2021, Phoenix, AZ, USA, December 12-15, 2021, pp. 1-12, 2021, IEEE, 978-1-6654-3311-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Verislav Djukic |
Evolution from Modeling by Means of Function Block Diagrams to Domain-specific Modeling in Automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INISTA ![In: International Conference on INnovations in Intelligent SysTems and Applications, INISTA 2020, Novi Sad, Serbia, August 24-26, 2020, pp. 1-8, 2020, IEEE, 978-1-7281-6799-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Burçin Çakir, Sharad Malik |
Revealing Cluster Hierarchy in Gate-level ICs Using Block Diagrams and Cluster Estimates of Circuit Embeddings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 24(5), pp. 50:1-50:19, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar |
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1908.01930, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar |
A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, pp. 253-269, 2019, Springer, 978-3-030-32408-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Naderlinger |
Harnessing Concurrency in Synchronous Block Diagrams to Parallelize Simulation on Multi-Core Hosts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: 2019 Winter Simulation Conference, WSC 2019, National Harbor, MD, USA, December 8-11, 2019, pp. 702-713, 2019, IEEE, 978-1-7281-3283-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Christian Dernehl, Jan Kühn, Stefan Kowalewski |
Case studies on automated verification with slope boundaries for block diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. Syst. Struct. ![In: Comput. Lang. Syst. Struct. 54, pp. 528-543, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford |
Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 60(1), pp. 63-84, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Stavros Tripakis, Roberto Lublinerman |
Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, Compositionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 449-477, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin |
Counterexample visualization and explanation for function block diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDIN ![In: 16th IEEE International Conference on Industrial Informatics, INDIN 2018, Porto, Portugal, July 18-20, 2018, pp. 747-753, 2018, IEEE, 978-1-5386-4829-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis |
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, pp. 194-209, 2017, Springer, 978-3-319-60224-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Cumhur Erkan Tuncali, Georgios Fainekos, Yann-Hang Lee |
Automatic Parallelization of Multirate Block Diagrams of Control Systems on Multicore Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 16(1), pp. 15:1-15:26, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Ken Keefe, William H. Sanders |
Reliability Analysis with Dynamic Reliability Block Diagrams in the Möbius Modeling Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAI Endorsed Trans. Security Safety ![In: EAI Endorsed Trans. Security Safety 3(10), pp. e3, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis |
A Nondeterministic and Abstract Algorithm for Translating Hierarchical Block Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1611.01337, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis |
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1612.05494, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | P. P. Parkhomenko |
Algorithmizing design of a class of combinatorial block diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Remote. Control. ![In: Autom. Remote. Control. 77(7), pp. 1216-1224, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Waqar Ahmad, Osman Hasan, Sofiène Tahar |
Formalization of Reliability Block Diagrams in Higher-order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 18, pp. 19-41, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis |
Compositional Semantics and Analysis of Hierarchical Block Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pp. 38-56, 2016, Springer, 978-3-319-32581-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Christian Dernehl |
Automatic invariant checking for discrete block diagrams using Lyapunov functions with sat modulo theory solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: 15th European Control Conference, ECC 2016, Aalborg, Denmark, June 29 - July 1, 2016, pp. 441-446, 2016, IEEE, 978-1-5090-2591-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | A. Fakri, P. Poulichet |
Implementation and simulation of dynamic models: a concise reading of the relationships bond graphs - block diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICBGM@SummerSim ![In: Proceedings of the International Conference on Bond Graph Modeling and Simulation, ICBGM@SummerSim, Montreal, QC, Canada, July 24 - 27, 2016, pp. 142-146, 2016, ACM. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin |
Formal verification of cyber-physical automation systems modelled with timed block diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIE ![In: 25th IEEE International Symposium on Industrial Electronics, ISIE 2016, Santa Clara, CA, USA, June 8-10, 2016, pp. 316-321, 2016, IEEE, 978-1-5090-0873-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Christian Dernehl, Jan Kühn, Stefan Kowalewski |
Abstract Interpretation for Block Diagrams - Two Case Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: Proceedings of the 13th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 3, 2016., pp. 20-29, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford |
Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFM ![In: NASA Formal Methods - 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings, pp. 206-220, 2016, Springer, 978-3-319-40647-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Shunsuke Hori, Takuya Azumi |
Extended mapping algorithm based on modularity from synchronous block diagrams to AUTOSAR runnables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016, Berlin, Germany, September 6-9, 2016, pp. 1-8, 2016, IEEE, 978-1-5090-1314-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Christian Dernehl, Norman Hansen, Stefan Kowalewski |
Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings, pp. 137-152, 2016, Springer, 978-3-319-41590-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis |
Translating Hierarchical Block Diagrams into Composite Predicate Transformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1510.04873, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Yang Yang 0040, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli |
Efficient distribution of Triggered Synchronous Block Diagrams on asynchronous platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMOS ![In: 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2015, Samos, Greece, July 19-23, 2015, pp. 113-122, 2015, IEEE, 978-1-4673-7311-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Fathollah Bistouni, Mohsen Jahanshahi |
Analyzing the reliability of shuffle-exchange networks using reliability block diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 132, pp. 97-106, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Yi-Chen Wu, Chin-Feng Fan |
Automatic test case generation for structural testing of function block diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 56(10), pp. 1360-1376, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Kohei Maruchi, Hiromasa Shin, Masahiro Sakai |
MC/DC-Like Structural Coverage Criteria for Function Block Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Seventh IEEE International Conference on Software Testing, Verification and Validation, ICST 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, USA, pp. 253-259, 2014, IEEE Computer Society, 978-0-7695-5194-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Sönke Holthusen, David Wille, Christoph Legat, Simon Beddig, Ina Schaefer, Birgit Vogel-Heuser |
Family model mining for function block diagrams in automation software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLC Workshops ![In: 18th International Software Product Lines Conference - Companion Volume for Workshop, Tools and Demo papers, SPLC '14, Florence, Italy, September 15-19, 2014, pp. 36-43, 2014, ACM, 978-1-4503-2739-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Jean-Pierre Signoret, Yves Dutuit, Pierre-Joseph Cacheux, Cyrille Folleau, Stéphane Collas, Philippe Thomas |
Make your Petri nets understandable: Reliability block diagrams driven Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 113, pp. 61-75, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | P. P. Parkhomenko, Mikhail F. Karavai |
Multiple combinatorial block diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Remote. Control. ![In: Autom. Remote. Control. 74(6), pp. 995-1003, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson |
Using Logic Coverage to Improve Testing Function Block Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, pp. 1-16, 2013, Springer, 978-3-642-41706-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Marcin Jamro, Dariusz Rzonca |
Automatic Connections in IEC 61131-3 Function Block Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS ![In: Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, Kraków, Poland, September 8-11, 2013., pp. 463-469, 2013, 978-1-4673-4471-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
15 | Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson |
Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013, pp. 158-167, 2013, IEEE Computer Society, 978-1-4799-1324-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Naderlinger |
Multiple real-time semantics on top of synchronous block diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 2013 Spring Simulation Multiconference, SpringSim '13, San Diego, CA, USA, April 7-10, 2013, Proceedings of the Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, pp. 6, 2013, ACM, 978-1-62748-032-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
15 | Kim Weyns, Martin Höst |
Case study on risk analysis for critical systems with reliability block diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCRAM ![In: 10th Proceedings of the International Conference on Information Systems for Crisis Response and Management, Baden-Baden, Germany, May 12-15, 2013., 2013, ISCRAM Association, 978-3-923704-80-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
15 | Eduard Paul Enoiu, Kivanc Doganay, Markus Bohlin, Daniel Sundmark, Paul Pettersson |
MOS: An integrated model-based and search-based testing tool for Function Block Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSBSE@ICSE ![In: 1st International Workshop on Combining Modelling and Search-Based Software Engineering, CMSBSE@ICSE 2013, San Francisco, CA, USA, May 20, 2013, pp. 55-60, 2013, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Doaa Soliman, Kleanthis Thramboulidis, Georg Frey |
Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annu. Rev. Control. ![In: Annu. Rev. Control. 36(2), pp. 338-345, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Debarun Bhattacharjya, Léa A. Deleris |
From Reliability Block Diagrams to Fault Tree Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Decis. Anal. ![In: Decis. Anal. 9(2), pp. 128-137, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Kim Weyns, Martin Höst |
Risk analysis for critical systems with reliability block diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCRAM ![In: 9th Proceedings of the International Conference on Information Systems for Crisis Response and Management, Vancouver, Canada, April 22-25, 2012., 2012, Simon Fraser University, Vancouver, Canada, 978-0-86491-332-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
15 | Allan I. McInnes, Brandon K. Eames, Russell J. Grover |
Formalizing Functional Flow Block Diagrams Using Process Algebra and Metamodels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 41(1), pp. 34-49, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee |
Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings, pp. 397-408, 2011, Springer, 978-3-642-24269-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Ryan Robidoux, Haiping Xu, Liudong Xing, MengChu Zhou |
Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 40(2), pp. 337-351, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Pieter J. Mosterman, Justyna Zander, Grégoire Hamon, Ben Denckla |
Towards Computational Hybrid System Semantics for Time-Based Block Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 3rd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2009, Zaragoza, Spain, September 16-18, 2009, pp. 376-385, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Younju Oh, Junbeom Yoo, Sung Deok Cha, Han Seong Son |
Software safety analysis of function block diagrams using fault trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 88(3), pp. 215-228, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha |
Control and Data Flow Testing on Function Block Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings, pp. 67-80, 2005, Springer, 3-540-29200-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Ben Denckla, Pieter J. Mosterman |
Formalizing Causal Block Diagrams for Modeling a Class of Hybrid Dynamic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC/ECC ![In: 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, CDC/ECC 2005, Seville, Spain, 12-15 December, 2005, pp. 4193-4198, 2005, IEEE, 0-7803-9567-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Pieter J. Mosterman, John E. Ciolfi |
Using interleaved execution to resolve cyclic dependencies in time-based block diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 43rd IEEE Conference on Decision and Control, CDC 2004, Nassau, Bahamas, December 14-17, 2004, pp. 4057-4062, 2004, IEEE, 0-7803-8682-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee |
APGAN and RPMC: Complementary Heuristics for Translating DSP Block Diagrams into Efficient Software Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Autom. Embed. Syst. ![In: Des. Autom. Embed. Syst. 2(1), pp. 33-60, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Shimon Even, G. Granot |
Grid Layouts of Block Diagrams - Bounding the Number of Bends in Each Connection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, DIMACS International Workshop, GD '94, Princeton, New Jersey, USA, October 10-12, 1994, Proceedings, pp. 64-75, 1994, Springer, 3-540-58950-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Douglas B. Powell, Edward A. Lee, William C. Newman |
Direct synthesis of optimized DSP assembly code from signal flow block diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: 1992 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP '92, San Francisco, California, USA, March 23-26, 1992, pp. 553-556, 1992, IEEE Computer Society, 0-7803-0532-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | H. V. Jagadish, Thomas Kailath, John A. Newkirk, Robert G. Mathews |
On hardware description from block diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP '84, San Diego, California, USA, March 19-21, 1984, pp. 310-313, 1984, IEEE. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
15 | Helene E. Kulsrud |
An extensible system for drawing block diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Two-Dimensional Man-Machine Communication ![In: Proceedings of the Symposium on Two-Dimensional Man-Machine Communication, Los Alamos, New Mexico, USA, October 1, 1972, pp. 57-65, 1972, ACM, 978-1-4503-7877-2. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
15 | Jirí Klír |
A Note on the Basic Block Diagrams of Finite Automata from the Engineering Point of View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Electron. Comput. ![In: IEEE Trans. Electron. Comput. 16(2), pp. 223-224, 1967. The full citation details ...](Pics/full.jpeg) |
1967 |
DBLP DOI BibTeX RDF |
|
15 | Lowell S. Bensky |
Block diagrams in logic design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRE-ACM-AIEE Computer Conference (Western) ![In: Proceedings of the 1958 western joint computer conference: contrasts in computers, IRE-ACM-AIEE 1958 (Western), Los Angeles, California, USA, May 6-8, 1958, pp. 177-178, 1958, ACM, 978-1-4503-7864-2. The full citation details ...](Pics/full.jpeg) |
1958 |
DBLP DOI BibTeX RDF |
|
12 | Max Walter, Carsten Trinitis |
OpenSESAME Simple but Extensive Structured Availability Modeling Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy, pp. 253-254, 2005, IEEE Computer Society, 0-7695-2427-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Holger Giese, Sven Burmester, Wilhelm Schäfer, Oliver Oberschelp |
Modular design and verification of component-based mechatronic systems with online-reconfiguration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004, pp. 179-188, 2004, ACM, 1-58113-855-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
unified modelling language (UML), real-time, components, reconfiguration, hybrid systems |
12 | Martin Kardos, Franz J. Rammig |
Model Based Formal Verification of Distributed Production Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 451-473, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Philippe Baufreton |
SACRES: A Step Ahead in the Development of Critical Avoinics Applications (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999, Proceedings, pp. 1, 1999, Springer, 3-540-65734-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Jürgen Deicke, Ulrich Mayer, A. Knoll, Manfred Glesner |
Flexible Multiplexing in MPEG-4 Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDMS ![In: Interactive Distributed Multimedia Systems and Telecommunication Services, 5th International Workshop, IDMS '98, Oslo, Norway, September 8-11, 1998, Proceedings, pp. 83-94, 1998, Springer, 3-540-64955-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Hiroyuki Ohsaki, Juñya Ujiie, Makoto Imase |
On Scalable Modeling of TCP Congestion Control Mechanism for Large-Scale IP Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAINT ![In: 2005 IEEE/IPSJ International Symposium on Applications and the Internet (SAINT 2005), 31 January - 4 February 2005, Trento, Italy, pp. 361-368, 2005, IEEE Computer Society, 0-7695-2262-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Yann Orlarey, Dominique Fober, Stéphane Letz |
Syntactical and semantical aspects of Faust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 8(9), pp. 623-632, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Real-time, compiler, Functional programming, Signal processing, Dataflow |
11 | Eric A. Wan, Françoise Beaufays |
Diagrammatic Methods for Deriving and Relating Temporal Neural Network Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Summer School on Neural Networks ![In: Adaptive Processing of Sequences and Data Structures, International Summer School on Neural Networks, `E.R. Caianiello`, Vietri sul Mare, Salerno, Italy, September 6-13, 1997, Tutorial Lectures, pp. 63-98, 1997, Springer, 3-540-64341-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 127 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|