Search results for "Model-based design"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Stefan Preitl, Radu-Emil Precup, Marius-Lucian Tomescu, Mircea-Bogdan Radac, Emil M. Petriu, Claudia-Adina Dragos	Model-Based Design Issues in Fuzzy Logic Control.	Towards Intelligent Engineering and Information Technology	2009	DBLP DOI BibTeX RDF	stability, model-based design, fuzzy logic control
3	Jirí Hýsek, Milan Ceska, Vladimír Janousek	Model-Based Design and Verification of Reactive Systems.	EUROCAST	2009	DBLP DOI BibTeX RDF	formal verification, reactive systems, model-based design, state charts
3	Claus Brabrand	Constructive Alignment for Teaching Model-Based Design for Concurrency.	T. Petri Nets and Other Models of Concurrency	2008	DBLP DOI BibTeX RDF	student learning, constructive alignment, the SOLO taxonomy, model-based design for concurrency, teaching
3	Norman Scaife, Paul Caspi	Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems.	ECRTS	2004	DBLP DOI BibTeX RDF	wait-free communication, double buffers, model-based design, synchrony, preemptive scheduling, fixed priority
2	Jonathan Sprinkle, J. Mikael Eklund, Humberto González, Esten Ingar Grøtli, Ben Upcroft, Alexei Makarenko, Will Uther, Michael Moser, Robert Fitch, Hugh F. Durrant-Whyte, Shankar Sastry	Model-based design: a report from the trenches of the DARPA Urban Challenge.	Software and System Modeling	2009	DBLP DOI BibTeX RDF
2	Fabio Paternò, Carmen Santoro, Lucio Davide Spano	Model-Based Design of Multi-device Interactive Applications Based on Web Services.	INTERACT	2009	DBLP DOI BibTeX RDF	Web Services, User Interface Design, Model-Based Design, Multi-device Environments
2	András Pataricza	Model-Based Design - A Chance for Good Quality Products and Services by Integrating Intelligence.	UNISCON	2009	DBLP DOI BibTeX RDF
2	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
2	Chris Stary	Didactic Models as Design Representations.	HCI	2009	DBLP DOI BibTeX RDF	learning management, integrated specification, e-learning, consistency, coherence, model-based design
2	María Luisa Rodríguez, José Luis Garrido, María Visitación Hurtado, Manuel Noguera	An Approach to the Model-Based Design of Groupware Multi-user Interfaces.	CRIWG	2007	DBLP DOI BibTeX RDF	Groupware applications, model-based development, multi-user interfaces, group awareness
2	Shige Wang, Kang G. Shin	Task Construction for Model-Based Design of Embedded Control Software.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	Task construction, model transformation, embedded software, model-based design
2	Erwin Cuppens, Chris Raymaekers, Karin Coninx	A Model-Based Design Process for Interactive Virtual Environments.	DSV-IS	2005	DBLP DOI BibTeX RDF
2	Sandra Basnyat, Joan De Boeck, Erwin Cuppens, Leonel Nóbrega, Francisco Montero, Fabio Paternò, Kevin Schneider	Future Challenges of Model-Based Design.	DSV-IS	2005	DBLP DOI BibTeX RDF
2	Luciano Lavagno, Marco Di Natale, Alberto Ferrari, Paolo Giusto	SoftContract: Model-Based Design of Error-Checking Code and Property Monitors.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
2	Jan Van den Bergh, Karin Coninx	Model-based design of context-sensitive interactive applications: a discussion of notations.	TAMODIA	2004	DBLP DOI BibTeX RDF	context-sensitive interactive systems, model-based user interface design, graphical notation
2	Simone Diniz Junqueira Barbosa, Milene Selbach Silveira, Maíra Greco de Paula, Karin Koogan Breitman	Supporting a Shared Understanding of Communication-Oriented Concerns in Human-Computer Interaction: A Lexicon-Based Approach.	EHCI/DS-VIS	2004	DBLP DOI BibTeX RDF	communication-centered design, model-based design of human-computer interaction, language extended lexicon, semiotic engineering
1	Daniel Santamaría, Francisco Alarcón, Antonio Jiménez, Antidio Viguria, Manuel Bejar, Aníbal Ollero	Model-Based Design, Development and Validation for UAS Critical Software.	Journal of Intelligent and Robotic Systems	2012	DBLP DOI BibTeX RDF
1	Hee Jin Kang, Jong-Gye Shin, Jong Kap Lee	A business model-based design of a damage control support system for naval ships.	Systems Engineering	2012	DBLP DOI BibTeX RDF
1	Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier, Marco Schumann, Robert Eschbach	Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities.	PRDC	2011	DBLP DOI BibTeX RDF
1	Rémi Delmas, David Doose, Anthony Fernandes Pires, Thomas Polacsek	Supporting Model Based Design.	MEDI	2011	DBLP DOI BibTeX RDF
1	Jeff C. Jensen, Danica H. Chang, Edward A. Lee	A model-based design methodology for cyber-physical systems.	IWCMC	2011	DBLP DOI BibTeX RDF
1	Rongqing Li, Rong Zhou, Guangxin Li, Weimin He, Xiaoqian Zhang, T. John Koo	A Prototype of Model-Based Design Tool and Its Application in the Development Process of Electronic Control Unit.	COMPSAC Workshops	2011	DBLP DOI BibTeX RDF
1	S. Ramesh, Ambar A. Gadkari	Rigorous model-based design & verification flow for in-vehicle software.	DAC	2011	DBLP DOI BibTeX RDF
1	Tizar Rizano, Roberto Passerone, David Macii, Luigi Palopoli	Model-based design of embedded control software for hybrid vehicles.	SIES	2011	DBLP DOI BibTeX RDF
1	Imene Ben Hafaiedh, Susanne Graf, Mohamad Jaber	Model-based design and distributed implementation of bus arbiter for multiprocessors.	ICECS	2011	DBLP DOI BibTeX RDF
1	Yuri V. Mitrishkin, Alexander A. Efremov, Semjon M. Zenkov, Ilya S. Sushin, Vladimir N. Dokuka, Rustam R. Khayrutdinov	Hardware-in-the-loop simulation as a stage of plasma control system model-based design in tokamaks: A test case.	CCA	2011	DBLP DOI BibTeX RDF
1	Vijay Shankar Gopinath, Jonathan Sprinkle, Roman Lysecky	Modeling of Data Adaptable Reconfigurable Embedded Systems.	ECBS	2011	DBLP DOI BibTeX RDF	DARES, GME, model-based design, model integrated computing, Data adaptability
1	Sachidanand Mahadevan, Vijay Shankar Gopinath, Roman Lysecky, Jonathan Sprinkle, Jerzy W. Rozenblit, Michael W. Marcellin	Hardware/Software Communication Middleware for Data Adaptable Embedded Systems.	ECBS	2011	DBLP DOI BibTeX RDF	hardware/software communication middleware, hardware/software codesign, model-based design, Data adaptability
1	Tripti Saxena, Gabor Karsai	A Meta-Framework for Design Space Exploration.	ECBS	2011	DBLP DOI BibTeX RDF	design space exploration, constraint programming, model based design
1	Jonathan Sprinkle, Brandon Eames	On the Mitigation of MultiCore-Induced Behavioral Deviations of an Autonomous Ground Vehicle.	ECBS	2011	DBLP DOI BibTeX RDF	multicore, Autonomous systems, model-based design, component-based systems, code reuse
1	Sean Whitsitt, Jonathan Sprinkle	Message Modeling for the Joint Architecture for Unmanned Systems (JAUS).	ECBS	2011	DBLP DOI BibTeX RDF	JAUS, Unmanned systems, Code generation, Metamodeling, Model-based design, Autonomous vehicles
1	Albrecht Schmidt	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
1	Rhonda Kay Gaede, David Moody, Michael Adderley, Charles Fulks, Laurie Joiner, Jeffrey H. Kulick	A Model-Based Design Approach For Realizing Signal Processing Systems in FPGAs.	ERSA	2010	DBLP BibTeX RDF
1	Fernando Gallego, Ana I. Molina, Crescencio Bravo, William J. Giraldo	A Proposal for Model-Based Design and Development of Group Work Tasks in a Shared Context.	CDVE	2010	DBLP DOI BibTeX RDF
1	David Hoadley	Using Model-Based Design in an IEC 62304-Compliant Software Development Process.	MBEES	2010	DBLP BibTeX RDF
1	Jeong-Si Kim, Chaedeok Lim, Tae-Man Han	A Model-Based Design Tool of Automotive Software Architecture.	COMPSAC	2010	DBLP DOI BibTeX RDF
1	Hans-Christian Jetter, Jens Gerken, Michael Zöllner, Harald Reiterer	Model-Based Design and Implementation of Interactive Spaces for Information Interaction.	HCSE	2010	DBLP DOI BibTeX RDF
1	Al-Khateeb Anwar, Luciano Lavagno	MEOW: Model-based design of an energy-optimized protocol stack for wireless sensor networks.	LCN	2010	DBLP DOI BibTeX RDF
1	Glenn Saunders, Michael K. Jensen, Jeffrey Maguire, Christopher O'Connor, Mario Muñoz	Model-based design automation and process automation in titanium sheet metal manufacturing.	CASE	2010	DBLP DOI BibTeX RDF
1	Andreas Baumgart, Philipp Reinkemeier, Achim Rettberg, Ingo Stierand, Eike Thaden, Raphael Weber	A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems.	SEUS	2010	DBLP DOI BibTeX RDF
1	Luciano Ost, Leandro Soares Indrusiak, Sanna Määttä, Marcelo Mandelli, Jari Nurmi, Fernando Moraes	Model-based design flow for NoC-based MPSoCs.	ICECS	2010	DBLP DOI BibTeX RDF
1	Hubert Dubois, Marie-Agnès Peraldi-Frati, Fadoi Lakhal	A Model for Requirements Traceability in a Heterogeneous Model-Based Design Process: Application to Automotive Embedded Systems.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Keith A. Butler, Ann J. Hunt, John Muehleisen, Jiajie Zhang, Beth Huffer	Ontology models for interaction design: case study of online support.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	analysis methods (e.g., task/interaction modeling, entity modeling, faceted navigation & search, interactive problem solving, model-based design methods, representation effect, work ontology, work-centered design, task analysis, information architecture, ontology modeling
1	Rolf Johansson, Stefan Bunzel, Marc Graniou, Henrik Lönn, Håkan Sivencrona, Friedhelm Stappert	A road-map for enabling system analysis of AUTOSAR-based systems.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	ISO-26262, safety, system analysis, ADL, model-based design, AUTOSAR
1	Al-Khateeb Anwar, Luciano Lavagno	Energy optimization framework for WSN design.	IPSN	2010	DBLP DOI BibTeX RDF	asynchronous MAC, energy and power optimization, model-based design
1	Monika Heiner, Sebastian Lehrack, David Gilbert, Wolfgang Marwan	Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments.	T. Comp. Sys. Biology	2009	DBLP DOI BibTeX RDF
1	Huáscar Espinoza, Daniela Cancila, Bran Selic, Sébastien Gérard	Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems.	ECMDA-FA	2009	DBLP DOI BibTeX RDF	embedded systems, MARTE, model-based engineering, SysML
1	Ines Fey, Mirko Conrad	Demonstrating IEC 61508 Compliance in Model-Based Design.	MBEES	2009	DBLP BibTeX RDF
1	Johanna Renny Octavia, Lode Vanacken, Chris Raymaekers, Karin Coninx, Eddy Flerackers	Facilitating Adaptation in Virtual Environments Using a Context-Aware Model-Based Design Process.	TAMODIA	2009	DBLP DOI BibTeX RDF
1	Steve Perry	Model Based Design needs high level synthesis - A collection of high level synthesis techniques to improve productivity and quality of results for model based electronic design.	DATE	2009	DBLP BibTeX RDF
1	Mouaiad Alras, Paul Caspi, Alain Girault, Pascal Raymond	Model-Based Design of Embedded Control Systems by Means of a Synchronous Intermediate Model.	ICESS	2009	DBLP DOI BibTeX RDF
1	Krzysztof Sacha	Model-based Design of Code for PLC Controllers.	ICINCO-SPSMC	2009	DBLP BibTeX RDF
1	Marc Geilen	Reduction techniques for synchronous dataflow graphs.	DAC	2009	DBLP DOI BibTeX RDF	synchronous dataflow graphs, model-based design, reduction techniques
1	Fabio Paternò, Carmen Santoro, Lucio Davide Spano	Support for authoring service front-ends.	EICS	2009	DBLP DOI BibTeX RDF	user interface composition, web services, model-based design
1	Reinhard von Hanxleden	SyncCharts in C: a proposal for light-weight, deterministic concurrency.	EMSOFT	2009	DBLP DOI BibTeX RDF	SyncCharts, reactive processing, statecharts, multi-threading, model-based design, esterel, synchronous programming
1	Ewen Denney, Bernd Fischer 0002	A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software.	ASE	2009	DBLP DOI BibTeX RDF	model-based design, verification and validation, code reviews, automated code generation
1	Ethan K. Jackson, Janos Sztipanovits	Formalizing the structural semantics of domain-specific modeling languages.	Software and System Modeling	2009	DBLP DOI BibTeX RDF	Structural semantics, Metamodeling, Model-based Design, Formal logic, Domain-specific modeling languages, Horn logic
1	Anke Dittmar, Peter Forbrig	Task-based design revisited.	EICS	2009	DBLP DOI BibTeX RDF	development processes for interactive systems, task modeling, task-based design
1	Nan Wu 0003, Mei Wen, Wei Wu, Ju Ren, Huayou Su, Changqing Xun, Chunyuan Zhang	Streaming HD H.264 encoder on programmable processors.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	1080P HD, H.264 encoder, real-time, stream, programmable
1	Nalini Vasudevan, Stephen A. Edwards	Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore.	SAC	2009	DBLP DOI BibTeX RDF	SHIM, parallelism, compiler, concurrency, cell processor
1	Rajibul Huq, Hervé Lacheray, Cameron Fulford, Derek Wight, Jacob Apkarian	QBOT: An educational mobile robot controlled in MATLAB Simulink environment.	CCECE	2009	DBLP DOI BibTeX RDF
1	Tibor Farkas, Carsten Neumann, Andreas Hinnerichs	An Integrative Approach for Embedded Software Design with UML and Simulink.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Radek Kocí, Vladimír Janousek	Simulation Based Design of Control Systems Using DEVS and Petri Nets.	EUROCAST	2009	DBLP DOI BibTeX RDF
1	Anke Dittmar, Peter Forbrig	An Exploration of Perspective Changes within MBD.	HCI	2009	DBLP DOI BibTeX RDF
1	Dominik Domis, Mario Trapp	Component-Based Abstraction in Fault Tree Analysis.	SAFECOMP	2009	DBLP DOI BibTeX RDF
1	Elvinia Riccobene, Patrizia Scandurra	Model transformations in the UPES/UPSoC development process for embedded systems.	ISSE	2009	DBLP DOI BibTeX RDF	Model-based development (MBD), Unified modeling language (UML), Model transformations, SystemC, Embedded system design
1	C. L. Stabler, C. Fraker, E. Pedraza, I. Constantinidis, A. Sambanis	Modeling and in vitro and in vivo characterization of a tissue engineered pancreatic substitute.	J. Comb. Optim.	2009	DBLP DOI BibTeX RDF	Tissue construct modeling, Pancreatic substitute, Agarose, Encapsulated cells, ?TC3 insulinoma cells
1	Seokhyun Yoon	Ricean model based design and analysis of sub-channelized orthogonal frequency division multiplexing.	IEEE Transactions on Wireless Communications	2008	DBLP DOI BibTeX RDF
1	Takashi Kohno, Kazuyuki Aihara	Mathematical-model-based design of silicon burst neurons.	Neurocomputing	2008	DBLP DOI BibTeX RDF
1	Kentaro Yoshimura, Thomas Forster, Dirk Muthig, Daniel Pech	Model-Based Design of Product Line Components in the Automotive Domain.	SPLC	2008	DBLP DOI BibTeX RDF
1	Dragos Truscan, Tiberiu Seceleanu, Johan Lilius, Hannu Tenhunen	A Model-Based Design Process for the SegBus Distributed Architecture.	ECBS	2008	DBLP DOI BibTeX RDF	Segmented Bus Architecture, UML, MDA, model transformation
1	Marcello Mura, Luis Gabriel Murillo, Mauro Prevostini	Model-based Design Space Exploration for RTES with SysML and MARTE.	FDL	2008	DBLP DOI BibTeX RDF
1	Ruth Breu, Janos Sztipanovits	Second International Workshop on the Model-Based Design of Trustworthy Health Information Systems MOTHIS 2008.	MoDELS Workshops	2008	DBLP DOI BibTeX RDF
1	Mirko Conrad	Model-Based Design for IEC 61508: Towards Translation Validation of Generated Code.	Software Engineering (Workshops)	2008	DBLP BibTeX RDF
1	Herbert Hanselmann	Model-Based-Design Is Nice But...	DATE	2008	DBLP DOI BibTeX RDF
1	Hauke Fuhrmann, Reinhard von Hanxleden	On the Pragmatics of Model-Based Design.	Monterey Workshop	2008	DBLP DOI BibTeX RDF
1	Johannes Klöckner, Sven Köhler 0003, Wolfgang Fengler	Model based Design of Networked Embedded Systems - A Modeling Approach using FlexRay as an Example.	ICINCO-SPSMC	2008	DBLP BibTeX RDF
1	Fabio Paternò, Carmen Santoro, Antonio Scorcia	Automatically adapting web sites for mobile access through logical descriptions and dynamic analysis of interaction resources.	AVI	2008	DBLP DOI BibTeX RDF	multi-device web interfaces, model-based design, mobile interfaces, user interface adaptation
1	Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis	Semantics-preserving multitask implementation of synchronous programs.	ACM Trans. Embedded Comput. Syst.	2008	DBLP DOI BibTeX RDF	process communication, optimality, Embedded software, model-based design, preemptive scheduling, synchronous programming, semantical preservation
1	Helene Schilke, Achim Rettberg, Florian Dittmann	Towards a Petri Net Based Approach to Model and Synthesise Dynamic Reconfiguration for FPGAs.	DELTA	2008	DBLP DOI BibTeX RDF	Model-based Design Flow, FPGA, Petri-net, Dynamic Reconfiguration
1	William J. Giraldo, Ana I. Molina, César A. Collazos, Manuel Ortega, Miguel A. Redondo	A Model Based Approach for GUI Development in Groupware Systems.	CRIWG	2008	DBLP DOI BibTeX RDF	Model Based Design and Development, Software Engineering, Interaction design, Groupware design
1	Alexandre Scaico, Maria de Fátima Queiroz Vieira, Marckson R. F. de Sousa, Charles Santoni	Investigating System Navigation Ergonomics through Model Verification.	DSV-IS	2008	DBLP DOI BibTeX RDF	safety critical interfaces, Model based design, CPN
1	Ana I. Molina, William J. Giraldo, Francisco Jurado, Miguel A. Redondo, Manuel Ortega	Model-Based Evolution of an E-Learning Environment Based on Desktop Computer to Mobile Computing.	ICCSA	2008	DBLP DOI BibTeX RDF	Graphical User Interfaces evolution process, Mobile computing, Model-Based Design, Computer Supported Collaborative Learning, Methodological framework
1	Herbert Hanselmann	Challenges in automotive software engineering.	ICSE Companion	2008	DBLP DOI BibTeX RDF
1	A. K. Bhattacharjee, R. K. Shyamasundar	ScriptOrc: A Specification Language for Web Service Choreography.	APSCC	2008	DBLP DOI BibTeX RDF
1	Stefano Monti, Walter Nesci, Serino Angellotti, Claudio Schellino, Massimo Seminara, Rainer Wuesthenagen	Configuration and Change Management of the Outcomes of an Automotive Engine Control Model Based Software Design Process.	COMPSAC	2008	DBLP DOI BibTeX RDF
1	Gaurav Saxena, Subramaniam Ganesan, Manohar Das	Real time implementation of adaptive noise cancellation.	EIT	2008	DBLP DOI BibTeX RDF
1	Pedro Balaguer, Norhaliza Abdul Wahab, M. Reza Katebi, Ramon Vilanova	Multivariable PID control tuning: A controller validation approach.	ETFA	2008	DBLP DOI BibTeX RDF
1	Marcel A. Groothuis, Arjen S. Damstra, Jan F. Broenink	Virtual prototyping through co-simulation of a Cartesian plotter.	ETFA	2008	DBLP DOI BibTeX RDF
1	Radek Kocí, Vladimír Janousek	System Design with Object Oriented Petri Nets Formalism.	ICSEA	2008	DBLP DOI BibTeX RDF
1	Weimu Ma, Yunong Zhang, Jiahai Wang	MATLAB Simulink modeling and simulation of Zhang neural networks for online time-varying sylvester equation solving.	IJCNN	2008	DBLP DOI BibTeX RDF
1	Christian Ferdinand, Reinhold Heckmann	Worst-Case Execution Time - A Tool Provider's Perspective.	ISORC	2008	DBLP DOI BibTeX RDF	WCET worst-case execution time prediction
1	Mohammad Mostafizur Rahman Mozumdar, Francesco Gregoretti, Luciano Lavagno, Laura Vanzago, Stefano Olivieri	A Framework for Modeling, Simulation and Automatic Code Generation of Sensor Network Application.	SECON	2008	DBLP DOI BibTeX RDF
1	Jianhui Luo, Krishna R. Pattipati, Liu Qiao, Shunsuke Chigusa	Model-Based Prognostic Techniques Applied to a Suspension System.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2008	DBLP DOI BibTeX RDF
1	Rong-Jong Wai, Zhi-Wei Yang	Adaptive Fuzzy Neural Network Control Design via a T-S Fuzzy Model for a Robot Manipulator Including Actuator Dynamics.	IEEE Transactions on Systems, Man, and Cybernetics, Part B	2008	DBLP DOI BibTeX RDF
1	Ethan K. Jackson, Wolfram Schulte	Model Generation for Horn Logic with Stratified Negation.	FORTE	2008	DBLP DOI BibTeX RDF
1	Axel Schild, Jan Lunze	Switching Surface Design for Periodically Operated Discretely Controlled Continuous Systems.	HSCC	2008	DBLP DOI BibTeX RDF
1	Beata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon	A Model-Based Design-for-Verification Approach to Checking for Deadlock in Multi-Threaded Applications.	International Journal of Software Engineering and Knowledge Engineering	2007	DBLP DOI BibTeX RDF
1	Anastase Adonis, Khalil Drira	Model-based design methods for adaptive e-learning environments.	Interact. Techn. Smart Edu.	2007	DBLP DOI BibTeX RDF
1	Hans Joachim Zander	Eine Methode zum prozessmodellbasierten Entwurf von Steueralgorithmen für parallele ereignisdiskrete Prozesse (A Method for Model-based Design of Control Algorithms for Parallel Discrete Event Processes).	Automatisierungstechnik	2007	DBLP DOI BibTeX RDF