Search results for "embedded software"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Christoph M. Kirsch, Reinhard Wilhelm	Grand challenges in embedded software.	EMSOFT	2007	DBLP DOI BibTeX RDF	scheduling, performance, design, verification, analysis, embedded software, challenges
4	Xiushan Feng, Alan J. Hu	Cutpoints for formal equivalence verification of embedded software.	EMSOFT	2005	DBLP DOI BibTeX RDF	formal verification, embedded software, equivalence checking
4	Olivier Thiry, Luc J. M. Claesen	A formal verification technique for embedded software. (PDF / PS)	ICCD	1996	DBLP DOI BibTeX RDF	embedded software correctness, assembly program code, CTL temporal logic formulae, embedded system application, assembly language program, formal verification, program verification, formal model, embedded software, processor architecture, instruction set
3	Joseph Porter, Gabor Karsai, Janos Sztipanovits	Towards a time-triggered schedule calculation tool to support model-based embedded software design.	EMSOFT	2009	DBLP DOI BibTeX RDF	constraint programming, model-based design, time triggered architecture
3	Meikang Qiu, Hao Li, Edwin Hsing-Mean Sha	Heterogeneous real-time embedded software optimization considering hardware platform.	SAC	2009	DBLP DOI BibTeX RDF	optimization, component, heterogeneous, embedded software
3	Haeng-Kon Kim	Aspect Oriented Testing Frameworks for Embedded Software.	Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing	2008	DBLP DOI BibTeX RDF	AOP(Aspect Oriented Programming), TDD(Testing Driven Development), Embedded Software Testing, Testing Frameworks, Agile Modeling
3	Hidetoshi Kambe, Hiroko Nagamatsu, Hiroyasu Mitsui, Hisao Koizumi, Jun Sawamoto	A Method of Visualizing Inter-Module Relations to Support Reuse-Based Embedded Software Development.	AINA	2008	DBLP DOI BibTeX RDF	embedded software development, reuse-based development, Inter-module dependency
3	Manfred Broy	Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress).	ISoLA	2008	DBLP DOI BibTeX RDF	Large Scale Embedded Software Systems, Comprehensive Architecture, Verification, Specification
3	Jooyoung Seo, Yuhoon Ki, Byoungju Choi, Kwanghyun La	Which Spot Should I Test for Effective Embedded Software Testing?.	SSIRI	2008	DBLP DOI BibTeX RDF	Embedded software testing, embedded software interface, empirical studies, integration testing
3	Teemu Kanstrén	A Study on Design for Testability in Component-Based Embedded Software.	SERA	2008	DBLP DOI BibTeX RDF	testing, components, design for testability, embedded software
3	J. P. Grossman, Cliff Young, Joseph A. Bank, Kenneth M. Mackenzie, Doug Ierardi, John K. Salmon, Ron O. Dror, David E. Shaw	Simulation and embedded software development for Anton, a parallel machine with heterogeneous multicore ASICs.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	Anton, simulation, embedded software, special-purpose hardware
3	Zhigang Gao, Zhaohui Wu	Component Assignment for Large Distributed Embedded Software Development.	GPC	2007	DBLP DOI BibTeX RDF	component assignment, backtracking algorithm, Ubiquitous computing, embedded software, model-based development
3	Pao-Ann Hsiung, Shang-Wei Lin, Chin-Chieh Hung, Jih-Ming Fu, Chao-Sheng Lin, Cheng-Chi Chiang, Kuo-Cheng Chiang, Chun-Hsien Lu, Pin-Hsien Lu	Real-Time Embedded Software Design for Mobile and Ubiquitous Systems.	EUC	2007	DBLP DOI BibTeX RDF	scheduling, formal verification, code generation, software components, application framework, UML modeling, real-time embedded software, formal synthesis
3	David W. Currie, Xiushan Feng, Masahiro Fujita, Alan J. Hu, Mark Kwan, Sreeranga P. Rajan	Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions.	International Journal of Parallel Programming	2006	DBLP DOI BibTeX RDF	Formal verification, DSP, embedded software, VLIW
3	André C. Nácul, Tony Givargis	Synthesis of time-constrained multitasking embedded software.	ACM Trans. Design Autom. Electr. Syst.	2006	DBLP DOI BibTeX RDF	Code serialization, multitasking, software synthesis, real-time embedded software
3	Jing Guan, Jeff Offutt, Paul Ammann	An industrial case study of structural testing applied to safety-critical embedded software.	ISESE	2006	DBLP DOI BibTeX RDF	software testing, embedded software, industrial case study
3	Jun Hu, Xuandong Li, Guoliang Zheng, Chenghua Wang	Modelling and Analysis of Power Consumption for Component-Based Embedded Software.	EUC Workshops	2006	DBLP DOI BibTeX RDF	embedded software design, real-time system, model checking, power-aware computing, component-based design, interface automata
3	Hironori Washizaki, Yasuhide Kobayashi, Hiroyuki Watanabe, Eiji Nakajima, Yuji Hagiwara, Kenji Hiranabe, Kazuya Fukuda	Experiments on quality evaluation of embedded software in Japan robot software design contest.	ICSE	2006	DBLP DOI BibTeX RDF	embedded software development, robot contest, software quality, software design, software model
3	Tai-Yi Huang, Chung-Ta King, Youn-Long Steve Lin, Yin-Tsung Hwang	The embedded software consortium of taiwan.	ACM Trans. Embedded Comput. Syst.	2005	DBLP DOI BibTeX RDF	educational curricula, Embedded software, integrated circuit design
3	Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli	Efficient embedded software design with synchronous models.	EMSOFT	2005	DBLP DOI BibTeX RDF	model-based, synchrony
3	Anish Muttreja, Anand Raghunathan, Srivaths Ravi, Niraj K. Jha	Hybrid simulation for embedded software energy estimation.	DAC	2005	DBLP DOI BibTeX RDF	energy macromodels, embedded software, pointers analysis, energy estimation, hybrid simulation
3	Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Xuandong Li, Guoliang Zheng	Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications.	EUC	2005	DBLP DOI BibTeX RDF	embedded software designs, real-time systems, model checking, UML sequence diagrams, interface automata
3	Byeongdo Kang, Young-Jik Kwon, Roger Y. Lee	A Design and Test Technique for Embedded Software.	SERA	2005	DBLP DOI BibTeX RDF	Software Test, Software Design, Embedded Software
3	Young-Choong Park, Seung-ok Lim, Kwang-sun Choi, KwangMo Jung, Dongil Shin	Implementation of Hardware and Embedded Software for Stream Gateway Interface Supporting Media Stream Transmissions with Heterogeneous Home Networks.	ICESS	2005	DBLP DOI BibTeX RDF
3	Anish Muttreja, Anand Raghunathan, Srivaths Ravi, Niraj K. Jha	Automated energy/performance macromodeling of embedded software.	DAC	2004	DBLP DOI BibTeX RDF	data serialization, genetic programming, regression, embedded software, symbolic, macromodeling
3	Pao-Ann Hsiung, Shang-Wei Lin	Formal Design and Verification of Real-Time Embedded Software.	APLAS	2004	DBLP DOI BibTeX RDF	scheduling, formal verification, code generation, software components, application framework, UML modeling, real-time embedded software, formal synthesis
3	Pao-Ann Hsiung, Shang-Wei Lin	Automatic Synthesis and Verification of Real-Time Embedded Software.	EUC	2004	DBLP DOI BibTeX RDF	scheduling, formal verification, code generation, software components, Application framework, UML modeling, real-time embedded software
3	Jiamei Cai, Tieming Chen, Liying Zhu	A Structure Modeling Method for Multi-task Embedded Software Design.	ICESS	2004	DBLP DOI BibTeX RDF
3	Wenzhi Chen, Cheng Xie, Jiaoying Shi	A Component-Based Model Integrated Framework for Embedded Software.	ICESS	2004	DBLP DOI BibTeX RDF
3	Shaoxiong Hua, Gang Qu, Shuvra S. Bhattacharyya	Energy-Efficient Multi-processor Implementation of Embedded Software.	EMSOFT	2003	DBLP DOI BibTeX RDF
3	Pao-Ann Hsiung, Cheng-Yi Lin, Trong-Yen Lee	Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines.	RTCSA	2003	DBLP DOI BibTeX RDF	Periodic Time Petri Nets, quasi-dynamic scheduling, local and global deadlines, software synthesis, Real-time embedded software
3	Pao-Ann Hsiung, Cheng-Yi Lin	Synthesis of real-time embedded software with local and global deadlines.	CODES+ISSS	2003	DBLP DOI BibTeX RDF	quasi-dynamic scheduling, real-time petri nets, code generation, software synthesis, real-time embedded software
3	Pao-Ann Hsiung, Trong-Yen Lee, Feng-Shi Su	Formal Synthesis and Code Generation of Real-Time Embedded Software using Time-Extended Quasi-Static Scheduling.	APSEC	2002	DBLP DOI BibTeX RDF	Time Complex-Choice Petri Nets, time-extended quasi-static scheduling, code generation, real-time embedded software
3	Lui Sha	Upgrading Embedded Software in the Field: Dependability and Survivability.	EMSOFT	2002	DBLP DOI BibTeX RDF
3	Felice Balarin, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe	Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis.	EMSOFT	2002	DBLP DOI BibTeX RDF
3	Nancy G. Leveson	An Approach to Designing Safe Embedded Software.	EMSOFT	2002	DBLP DOI BibTeX RDF
3	Armita Peymandoust, Giovanni De Micheli, Tajana Simunic	Complex library mapping for embedded software using symbolic algebra.	DAC	2002	DBLP DOI BibTeX RDF	automated library mapping, computation intensive software, embedded software optimization, polynomial representation, symbolic algebra
3	Patrick Cousot, Radhia Cousot	Verification of Embedded Software: Problems and Perspectives.	EMSOFT	2001	DBLP DOI BibTeX RDF
3	Wayne Wolf	Embedded Software for Video.	EMSOFT	2001	DBLP DOI BibTeX RDF
3	Tak-John Koo, Judith Liebman, Cedric Ma, Shankar Sastry	Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software.	EMSOFT	2001	DBLP DOI BibTeX RDF
3	David E. Culler, Jason L. Hill, Philip Buonadonna, Robert Szewczyk, Alec Woo	A Network-Centric Approach to Embedded Software for Tiny Devices.	EMSOFT	2001	DBLP DOI BibTeX RDF
3	Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli	Using Multiple Levels of Abstractions in Embedded Software Design.	EMSOFT	2001	DBLP DOI BibTeX RDF
3	Johan Cockx	Whole program compilation for embedded software: the ADSL experiment.	CODES	2001	DBLP DOI BibTeX RDF	interprocedural optimization, whole program compilation, C++, embedded software
3	Berndt Bellay, Harald Gall	A Comparison of Four Reverse Engineering Tools. (PDF / PS)	WCRE	1997	DBLP DOI BibTeX RDF	reverse engineering tools, complex software systems analysis, maintenance activities, browsing capabilities, graphical reports, commercial reverse engineering tools, source code languages, C source code, Refine/C, Imagix4D, Sniff+, commercial embedded software system, embedded software systems, software engineers, reverse engineering, Rigi
2	Niklas Mellegård, Miroslaw Staron	Characterizing model usage in embedded software engineering: a case study.	ECSA Companion Volume	2010	DBLP DOI BibTeX RDF	modelling, software engineering, design, requirements, analysis, process
2	Lucas Cordeiro, Bernd Fischer 0002, João Marques-Silva	Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking.	ECBS	2010	DBLP DOI BibTeX RDF	Embedded Software Verification, Bounded Model Checking, Satisfiability Modulo Theories
2	Nicola Bombieri, Franco Fummi, Graziano Pravadelli	Abstraction of RTL IPs into embedded software.	DAC	2010	DBLP DOI BibTeX RDF	RTL IP reuse, embedded software generation
2	Dominique Bertrand, Sébastien Faucou, Yvon Trinquet	Temporal isolation for the cohabitation of applications in automotive embedded software.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	automotive domain, temporal isolation, embedded software, RTOS
2	Yoshinobu Kawabe, Nobuhiro Ito, Naohiro Ishii	On Formal Modeling of TOPPERS Embedded Software.	SERA	2010	DBLP DOI BibTeX RDF	TOPPERS real-time operating system, distributed systems, verification, formal methods, embedded software
2	Ben Chelf, Christof Ebert	Ensuring the Integrity of Embedded Software with Static Code Analysis.	IEEE Software	2009	DBLP DOI BibTeX RDF
2	Christof Ebert, Jürgen Salecker	Guest Editors' Introduction: Embedded Software Technologies and Trends.	IEEE Software	2009	DBLP DOI BibTeX RDF
2	Peter Liggesmeyer, Mario Trapp	Trends in Embedded Software Engineering.	IEEE Software	2009	DBLP DOI BibTeX RDF
2	Matin Hashemi, Soheil Ghiasi	Throughput-driven synthesis of embedded software for pipelined execution on multicore architectures.	ACM Trans. Embedded Comput. Syst.	2009	DBLP DOI BibTeX RDF	multi-core hardware, graph partitioning, Embedded software, task assignment, streaming applications
2	Christof Ebert, Capers Jones	Embedded Software: Facts, Figures, and Future.	IEEE Computer	2009	DBLP DOI BibTeX RDF	Software process, Estimation, Embedded software, Software measurement, Quality control, CMMI, Function points
2	Kazunori Iwata, Yoshiyuki Anan, Toyoshiro Nakashima, Naohiro Ishii	Using an Artificial Neural Network for Predicting Embedded Software Development Effort.	SNPD	2009	DBLP DOI BibTeX RDF	Artificial Neural Network, Embedded Software
2	Tayeb Bouhadiba, Florence Maraninchi	Contract-Based Coordination of Hardware Components for the Development of Embedded Software.	COORDINATION	2009	DBLP DOI BibTeX RDF	Executable Contracts, Embedded Systems, Components, Simulation Models, Hardware/Software Interface
2	Takashi Yukawa, Hirotaka Takahashi, Yoshimi Fukumura, Makoto Yamazaki, Toshimasa Miyazaki, Shohei Yano, Akiko Takeuchi, Hajime Miura, Naoki Hasegawa	Online Collaboration Support Tools for Project-Based Learning of Embedded Software Design.	KES	2009	DBLP DOI BibTeX RDF
2	Xavier Guerin, Frédéric Pétrot	A System Framework for the Design of Embedded Software Targeting Heterogeneous Multi-core SoCs.	ASAP	2009	DBLP DOI BibTeX RDF
2	Yasutaka Tsunakawa	Needs and trends in embedded software development for consumer electronics.	ASP-DAC	2009	DBLP DOI BibTeX RDF
2	Aimen Bouchhima, Patrice Gerin, Frédéric Pétrot	Automatic instrumentation of embedded software for high level hardware/software co-simulation.	ASP-DAC	2009	DBLP DOI BibTeX RDF
2	Chongwon Lee	Adapting and adjusting test process reflecting characteristics of embedded software and industrial properties based on referential models.	Int. Conf. Interaction Sciences	2009	DBLP DOI BibTeX RDF	TMM, TPI, adapting, test, embedded, process, industrial
2	Jean-Sébastien Coron, Ilya Kizhvatov	An Efficient Method for Random Delay Generation in Embedded Software.	CHES	2009	DBLP DOI BibTeX RDF	random delays, Side channel attacks, countermeasures
2	Doo-Hwan Kim, Jong-Phil Kim, Jang-Eui Hong	Practice Patterns to Improve the Quality of Design Model in Embedded Software Development.	QSIC	2009	DBLP DOI BibTeX RDF	Software quality and Practice pattern, Embedded software
2	Richard W. Selby	Synthesis, Analysis, and Modeling of Large-Scale Mission-Critical Embedded Software Systems.	ICSP	2009	DBLP DOI BibTeX RDF
2	Luigi Lavazza, Carla Garavaglia	Using function points to measure and estimate real-time and embedded software: Experiences and guidelines.	ESEM	2009	DBLP DOI BibTeX RDF
2	Changde Li, Xingshe Zhou, Yunwei Dong, Zhiwen Yu	A Formal Model for Component-Based Embedded Software Development.	ICESS	2009	DBLP DOI BibTeX RDF
2	Ke Yu, Neil C. Audsley	A Mixed Timing System-Level Embedded Software Modelling and Simulation Approach.	ICESS	2009	DBLP DOI BibTeX RDF
2	Lucas Cordeiro, Bernd Fischer 0002, Huan Chen 0001, João Marques-Silva	Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints.	ICESS	2009	DBLP DOI BibTeX RDF
2	João M. Fernandes, Ricardo Jorge Machado, Luís C. Lamb, Flávio Rech Wagner	Model-based Methodologies for Pervasive and Embedded Software.	ICSE Companion	2009	DBLP DOI BibTeX RDF
2	Giovani Gracioli, Sebastian Fischmeister	Tracing interrupts in embedded software.	LCTES	2009	DBLP DOI BibTeX RDF	real-time systems, debugging, tracing, embedded software
2	Nan Guan, Martin Stigge, Wang Yi, Ge Yu	Cache-aware scheduling and analysis for multicores.	EMSOFT	2009	DBLP DOI BibTeX RDF	real-time systems, multicores, schedulability analysis, cache partitioning
2	Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski	Stack bounds analysis for microcontroller assembly code.	WESS	2009	DBLP DOI BibTeX RDF	model checking, verification, static analysis, embedded software, assembly code
2	Colin J. Fidge, Diane Corney	Integrating hardware and software information flow analyses.	LCTES	2009	DBLP DOI BibTeX RDF	communications devices, information security evaluation, embedded software
2	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
2	Dongsun Kim, Suntae Kim, Seokhwan Kim, Sooyong Park	Software Engineering Education Toolkit for Embedded Software Architecture Design Methodology Using Robotic Systems.	APSEC	2008	DBLP DOI BibTeX RDF
2	Jing Chen, Jian-Hong Liu, Hui-Ming Su	An Intensive Curriculum on Embedded Software Design for Vocational-Purpose Training.	ICPADS	2008	DBLP DOI BibTeX RDF
2	Jürgen Schnerr, Oliver Bringmann, Alexander Viehl, Wolfgang Rosenstiel	High-performance timing simulation of embedded software.	DAC	2008	DBLP DOI BibTeX RDF	software timing, virtual prototypes, simulation acceleration
2	Alexandros Bartzas, Miguel Peón Quirós, Stylianos Mamagkakis, Francky Catthoor, Dimitrios Soudris, Jose Manuel Mendias	Enabling run-time memory data transfer optimizations at the system level with automated extraction of embedded software metadata information.	ASP-DAC	2008	DBLP DOI BibTeX RDF
2	Yu Hong, Song Huang, Xiaoming Liu, Xiushan Yu	Using Symbolic Execution in Embedded Software Testing.	CSSE	2008	DBLP DOI BibTeX RDF
2	Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schönknecht, Stephan Reitemeyer	Verification of Temporal Properties in Automotive Embedded Software.	DATE	2008	DBLP DOI BibTeX RDF
2	Kazunori Iwata, Toyoshiro Nakashima, Yoshiyuki Anan, Naohiro Ishii	Error Estimation Models Integrating Previous Models and Using Artificial Neural Networks for Embedded Software Development Projects.	ICTAI	2008	DBLP DOI BibTeX RDF
2	Yongyun Cho, Jaeyoung Choi	An Embedded Software Testing Tool Supporting Multi-paradigm Views.	ICCSA	2008	DBLP DOI BibTeX RDF
2	Steven Doran	Anima: a Ada derived programming language for real-time embedded software development.	SIGAda	2008	DBLP DOI BibTeX RDF	reliability, real-time, embedded
2	Valdivino A. Santiago, Wendell Pereira da Silva, N. L. Vijaykumar	Shortening Test Case Execution Time for Embedded Software.	SSIRI	2008	DBLP DOI BibTeX RDF	Test Case Execution, Embedded Software, Automated Software Testing
2	Hu Jin, Liang-Yin Chen, Ling-Ming Zeng, Bao-Lin Li	Performance Testing Based on Time Complexity Analysis for Embedded Software.	ICESS	2008	DBLP DOI BibTeX RDF
2	Chao Wang, Malay K. Ganai, Shuvendu K. Lahiri, Daniel Kroening	Embedded software verification: challenges and solutions.	ICCAD	2008	DBLP DOI BibTeX RDF
2	Seon-Jae Jang, Hae-Geun Kim, Youn-ky Chung	Manual Specific Testing and Quality Evaluation for Embedded Software.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF
2	Marcio F. da S. Oliveira, Ricardo Miotto Redin, Luigi Carro, Luís da Cunha Lamb, Flávio Rech Wagner	Software Quality Metrics and their Impact on Embedded Software.	MOMPES	2008	DBLP DOI BibTeX RDF
2	Rajeev Alur, Gera Weiss	RTComposer: a framework for real-time components with scheduling interfaces.	EMSOFT	2008	DBLP DOI BibTeX RDF	automata based scheduling, real time specification for java (RTSJ)
2	Eric Eide, John Regehr	Volatiles are miscompiled, and what to do about it.	EMSOFT	2008	DBLP DOI BibTeX RDF	compiler defect, compiler testing, random program generation, random testing, automated testing, volatile
2	Seongnam Kwon, Yongjoo Kim, Woo-Chul Jeun, Soonhoi Ha, Yunheung Paek	A retargetable parallel-programming framework for MPSoC.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	parallel-programming, design-space exploration, Embedded software, multiprocessor system on chip, software generation
2	Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim	Pre-testing Flash Device Driver through Model Checking Techniques.	ICST	2008	DBLP DOI BibTeX RDF	Model Checking, Testing, Embedded Software
2	Ricardo Miotto Redin, Marcio F. da S. Oliveira, Lisane B. de Brisolara, Júlio C. B. de Mattos, Luís C. Lamb, Flávio Rech Wagner, Luigi Carro	On the Use of Software Quality Metrics to Improve Physical Properties of Embedded Systems.	DIPES	2008	DBLP DOI BibTeX RDF	software engineering, measurement, metrics, quality, embedded software
2	Yunsi Fei, Srivaths Ravi, Anand Raghunathan, Niraj K. Jha	Energy-optimizing source code transformations for operating system-driven embedded software.	ACM Trans. Embedded Comput. Syst.	2007	DBLP DOI BibTeX RDF	Linux, energy consumption, source code transformations
2	Manfred Broy	Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones.	ISSE	2007	DBLP DOI BibTeX RDF
2	Anish Muttreja, Anand Raghunathan, Srivaths Ravi, Niraj K. Jha	Hybrid Simulation for Energy Estimation of Embedded Software.	IEEE Trans. on CAD of Integrated Circuits and Systems	2007	DBLP DOI BibTeX RDF
2	Anish Muttreja, Anand Raghunathan, Srivaths Ravi, Niraj K. Jha	Automated Energy/Performance Macromodeling of Embedded Software.	IEEE Trans. on CAD of Integrated Circuits and Systems	2007	DBLP DOI BibTeX RDF
2	Yasufumi Shinyashiki, Toshiro Mise, Masaaki Hashimoto, Keiichi Katamine, Naoyasu Ubayashi, Takako Nakatani	Enhancing the ESIM (Embedded Systems Improving Method) by Combining Information Flow Diagram with Analysis Matrix for Efficient Analysis of Unexpected Obstacles in Embedded Software.	APSEC	2007	DBLP DOI BibTeX RDF
2	Natsuko Noda, Tomoji Kishi	Aspect-Oriented Modeling for Embedded Software Design.	APSEC	2007	DBLP DOI BibTeX RDF
2	Djones Lettnin, Markus Winterholer, Axel G. Braun, Joachim Gerlach, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel	Coverage Driven Verification applied to Embedded Software.	ISVLSI	2007	DBLP DOI BibTeX RDF