Search results for "formal methodology"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Ana Belén Barragáns-Martínez, José J. Pazos Arias	chi-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications.	ICSE	2004	DBLP DOI BibTeX RDF	Requirements Refinement, Unspecification, Specification Evolution, Multi-Perspective Environment, Viewpoints, Inconsistency
2	Taolue Chen, Tingting Han, Jian Lu	Framework of Performance Evaluation for Mobile Process Based on Mobile Ambient.	CIT	2004	DBLP DOI BibTeX RDF	Formal methodology, Software quantity, Performance evaluation, Process algebra, Mobile ambient
1	Jesus Diaz, David Arroyo, Francisco B. Rodriguez	A formal methodology for integral security design and verification of network protocols	CoRR	2012	DBLP BibTeX RDF
1	Guoqiang Shu, David Lee	A Formal Methodology for Network Protocol Fingerprinting.	IEEE Trans. Parallel Distrib. Syst.	2011	DBLP DOI BibTeX RDF	Formal methods, network management, protocol verification, network level security and protection
1	Grzegorz Malinowski, Jan Wolenski	Logic, Formal Methodology and Semantics in Works of Ryszard Wójcicki.	Studia Logica	2011	DBLP DOI BibTeX RDF
1	Anirban Sengupta, Chandan Mazumdar, Aditya Bagchi	A Formal Methodology for Detecting Managerial Vulnerabilities and Threats in an Enterprise Information System.	J. Network Syst. Manage.	2011	DBLP DOI BibTeX RDF
1	Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil Dutt, Nalini Venkatasubramanian	A Formal Methodology for Compositional Cross-Layer Optimization.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
1	Gabriel Pedroza, Muhammad Sabir Idrees, Ludovic Apvrille, Yves Roudier	A Formal Methodology Applied to Secure Over-the-Air Automotive Applications.	VTC Fall	2011	DBLP DOI BibTeX RDF
1	Kenji Ohmori, Tosiyasu L. Kunii	A Formal Methodology for Developing Enterprise Systems Procedurally: Homotopy, Pi-Calculus and Event-Driven Programs.	CW	2010	DBLP DOI BibTeX RDF	Invariant Preserving, Multi Threads, Event Driven, Homotopy, Pi-calculus, Abstraction Hierarchy
1	José Manuel Andújar Márquez, Antonio Javier Barragán-Piña	A formal methodology for the analysis and design of nonlinear fuzzy control systems.	FUZZ-IEEE	2010	DBLP DOI BibTeX RDF
1	Miroslav Pajic, Zhihao Jiang, Allison Connolly, Sanjay Dixit, Rahul Mangharam	A platform for implantable medical device validation.	IPSN	2010	DBLP DOI BibTeX RDF	real-time systems, validation, cyber-physical systems, medical devices
1	José Manuel Andújar Márquez, Antonio Javier Barragán Pina, Manuel Emilio Gegúndez Arias	A General and Formal Methodology to Design Stable Nonlinear Fuzzy Control Systems.	IEEE T. Fuzzy Systems	2009	DBLP DOI BibTeX RDF
1	Anirban Sengupta, Chandan Mazumdar, Aditya Bagchi	A formal methodology for detection of vulnerabilities in an enterprise information system.	CRiSIS	2009	DBLP DOI BibTeX RDF
1	Andrey Berlizev, Nicolas Guelfi	Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	fault-tolerant systems development, Semi-formal methodology, UML, MDE, integrated approaches, deviations
1	Arnab Sinha, Pallab Dasgupta, Bhaskar Pal, Sayantan Das, Prasenjit Basu, P. P. Chakrabarti	Design intent coverage revisited.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	Design Intent Coverage
1	Michael J. Ocean, Assaf J. Kfoury, Azer Bestavros	A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systems.	MOMPES	2009	DBLP DOI BibTeX RDF
1	Michael Kohlhase, Johannes Lemburg, Lutz Schröder, Ewaryst Schulz	Formal Management of CAD/CAM Processes.	FM	2009	DBLP DOI BibTeX RDF
1	Chryssis Georgiou, Nancy A. Lynch, Panayiotis Mavrommatis, Joshua A. Tauber	Automated implementation of complex distributed algorithms specified in the IOA language.	STTT	2009	DBLP DOI BibTeX RDF	Input/Output automata, Verifiable distributed code, IOA Toolkit, Formal methods, Automated code generator
1	Mohammad Moallemi, J. Marcelo Gutierrez-Alcaraz, Gabriel A. Wainer	ECD++ a DEVS based real-time simulator for embedded systems.	SpringSim	2008	DBLP DOI BibTeX RDF	embedded CD++ (ECD++), mindstorms, robocart, real-time
1	Huo Yan Chen, Lin Tan, T. H. Tse	A Scheme to Aid Construction of Left-Hand Sides of Axioms in Algebraic Specifications forObject-Oriented Program Testing.	CSSE	2008	DBLP DOI BibTeX RDF
1	Yuan-Chi Chang, Pietro Mazzoleni, George A. Mihaila, David Cohn	Solving the Service Composition Puzzle.	IEEE SCC	2008	DBLP DOI BibTeX RDF
1	Wissam Mallouli, Bachar Wehbi, Ana R. Cavalli	Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking.	ADHOC-NOW	2008	DBLP DOI BibTeX RDF	Trace Collection and Correlation, Nomad Logic, Ad Hoc Networks, Monitoring, Conformance Testing, Security Analysis
1	Ana Belén Barragáns-Martínez, José J. Pazos Arias, Ana Fernández Vilas, Jorge García Duque, Martín López Nores, Rebeca P. Díaz Redondo, Yolanda Blanco-Fernández	Composing requirements specifications from multiple prioritized sources.	Requir. Eng.	2008	DBLP DOI BibTeX RDF	Requirements specification, Viewpoints, Inconsistency, Prioritization, Incompleteness
1	Luis Martínez, Luis G. Pérez, Jun Liu	A Linguistic Decision Based Model Applied to Olive Oil Sensory Evaluation.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF
1	Ismael Rodríguez, Manuel Núñez	A Formal Methodology to Test Complex Heterogeneous Systems.	ATVA	2007	DBLP DOI BibTeX RDF
1	Vasu S. Alagar, Mubarak Mohammad	Specification and verification of trustworthy component-based real-time reactive systems.	SAVCBS	2007	DBLP DOI BibTeX RDF	components, trustworthiness, real-time reactive systems
1	Tushar Kumar, Jaswanth Sreeram, Romain Cledat, Santosh Pande	A profile-driven statistical analysis framework for the design optimization of soft real-time applications.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF	profiling, statistical analysis, signatures, soft real-time, pattern detection, behavior prediction
1	Tushar Kumar, Jaswanth Sreeram, Romain Cledat, Santosh Pande	A profile-driven statistical analysis framework for the design optimization of soft real-time applications.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	profiling, statistical analysis, signatures, soft real-time, pattern detection, behavior prediction
1	Proshanta Saha, Tarek A. El-Ghazawi	Applications of Heterogeneous Computing in Hardware/Software Co-Scheduling.	AICCSA	2007	DBLP DOI BibTeX RDF
1	Proshanta Saha, Tarek A. El-Ghazawi	Software/Hardware Co-Scheduling for Reconfigurable Computing Systems.	FCCM	2007	DBLP DOI BibTeX RDF
1	Proshanta Saha	Automatic Software Hardware Co-Design for Reconfigurable Computing Systems.	FPL	2007	DBLP DOI BibTeX RDF
1	Chandan Karfa, Chittaranjan A. Mandal, Dipankar Sarkar, Chris Reade	Register Sharing Verification During Data-Path Synthesis.	ICCTA	2007	DBLP DOI BibTeX RDF
1	Proshanta Saha, Tarek A. El-Ghazawi	A Methodology for Automating Co-Scheduling for Reconfigurable Computing Systems.	MEMOCODE	2007	DBLP DOI BibTeX RDF
1	Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez	Generation of optimal finite test suites for timed systems.	TASE	2007	DBLP DOI BibTeX RDF
1	Lina Zhou, Dongsong Zhang	An Ontology-Supported Misinformation Model: Toward a Digital Misinformation Library.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2007	DBLP DOI BibTeX RDF
1	Paulo Nazareno Maia Sampaio, Laura Margarita Rodríguez Peralta, Jean-Pierre Courtiat	Designing Consistent Multimedia Documents: The RT-LOTOS Methodology.	FORMATS	2007	DBLP DOI BibTeX RDF
1	Janica Edmonds, Mauricio Papa, Sujeet Shenoi	Security Analysis of Multilayer SCADA Protocols.	Critical Infrastructure Protection	2007	DBLP DOI BibTeX RDF	Multilayer protocols, Modbus TCP, formal methods, security analysis
1	Issam W. Damaj	Parallel Algorithms Development for Programmable Devices with Application from Cryptography.	International Journal of Parallel Programming	2007	DBLP DOI BibTeX RDF	Parallel algorithms, methodologies, formal models, data encryption, gate array
1	Issam Damaj	Higher-Level Hardware Synthesis of the KASUMI Algorithm.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	parallel algorithms, methodology, formal models, data encryption, gate array
1	James D'Arcy Walsh, Francis Bordeleau, Bran Selic	Domain analysis of dynamic system reconfiguration.	Software and System Modeling	2007	DBLP DOI BibTeX RDF	based systems, driven development, Model-, UML, Component, Software evolution, Dynamic reconfiguration, System integrity, Feature modeling, Alloy
1	Qiang Shen	Rough Feature Selection for Intelligent Classifiers.	T. Rough Sets	2007	DBLP DOI BibTeX RDF
1	Joonsoo Kim, Michael Orshansky	Towards formal probabilistic power-performance design space exploration.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	formal methodology, hierarchical design exploration, performance, power, probabilistic, canonical representation
1	Sayantan Das, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti	What lies between design intent coverage and model checking?	DATE	2006	DBLP DOI BibTeX RDF
1	Yingxu Wang	On Concept Algebra and Knowledge Representation.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
1	Anand Pappu, Alyssa B. Apsel	Synthesis of a current source using a formal design methodology.	ISCAS	2006	DBLP DOI BibTeX RDF
1	Cyril Grepet, Stéphane Maag	Conformance and Interoperability Testing of an Ad Hoc Routing Protocol.	MDM	2006	DBLP DOI BibTeX RDF
1	Laura Pozzi, Kubilay Atasu, Paolo Ienne	Exact and approximate algorithms for the extension of embedded processor instruction sets.	IEEE Trans. on CAD of Integrated Circuits and Systems	2006	DBLP DOI BibTeX RDF
1	Sergio Rafael Coria Olguin, Luis Alberto Pineda Cortés	Predicting Dialogue Acts from Prosodic Information.	CICLing	2006	DBLP DOI BibTeX RDF
1	Tibor Bosse, Mark Hoogendoorn, Jan Treur	Automated Evaluation of Coordination Approaches.	COORDINATION	2006	DBLP DOI BibTeX RDF
1	Fernando Castor Filho, Patrick Henrique da S. Brito, Cecília M. F. Rubira	Reasoning About Exception Flow at the Architectural Level.	RODIN Book	2006	DBLP DOI BibTeX RDF
1	Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott	Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Real-time systems, Active networks, Formal analysis, Rewriting logic, Object-oriented specification, Multicast protocols
1	Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel	Towards a Formal Methodology for Designing Multi-agent Applications.	MATES	2005	DBLP DOI BibTeX RDF
1	Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel	Towards a formal methodology for developing multi-agent applications using temporal Z.	AICCSA	2005	DBLP DOI BibTeX RDF
1	Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner	XFM: An incremental methodology for developing formal models.	ACM Trans. Design Autom. Electr. Syst.	2005	DBLP DOI BibTeX RDF	Extreme formal modeling, prescriptive formal models, property ordering, property refactoring, formal specification, formal verification, extreme programming, SPIN, SMV
1	Vinil Varghese, Tom Chen, Peter Michael Young	Systematic Analysis of Active Clock Deskewing Systems Using Control Theory.	DATE	2005	DBLP DOI BibTeX RDF
1	Joshua J. Yi, David J. Lilja, Douglas M. Hawkins	Improving Computer Architecture Simulation Methodology by Adding Statistical Rigor.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	simulation output analysis, measurement techniques, Performance analysis and design aids
1	Yuexuan Wang, Cheng Wu, Ke Xu	Study on pi-Calculus Based Equipment Grid Service Chain Model.	NPC	2005	DBLP DOI BibTeX RDF
1	D'Arcy Walsh, Francis Bordeleau, Bran Selic	A Domain Model for Dynamic System Reconfiguration.	MoDELS	2005	DBLP DOI BibTeX RDF
1	Shih-Hsi Liu	Validation of Distributed Real-Time and Embedded System composition in UniFrame.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	UniFrame, quality of service, real-time, Vienna Development Method, two-level grammar
1	Vinu Vijay Kumar, Rashi Verma, John Lach, Joanne Bechta Dugan	A Markov Reward Model for Reliable Synchronous Dataflow System Design.	DSN	2004	DBLP DOI BibTeX RDF
1	Félix F. Ramos	Methodology for Analysis and Design of Systems.	WSTFEUS	2004	DBLP DOI BibTeX RDF
1	Fernando Ordóñez, B. Krishnamachari	Optimal information extraction in energy-limited wireless sensor networks.	IEEE Journal on Selected Areas in Communications	2004	DBLP DOI BibTeX RDF
1	Kiran K. Vadde, Violet R. Syrotiuk	On Timers of Routing Protocols in MANETs.	ADHOC-NOW	2004	DBLP DOI BibTeX RDF
1	Laura Elena Raileanu, Kilian Stoffel	Theoretical Comparison between the Gini Index and Information Gain Criteria.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	Gini Index, theoretical comparison, classification, decision trees, Information Gain
1	Sameh M. Saad, Terrence D. Perera, Ruwan Wickramarachchi	Distributed simulation in manufacturing: simulation of distributed manufacturing enterprises: a new approach.	Winter Simulation Conference	2003	DBLP DOI BibTeX RDF
1	Joshua J. Yi, David J. Lilja, Douglas M. Hawkins	A Statistically Rigorous Approach for Improving Simulation Methodology.	HPCA	2003	DBLP DOI BibTeX RDF
1	Paulo Leitão, Armando W. Colombo, Francisco Restivo	An Approach to the Formal Specification of Holonic Control Systems.	HoloMAS	2003	DBLP DOI BibTeX RDF
1	Adriano M. Pereira, Mark A. J. Song, Gustavo Gorgulho, Wagner Meira Jr., Sérgio Vale Aguiar Campos	A Formal Methodology to Specify E-commerce Systems.	ICFEM	2002	DBLP DOI BibTeX RDF	property patterns, model checking, formal verification, electronic commerce, design specification
1	György Csertán, Gábor Huszerl, István Majzik, Zsigmond Pap, András Pataricza, Dániel Varró	VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models.	ASE	2002	DBLP DOI BibTeX RDF
1	Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang	Interface Compatibility Checking for Software Modules.	CAV	2002	DBLP DOI BibTeX RDF
1	Andrea Bracciali, Antonio Brogi, Carlos Canal	Adapting Components with Mismatching Behaviours.	Component Deployment	2002	DBLP DOI BibTeX RDF
1	Michael Heymann, Asaf Degani	On the Construction of Human-Automation Interfaces by Formal Abstraction.	SARA	2002	DBLP DOI BibTeX RDF
1	José J. Pazos Arias, Jorge García Duque	SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study.	Formal Asp. Comput.	2001	DBLP DOI BibTeX RDF	Incremental specification, Unspecification, Formal verification, Temporal logic, Formal description techniques, Functional requirements
1	Chiara Nottegar, Corrado Priami, Pierpaolo Degano	Performance Evaluation of Mobile Processes via Abstract Machines.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	Calculi for mobility, enhanced operational semantics, formal methodology, performance evaluation, stochastic models
1	Peter Csaba Ölveczky, Mark Keaton, José Meseguer, Carolyn L. Talcott, Steve Zabele	Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude.	FASE	2001	DBLP DOI BibTeX RDF
1	Julio Leao da Silva Jr., Marco Sgroi, Fernando De Bernardinis, Suet-Fei Li, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey	Wireless protocols design: challenges and opportunities.	CODES	2000	DBLP DOI BibTeX RDF	communication refinement, function/architecture co-design, wireless protocol design, case study
1	Anna Antola, Luca Breveglieri	Dedicated Circuits for the Generation of Windows in Image Processing Architectures.	VLSI Signal Processing	2000	DBLP DOI BibTeX RDF
1	Cesare Alippi, William Fornaciari, Laura Pozzi, Mariagiovanna Sami	A DAG-Based Design Approach for Reconfigurable VLIW Processors.	DATE	1999	DBLP DOI BibTeX RDF
1	Nazanin Mansouri, Ranga Vemuri	Accounting for Various Register Allocation Schemes During Post-Synthesis Verification of RTL Designs.	DATE	1999	DBLP DOI BibTeX RDF
1	Kiran Bondalapati, Viktor K. Prasanna	Dynamic Precision Management for Loop Computations on Reconfigurable Architectures.	FCCM	1999	DBLP DOI BibTeX RDF	Reconfigurable Computing, Precision, Loops
1	Brian Matthews, Elvira Locuratolo	Formal Development of Databases in ASSO and B.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
1	John Yen, W. Amos Tiao	A Formal Methodology for Analyzing Tradeoffs of Imprecise Requirements.	International Journal of Software Engineering and Knowledge Engineering	1998	DBLP DOI BibTeX RDF
1	Phan Minh Dung	A Formal Methodology for Verifying Situated Agents.	AAAI/IAAI	1998	DBLP BibTeX RDF
1	Atef Bader, Tzilla Elrad	The Adaptive Arena: Language Constructs and Architectural Abstractions for Concurrent Object-Oriented Systems. (PDF / PS)	ICPADS	1998	DBLP DOI BibTeX RDF
1	Kiran Bondalapati, Viktor K. Prasanna	Mapping Loops onto Reconfigurable Architectures.	FPL	1998	DBLP DOI BibTeX RDF
1	Charles Consel, Renaud Marlet	Architecture Software Using: A Methodology for Language Development.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
1	Jeremy R. Levitt, Kunle Olukotun	Verifying correct pipeline implementation for microprocessors.	ICCAD	1997	DBLP DOI BibTeX RDF
1	Amparo Alonso-Betanzos, Eduardo Mosqueira-Rey, Belén Baldonedo del Río	A Comparative Analysis of the Neonatal Prognosis Problem Using Artificial Neural Networks, Statistical Techniques and Certainty Management Techniques.	IWANN	1997	DBLP DOI BibTeX RDF
1	Douglas DeCarlo, Dimitris N. Metaxas	The Integration of Optical Flow and Deformable Models with Applications to Human Face Shape and Motion Estimation.	CVPR	1996	DBLP DOI BibTeX RDF
1	C. V. Ramamoorthy	Distributed techniques in software systems integration.	FTDCS	1995	DBLP DOI BibTeX RDF	software systems integration, distributed computing techniques, traditional software development, waterfall model, basic conceptual model, generic integration lifecycle, design, formal specification, testing, specification, software development, software tools, validation, requirements, implementation, program verification, software development management, consumer electronics, iterative testing, automation support
1	Maheshwar Umasankar, Ahmed El-Amawy	Generalized Algorithms for Systematic Synthesis of Branch-and-Combine Clock Networks for Meshes, Tori, and Hypercubes.	IEEE Trans. Parallel Distrib. Syst.	1995	DBLP DOI BibTeX RDF	skew bound, Branch-and-Combine, feature cycle length, hypercube, mesh, tile, torus, Clock skew, clock network
1	Holger Busch	A Practical Method for Reasoning about Distributed Systems in a Theorem Prover.	TPHOLs	1995	DBLP DOI BibTeX RDF
1	Osvaldo Cairó, Silvia Guardati, Tomhs Boom	A formal methodology for acquiring and representing knowledge from multiple experts.	SEKE	1994	DBLP BibTeX RDF
1	Randal E. Bryant, Carl-Johan H. Seger	Formal Verification of Digital Circuits Using Symbolic Ternary System Models.	CAV	1990	DBLP DOI BibTeX RDF
1	PeiZong Lee, Zvi M. Kedem	On high-speed computing with a programmable linear array.	SC	1988	DBLP BibTeX RDF
1	Veda C. Storey, Robert C. Goldstein	A Methodology for Creating User Views in Database Design.	ACM Trans. Database Syst.	1988	DBLP DOI BibTeX RDF
1	Edward P. F. Chan, Héctor J. Hernández	On Designing Database Schemes Bounded or Constant-time-maintainable with respect to Functional Dependencies.	PODS	1987	DBLP DOI BibTeX RDF
1	P. M. Lu, Stephen S. Yau, Wonmo Hong	A formal methodology using attributed grammars for multiprocessing-system software development II - Validation.	Inf. Sci.	1983	DBLP DOI BibTeX RDF
1	P. M. Lu, Stephen S. Yau, Wonmo Hong	A formal methodology using attributed grammars for multiprocessing-system software development I - Design representation.	Inf. Sci.	1983	DBLP DOI BibTeX RDF
1	Ramachandran Krishnaswamy, H. William Buttelmann	Formal Methodology of Translation. I. Semantic Preserving Translations	Information and Control	1978	RDF