Search results for "block-diagrams"

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.	POPL	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.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	semantics, haskell, Haskell, esterel, block diagrams, ptolemy
43	Roberto Lublinerman, Stavros Tripakis	Translating data flow to synchronous block diagrams.	ESTIMedia	2008	DBLP DOI BibTeX RDF
39	Roberto Lublinerman, Stavros Tripakis	Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams.	DATE	2008	DBLP DOI BibTeX RDF
37	Wolfgang A. Halang, Sias Mostert	Composing Dependable Real Time Software of Function Blocks.	WORDS	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.	FM	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.	SAFECOMP	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.	IEEE Real-Time and Embedded Technology and Applications Symposium	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.	FMICS/PDMC	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.	Softw. Syst. Model.	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.	VL/HCC	2005	DBLP DOI BibTeX RDF
30	Pieter Jan Stappers, John M. Flach	Visualizing cognitive systems: getting past block diagrams.	SMC (1)	2004	DBLP DOI BibTeX RDF
30	Pantazis Houlis, Victor Sreeram	An Interconnection between Combined Classical Block Diagrams and Linear Fractional Transformation Block Diagrams.	ICARCV	2006	DBLP DOI BibTeX RDF
30	Salvatore Distefano, Antonio Puliafito	Modeling Dependability of Dynamic Computing Systems.	ICIC (2)	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.	IEEE Trans. Software Eng.	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.	IEEE Trans. Dependable Secur. Comput.	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.	ICEIS (2)	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.	LCTES	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.	QEST	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.	EMSOFT	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.	SCSC	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.	ISSRE	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.	EUROCAST	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.	CASCON	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.	LCTES	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.	ITRE	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.	CoRR	2023	DBLP DOI BibTeX RDF
15	Wei Zhang, Quan Sun, Chao Wang 0069, Zhiming Liu 0001	Towards correctness proof for hybrid Simulink block diagrams.	J. Syst. Archit.	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.	J. Syst. Archit.	2023	DBLP DOI BibTeX RDF
15	Antti Pakonen	Obfuscation of function block diagrams.	ETFA	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.	Comput. Appl. Eng. Educ.	2022	DBLP DOI BibTeX RDF
15	Marcel Christian Werner, Klaus Schneider 0001	From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts.	FDL	2022	DBLP DOI BibTeX RDF
15	Joabe Jesus, Augusto Sampaio	Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover.	SBMF	2022	DBLP DOI BibTeX RDF
15	Mohamed Abdelghany, Sofiène Tahar	Formalization of Functional Block Diagrams Using HOL Theorem Proving.	SBMF	2022	DBLP DOI BibTeX RDF
15	Jianyong Zhao, Zhe Tao	Toward Reliable Programmable Logic Controller Function Block Diagrams.	IEEE Access	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.	WSC	2021	DBLP DOI BibTeX RDF
15	Verislav Djukic	Evolution from Modeling by Means of Function Block Diagrams to Domain-specific Modeling in Automation.	INISTA	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.	ACM Trans. Design Autom. Electr. Syst.	2019	DBLP DOI BibTeX RDF
15	Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar	A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams.	CoRR	2019	DBLP BibTeX RDF
15	Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar	A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams.	ICFEM	2019	DBLP DOI BibTeX RDF
15	Andreas Naderlinger	Harnessing Concurrency in Synchronous Block Diagrams to Parallelize Simulation on Multi-Core Hosts.	WSC	2019	DBLP DOI BibTeX RDF
15	Christian Dernehl, Jan Kühn, Stefan Kowalewski	Case studies on automated verification with slope boundaries for block diagrams.	Comput. Lang. Syst. Struct.	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.	J. Autom. Reason.	2018	DBLP DOI BibTeX RDF
15	Stavros Tripakis, Roberto Lublinerman	Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, Compositionality.	Principles of Modeling	2018	DBLP DOI BibTeX RDF
15	Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin	Counterexample visualization and explanation for function block diagrams.	INDIN	2018	DBLP DOI BibTeX RDF
15	Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis	Type Inference of Simulink Hierarchical Block Diagrams in Isabelle.	FORTE	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.	ACM Trans. Embed. Comput. Syst.	2016	DBLP BibTeX RDF
15	Ken Keefe, William H. Sanders	Reliability Analysis with Dynamic Reliability Block Diagrams in the Möbius Modeling Tool.	EAI Endorsed Trans. Security Safety	2016	DBLP DOI BibTeX RDF
15	Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis	A Nondeterministic and Abstract Algorithm for Translating Hierarchical Block Diagrams.	CoRR	2016	DBLP BibTeX RDF
15	Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis	Type Inference of Simulink Hierarchical Block Diagrams in Isabelle.	CoRR	2016	DBLP BibTeX RDF
15	P. P. Parkhomenko	Algorithmizing design of a class of combinatorial block diagrams.	Autom. Remote. Control.	2016	DBLP DOI BibTeX RDF
15	Waqar Ahmad, Osman Hasan, Sofiène Tahar	Formalization of Reliability Block Diagrams in Higher-order Logic.	J. Appl. Log.	2016	DBLP DOI BibTeX RDF
15	Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis	Compositional Semantics and Analysis of Hierarchical Block Diagrams.	SPIN	2016	DBLP DOI BibTeX RDF
15	Christian Dernehl	Automatic invariant checking for discrete block diagrams using Lyapunov functions with sat modulo theory solvers.	ECC	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.	ICBGM@SummerSim	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.	ISIE	2016	DBLP DOI BibTeX RDF
15	Christian Dernehl, Jan Kühn, Stefan Kowalewski	Abstract Interpretation for Block Diagrams - Two Case Studies.	MoDeVVa@MoDELS	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.	NFM	2016	DBLP DOI BibTeX RDF
15	Shunsuke Hori, Takuya Azumi	Extended mapping algorithm based on modularity from synchronous block diagrams to AUTOSAR runnables.	ETFA	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.	SEFM	2016	DBLP DOI BibTeX RDF
15	Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis	Translating Hierarchical Block Diagrams into Composite Predicate Transformers.	CoRR	2015	DBLP BibTeX RDF
15	Yang Yang 0040, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli	Efficient distribution of Triggered Synchronous Block Diagrams on asynchronous platforms.	SAMOS	2015	DBLP DOI BibTeX RDF
15	Fathollah Bistouni, Mohsen Jahanshahi	Analyzing the reliability of shuffle-exchange networks using reliability block diagrams.	Reliab. Eng. Syst. Saf.	2014	DBLP DOI BibTeX RDF
15	Yi-Chen Wu, Chin-Feng Fan	Automatic test case generation for structural testing of function block diagrams.	Inf. Softw. Technol.	2014	DBLP DOI BibTeX RDF
15	Kohei Maruchi, Hiromasa Shin, Masahiro Sakai	MC/DC-Like Structural Coverage Criteria for Function Block Diagrams.	ICST Workshops	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.	SPLC Workshops	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.	Reliab. Eng. Syst. Saf.	2013	DBLP DOI BibTeX RDF
15	P. P. Parkhomenko, Mikhail F. Karavai	Multiple combinatorial block diagrams.	Autom. Remote. Control.	2013	DBLP DOI BibTeX RDF
15	Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson	Using Logic Coverage to Improve Testing Function Block Diagrams.	ICTSS	2013	DBLP DOI BibTeX RDF
15	Marcin Jamro, Dariusz Rzonca	Automatic Connections in IEC 61131-3 Function Block Diagrams.	FedCSIS	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.	ICST Workshops	2013	DBLP DOI BibTeX RDF
15	Andreas Naderlinger	Multiple real-time semantics on top of synchronous block diagrams.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
15	Kim Weyns, Martin Höst	Case study on risk analysis for critical systems with reliability block diagrams.	ISCRAM	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.	CMSBSE@ICSE	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.	Annu. Rev. Control.	2012	DBLP DOI BibTeX RDF
15	Debarun Bhattacharjya, Léa A. Deleris	From Reliability Block Diagrams to Fault Tree Circuits.	Decis. Anal.	2012	DBLP DOI BibTeX RDF
15	Kim Weyns, Martin Höst	Risk analysis for critical systems with reliability block diagrams.	ISCRAM	2012	DBLP BibTeX RDF
15	Allan I. McInnes, Brandon K. Eames, Russell J. Grover	Formalizing Functional Flow Block Diagrams Using Process Algebra and Metamodels.	IEEE Trans. Syst. Man Cybern. Part A	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.	SAFECOMP	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.	IEEE Trans. Syst. Man Cybern. Part A	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.	ADHS	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.	Reliab. Eng. Syst. Saf.	2005	DBLP DOI BibTeX RDF
15	Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha	Control and Data Flow Testing on Function Block Diagrams.	SAFECOMP	2005	DBLP DOI BibTeX RDF
15	Ben Denckla, Pieter J. Mosterman	Formalizing Causal Block Diagrams for Modeling a Class of Hybrid Dynamic Systems.	CDC/ECC	2005	DBLP DOI BibTeX RDF
15	Pieter J. Mosterman, John E. Ciolfi	Using interleaved execution to resolve cyclic dependencies in time-based block diagrams.	CDC	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.	Des. Autom. Embed. Syst.	1997	DBLP DOI BibTeX RDF
15	Shimon Even, G. Granot	Grid Layouts of Block Diagrams - Bounding the Number of Bends in Each Connection.	GD	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.	ICASSP	1992	DBLP DOI BibTeX RDF
15	H. V. Jagadish, Thomas Kailath, John A. Newkirk, Robert G. Mathews	On hardware description from block diagrams.	ICASSP	1984	DBLP DOI BibTeX RDF
15	Helene E. Kulsrud	An extensible system for drawing block diagrams.	Two-Dimensional Man-Machine Communication	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.	IEEE Trans. Electron. Comput.	1967	DBLP DOI BibTeX RDF
15	Lowell S. Bensky	Block diagrams in logic design.	IRE-ACM-AIEE Computer Conference (Western)	1958	DBLP DOI BibTeX RDF
12	Max Walter, Carsten Trinitis	OpenSESAME Simple but Extensive Structured Availability Modeling Environment.	QEST	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.	SIGSOFT FSE	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.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
12	Philippe Baufreton	SACRES: A Step Ahead in the Development of Critical Avoinics Applications (Abstract).	HSCC	1999	DBLP DOI BibTeX RDF
12	Jürgen Deicke, Ulrich Mayer, A. Knoll, Manfred Glesner	Flexible Multiplexing in MPEG-4 Systems.	IDMS	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.	SAINT	2005	DBLP DOI BibTeX RDF
11	Yann Orlarey, Dominique Fober, Stéphane Letz	Syntactical and semantical aspects of Faust.	Soft Comput.	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.	Summer School on Neural Networks	1997	DBLP DOI BibTeX RDF