Search results for "formal method"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	William C. Chu, Hongji Yang	A Formal Method to Software Integration in Reuse. (PDF / PS)	COMPSAC	1996	DBLP DOI BibTeX RDF	library techniques, semantic interface, adaptation problems, MIATAC-MA Reuse Formal Method, formal semantic interface analysis, MIATAC-MA Specification Language, MIATAC-MA Prototype Tool, formal specification, formal method, reverse engineering, reverse engineering, software reuse, software components, software reusability, software libraries, software integration, Predicate/Transition nets, reusable software components, integrated software, reuse library
3	Thierry Lecomte	Applying a Formal Method in Industry: A 15-Year Trajectory.	FMICS	2009	DBLP DOI BibTeX RDF	B formal method, deployment, industry
3	Jesús Manuel Almendros-Jiménez, Luis González-Jiménez	The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design.	APSEC	2000	DBLP DOI BibTeX RDF	LAST project, information system specification, LAST-UML, user interfaces, user interface, formal method, information systems, specification languages, linear algebra, linear algebra, algebraic specification, set theory, set theory, CASE tool, computer aided software engineering, information system design
2	Ali Selamat, Siti Dianah Abdul Bujang, Md. Hafiz Selamat	Agent Verification Design of Short Text Messaging System Using Formal Method.	KES-AMSTA	2009	DBLP DOI BibTeX RDF
2	Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry	An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method.	FM	2009	DBLP DOI BibTeX RDF	Scope-bounded checking, computation graph, first-order logic, SAT, Alloy, white-box testing, lightweight formal method
2	Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim	Integrating a formal method into a software engineering process with UML and Java.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Java, Modelling, Model checking, UML, Formal specification, CSP, Contracts, Object-Z, Runtime checking
2	Zhiliang Wang, Xia Yin, Chuanming Jing	A formal method to real-time protocol interoperability testing.	Science in China Series F: Information Sciences	2008	DBLP DOI BibTeX RDF	real-time testing, timed input output automata (TIOA), test generation, interoperability testing, protocol testing
2	Francisco Supino Marcondes, Emilia de Menezes Colonese, Ítalo Santiago Vega, Luiz Alberto Vieira Dias	Proposing a Formal Method to Reduce RTS Logical Model Complexity.	ITNG	2008	DBLP DOI BibTeX RDF
2	Achim D. Brucker, Burkhart Wolff	HOL-OCL: A Formal Proof Environment for UML/OCL.	FASE	2008	DBLP DOI BibTeX RDF	holocl, ocl, Formal Method, Theorem Proving, uml
2	Ke Xu, Yuexuan Wang, Cheng Wu	Formal verification technique for grid service chain model and its application.	Science in China Series F: Information Sciences	2007	DBLP DOI BibTeX RDF	grid service chain, state Pi calculus, model checking, formal method, grid
2	Flávio Oquendo	pi-Method: a model-driven formal method for architecture-centric software engineering.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	architecture analysis languages, architecture transformation/refinement languages, architecture-centric software engineering, software architectures, formal methods, model-driven development, architecture description languages, component-based software engineering
2	Juan P. Galeotti, Marcelo F. Frias	DynAlloy as a Formal Method for the Analysis of Java Programs.	SET	2006	DBLP DOI BibTeX RDF
2	Jean-Raymond Abrial	Formal methods in industry: achievements, problems, future.	ICSE	2006	DBLP DOI BibTeX RDF	formal method, correctness, development process, B, train system
2	Yingzhou Zhang, Baowen Xu, José Emilio Labra Gayo	A Formal Method for Program Slicing.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF
2	Hind Fadil, Jean-Luc Koning	A Formal Approach to Model Multiagent Interactions Using the B Formal Method.	ISSADS	2005	DBLP DOI BibTeX RDF	formal specification, multiagent system, B method, interaction protocols
2	Jianxin Li, Jinpeng Huai, Qin Li, Xianxian Li	Towards Security Analysis to Binding Update Protocol in Mobile IPv6 with Formal Method.	MSN	2005	DBLP DOI BibTeX RDF
2	Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski	Towards a Hybrid Formal Method for Swarm-Based Exploration Missions.	SEW	2005	DBLP DOI BibTeX RDF	Swarm Technology, Verification, Formal Methods
2	Cecilia E. Nugraheni	Universal Properties Verification of Parameterized Parallel Systems.	ICCSA	2005	DBLP DOI BibTeX RDF	parameterized parallel system, verification, formal method, temporal logics, diagram
2	Christopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash	Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems.	SEFM	2004	DBLP DOI BibTeX RDF
2	Chunping Li	A Formal Method Toward Reasoning About Continuous Change.	Australian Conference on Artificial Intelligence	2004	DBLP DOI BibTeX RDF
2	Zhengwei Qi, Cheng Fu, Dongyu Shi, Jinyuan You, Minglu Li	Membrane Calculus: A Formal Method for Grid Transactions.	GCC	2004	DBLP DOI BibTeX RDF
2	Li Dan, Bernhard K. Aichernig	Combining Algebraic and Model-Based Test Case Generation.	ICTAC	2004	DBLP DOI BibTeX RDF	formal method, Test case generation, RAISE, RSL
2	Tao Song, Calvin Ko, Jim Alves-Foss, Cui Zhang, Karl N. Levitt	Formal Reasoning About Intrusion Detection Systems.	RAID	2004	DBLP DOI BibTeX RDF	verification, formal method, Intrusion detection, security policy
2	Hisayuki Suzumori, Haruhiko Kaiya, Kenji Kaijiri	VDM over PSP: A Pilot Course for VDM Beginners to Confirm its Suitability for Their Development.	COMPSAC	2003	DBLP DOI BibTeX RDF	Formal Method, Software Metrics, Software Process Improvement, Software Engineering Education, Personal Software Process, Vienna Development Method
2	Gwen Salaün, Christian Attiogbé	Formalising an Integrated Language in PVS.	ICFEM	2003	DBLP DOI BibTeX RDF	Formal Method Integration, Equivalence Proof, Embedding, Process Algebra, Algebraic Specifications, PVS
2	Huiqun Yu, Xudong He, Yi Deng, Lian Mo	A Formal Method for Analyzing Software Architecture Models in SAM.	COMPSAC	2002	DBLP DOI BibTeX RDF	verification, Software architecture, Petri net, temporal logic, SAM
2	Luong T. Nguyen, Liping Zhao, Bill Appelbe	A Set Approach to Role Modeling.	TOOLS	2000	DBLP DOI BibTeX RDF	set approach, role modeling techniques, role description, role binding, role constraints, set inclusion, role specialisation, role compositions, part role, set notation, dynamic description, class/role relationships, class/role structures, Object-Z-like notation, system obligations, Petri net transitions, objects/role instances, system operations, formal specification, formal method, Petri nets, object-oriented programming, object-oriented methods, set theory, EMS, graphic notations, dynamic aspects, set operations, set intersection, formal notation, set union, set unions, set difference
2	Richard F. Paige, Jonathan S. Ostroff	Developing BON as an Industrial-Strength Formal Method.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
2	Denis Sabatier, Pierre Lartigue	The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
2	Alexander Malioukov	An Object-Based Approach to the B Formal Method.	B	1998	DBLP DOI BibTeX RDF
2	Mark R. Blackburn, Robert Busser	Requirements for Industrial-Strength Formal Method Tools.	WIFT	1998	DBLP DOI BibTeX RDF
2	Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura	An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL.	ICECCS	1998	DBLP DOI BibTeX RDF	railway crossing controller, verification, formal specification, formal methods, Safety-critical systems, functional requirements, safety requirements
2	Richard F. Paige	A Meta-Method for Formal Method Integration.	FME	1997	DBLP DOI BibTeX RDF
2	Savi Maharaj, Juan Bicarregui	On the Verification of VDM Specification and Refinement with PVS. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	VDM specification, VDM formal method, PVS theorem prover, VDM-SL specification translation, PVS specification language, transparent translation methods, specification type-checking, nontrivial validation conditions, abstract specification, shallow embedding technique, verification, formal specification, proof rules
2	Antti Valmari, Konsta Karsisto, Manu Setälä	Visualisation of Reduced Abstracted Behaviour as a Design Tool.	PDP	1996	DBLP DOI BibTeX RDF	reduced abstracted behaviour visualisation, software design tool, user-friendly formal method, incorrect actions, simultaneous analysis, communication protocol development, distributed system, formal specification, distributed processing, concurrency control, feedback, transport protocols, deadlocks, data visualisation, program diagnostics, graphical representation, livelocks, graphical display, design errors
2	Egon Börger, Giuseppe Del Castillo	A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study.	ICECCS	1995	DBLP DOI BibTeX RDF	real-life processor, APE100 Reverse Engineering, modular structuring, microprocessor zCPU, APE100 massively parallel machine, provably correct composition, formal specification, formal method, reverse engineering, parallel architectures
2	Xudong He	A method for analyzing properties of hierarchical predicate transition nets. (PDF / PS)	COMPSAC	1995	DBLP DOI BibTeX RDF	hierarchical predicate transition nets, hierarchical high level Petri nets, distributed systems modelling, hierarchical predicate transition Petri nets, temporal induction techniques, hybrid reasoning technique, net structural reasoning, behavioral reasoning, first order logic reasoning, formal method, Petri nets, distributed processing, inference mechanisms, formal logic, safety properties, liveness properties
2	James M. Varanelli, James P. Cohoon	A two-stage simulated annealing methodology.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	two-stage simulated annealing methodology, starting temperature determination, problem suite, VLSI, VLSI, formal method, simulated annealing, CAD, integrated circuit design, circuit CAD, optimization problems, circuit optimisation, running time, adaptive schedules, stop criterion
2	Brendan P. Mahony, Ian J. Hayes	A Case-Study in Timed Refinement: A Mine Pump.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	top-level refinement, simple mine pump control system, time-based systems, topologically continuous functions, discrete properties, basic building block, specification statement, refinement laws, computerized monitoring, pumps, parallel processes, formal specification, formal method, pipelined, theorem proving, mining, refinement calculus, design decisions, sequential programs, timed systems, proof of correctness
2	Andrew P. Moore	The Specification and Verified Decomposition of System Requirements Using CSP.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	verified decomposition, synchronization requirements, trace model, formal specification, formal method, specification, theorem proving, CSP, synchronisation, system requirements
2	Søren Prehn	From VDM to RAISE.	VDM Europe	1987	DBLP DOI BibTeX RDF
1	Walid Karamti, Adel Mahfoudhi, Yessine Hadj Kacem, Mohamed Abid	A Formal Method for Scheduling Analysis of a Partitioned Multiprocessor System - Dynamic Priority Time Petri Nets.	PECCS	2012	DBLP BibTeX RDF
1	Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra	A model-driven process for engineering a toolset for a formal method.	Softw., Pract. Exper.	2011	DBLP DOI BibTeX RDF
1	Rainer Gmehlich, Katrin Grau, Stefan Hallerstede, Michael Leuschel, Felix Lösch, Daniel Plagge	On Fitting a Formal Method into Practice.	ICFEM	2011	DBLP DOI BibTeX RDF
1	Khaoula Al Ali, Wolfgang Fengler, Bernd Däne	Extended coloured Petri nets with structured tokens formal method for distributed systems.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
1	Florian Markert, Sebastian Oster	A Formal Method to Identify Deficiencies of Functional Requirements for Product Lines of Embedded Systems.	Software Engineering (Workshops)	2011	DBLP BibTeX RDF
1	Shinji Kikuchi, Yasuhide Matsumoto	Performance Modeling of Concurrent Live Migration Operations in Cloud Computing Systems Using PRISM Probabilistic Model Checker.	IEEE CLOUD	2011	DBLP DOI BibTeX RDF	system management operations, livemigration, model checking, formal method, cloud computing, virtual machine, datacenter, operation performance
1	Lichen Zhang	Formal Specification for Real Time Cyber Physical Systems Using Aspect-Oriented Approach.	TASE	2011	DBLP DOI BibTeX RDF	Real Time, Formal Method, Aspect-oriented, Object-Z, Cyber Physical Systems, Timed-CSP
1	Yueshan Zheng, Guiming Luo, Junbo Sun, Junjie Zhang, Zhenfeng Wang	PLC Modeling and Checking Based on Formal Method.	JSEA	2010	DBLP DOI BibTeX RDF
1	Bernardo F. B. Braga, João Paulo A. Almeida, Giancarlo Guizzardi, Alessander Botti Benevides	Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method.	ISSE	2010	DBLP DOI BibTeX RDF
1	Peter T. Breuer, Simon Pickin	A formal nethod (a networked formal method).	ISSE	2010	DBLP DOI BibTeX RDF
1	Yongfeng Yin, Bin Liu, Zhen Li, Chun Zhang, Ning Wu	The Integrated Application Based on Real-time Extended UML and Improved Formal Method in Real-time Embedded Software Testing.	JNW	2010	DBLP DOI BibTeX RDF
1	Nathanaël Jarrassé, Guillaume Morel	A formal method for avoiding hyperstaticity when connecting an exoskeleton to a human member.	ICRA	2010	DBLP DOI BibTeX RDF
1	André Seffrin, Alexander Biedermann, Sorin A. Huss	Tiny-Pi: A Novel Formal Method for Specification, Analysis and Verification of Dynamic Partial Reconfiguration Processes.	FDL	2010	DBLP BibTeX RDF
1	Tao Tang	Formal Method and its Application on Train Operation Control System of Chinese high-speed Railway.	FORMS/FORMAT	2010	DBLP DOI BibTeX RDF
1	Padmalochan Bera, Soumya Maity, Soumya Kanti Ghosh, Pallab Dasgupta	A Query based Formal Security Analysis Framework for Enterprise LAN.	CIT	2010	DBLP DOI BibTeX RDF	Access Control, Formal Method, Network Security, Wireless LAN
1	Gang Chen, Feng Liu	Proofs of Correctness and Properties of Integer Adder Circuits.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	adder circuits, Formal method, computer arithmetic
1	Andy Gimblett, Harold W. Thimbleby	User interface model discovery: towards a generic approach.	EICS	2010	DBLP DOI BibTeX RDF	discovery tools, structural usability, reverse engineering, interaction programming
1	K. S. May Chan	Formal methods for web services: a taxonomic approach.	ICSE	2010	DBLP DOI BibTeX RDF	service development life-cycle, service verification, web service, formal methods, web application
1	Michal Forisek	The Difficulty of Programming Contests Increases.	ISSEP	2010	DBLP DOI BibTeX RDF
1	Fernando Valles-Barajas	Use of a lightweight formal method to model the static aspects of state machines.	ISSE	2009	DBLP DOI BibTeX RDF
1	Junwu Zhu, Jiandong Wang, Bin Li	A formal method for integrating distributed ontologies and reducing the redundant relations.	Kybernetes	2009	DBLP DOI BibTeX RDF
1	Christos Pavlatos, Alexandros C. Dimopoulos, George K. Papakonstantinou	A Formal Method for Rapid SoC Prototyping.	IEEE International Workshop on Rapid System Prototyping	2009	DBLP DOI BibTeX RDF
1	Stilian Stanev, Jivka Ovtcharova, Waldemar Walla	Formal Method for Validation of Product Design through Knowledge Modelling.	KEOD	2009	DBLP BibTeX RDF
1	Guoqi Li, Yang Xiao, Minyan Lu, Yuchao Zhang	A Formal Method Based Case Study for Access Control.	CIS	2009	DBLP DOI BibTeX RDF
1	Ralph D. Jeffords, Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard	A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition.	FM	2009	DBLP DOI BibTeX RDF
1	Ulrik Franke, Pontus Johnson, Robert Lagerström, Johan Ullberg, David Höök, Mathias Ekstedt, Johan König	A formal method for cost and accuracy trade-off analysis in software assessment measures.	RCIS	2009	DBLP DOI BibTeX RDF
1	Shihheng Tsai, Chung-Yang Huang	A false-path aware formal static timing analyzer considering simultaneous input transitions.	DAC	2009	DBLP DOI BibTeX RDF	critical path selection, multiple input transitioning, formal method, static timing analysis, false path
1	Xiaolei Gao	The Design and Implementation of Z Language Editor.	ICA3PP	2009	DBLP DOI BibTeX RDF	visualization, formal method, editor, OLE, Z language
1	Areti Manataki, Yun-Heh Chen-Burger	Analysing Supply Chain Strategies Using Knowledge-Based Techniques.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	Dell, FBPML, declarative approach, logical formal method, simulation, supply chain management, business process modelling, workflow engine
1	Scott J. Harmon, Scott A. DeLoach, Robby	From abstract qualities to concrete specification using guidance policies.	AAMAS	2009	DBLP DOI BibTeX RDF	O-MaSE, multiagent systems, policy, agent oriented software engineering, law, guidance
1	Akiyo Kano, Janet C. Read	Text input error categorisation: solving character level insertion ambiguities using Zero Time analysis.	BCS HCI	2009	DBLP DOI BibTeX RDF	key log, solving ambiguities, ambiguities, timestamp, insertion, typing errors
1	Ronald T. Fernández, David E. Losada	Using opinion-based features to boost sentence retrieval.	CIKM	2009	DBLP DOI BibTeX RDF	opinion mining, sentence retrieval
1	Manisha Agarwal, Manisha Jailia	An interactive method for generalized association rule mining using FP-tree.	Bangalore Compute Conf.	2009	DBLP DOI BibTeX RDF	data mining, association rule mining, FP-tree
1	Chungman Seo, Bernard P. Zeigler	Automating the DEVS modeling and simulation interface to web services.	SpringSim	2009	DBLP DOI BibTeX RDF	dynamic web service invocation, web service execution language, web services, DEVS, WSDL
1	Ming Xu, Liangyu Chen, Zhi-bin Li	Symbolic Reachability Computation of a Class of Nonlinear Systems.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
1	Weichang Du, Khaled Ben Hamed	Context Analysis of Intensional Languages.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Riham Hassan, Mohamed Eltoweissy, Shawn A. Bohner, Sherif El-Kassas	Goal-Oriented Software Security Engineering: The Electronic Smart Card Case Study.	CSE	2009	DBLP DOI BibTeX RDF
1	Jean Everson Martina, Túlio Cicero Salvaro de Souza, Ricardo Felipe Custódio	Ceremonies Formal Analysis in PKI's Context.	CSE	2009	DBLP DOI BibTeX RDF
1	Jian Liu, Dianfu Ma, Zhuqing Li, Dou Sun	A Formal Description of Web Services Container Architecture.	ICIW	2009	DBLP DOI BibTeX RDF
1	Li Li, Wu Chou	An Abstract GFSM Model for Optimal and Incremental Conformance Testing of Web Services.	ICWS	2009	DBLP DOI BibTeX RDF
1	Min Yuan, Zhiqiu Huang, Fangxiong Xiao	Modeling and Analysis of Flexible Transaction for Web Services.	ICWS	2009	DBLP DOI BibTeX RDF
1	Kai Fan, Hui Li, Yue Wang	Security Analysis of the Kerberos Protocol Using BAN Logic.	IAS	2009	DBLP DOI BibTeX RDF
1	Gregorio Díaz, Ismael Rodríguez	Automatically Deriving Choreography-Conforming Systems of Services.	IEEE SCC	2009	DBLP DOI BibTeX RDF
1	Kalapriya Kannan, Nanjangud C. Narendra, Lakshmish Ramaswamy	Managing Configuration Complexity during Deployment and Maintenance of SOA Solutions.	IEEE SCC	2009	DBLP DOI BibTeX RDF
1	Antoine Rollet, Sébastien Salva	Testing robustness of communicating systems using ioco-based approach.	ISCC	2009	DBLP DOI BibTeX RDF
1	Daojing He, Lin Cui, Hejiao Huang, Maode Ma	Design and Verification of Enhanced Secure Localization Scheme in Wireless Sensor Networks.	IEEE Trans. Parallel Distrib. Syst.	2009	DBLP DOI BibTeX RDF
1	Kenneth Lausdahl, Hans Kristian Agerlund Lintrup, Peter Gorm Larsen	Connecting UML and VDM++ with Open Tool Support.	FM	2009	DBLP DOI BibTeX RDF
1	Thomas Ruhroth, Heike Wehrheim	Refinement-Preserving Co-evolution.	ICFEM	2009	DBLP DOI BibTeX RDF
1	Renato Silva, Michael Butler	Supporting Reuse of Event-B Developments through Generic Instantiation.	ICFEM	2009	DBLP DOI BibTeX RDF	generic instantiation, formal methods, reusability, event-B
1	Suriadi Suriadi, Chun Ouyang, Jason Smith, Ernest Foo	Modeling and Verification of Privacy Enhancing Protocols.	ICFEM	2009	DBLP DOI BibTeX RDF
1	Torsten Schaub, Sven Thiele	Metabolic Network Expansion with Answer Set Programming.	ICLP	2009	DBLP DOI BibTeX RDF
1	Kriangsak Damchoom, Michael J. Butler	Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B.	SBMF	2009	DBLP DOI BibTeX RDF	event decomposition, machine decomposition, Rodin, refinement, file system, flash memory, proof, Event-B
1	Walter Dosch, Annette Stümpel	Implementing Services by Partial State Machines.	SOFSEM	2009	DBLP DOI BibTeX RDF
1	Jing Cao, Albert Nymeyer	Formally Synthesising a Protocol Converter: A Case Study.	CIAA	2009	DBLP DOI BibTeX RDF
1	Lu Bai, Chunhe Xia, Xiaojian Li, Haiquan Wang	A Bulk Email Oriented Multi-party Non-repudiation Exchange Protocol.	WISM	2009	DBLP DOI BibTeX RDF	SVO logic, bulk email, protocol, fairness, Encryption, non-repudiation
1	Achim D. Brucker, Burkhart Wolff	Semantics, calculi, and analysis for object-oriented specifications.	Acta Inf.	2009	DBLP DOI BibTeX RDF
1	Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra	A semantic framework for metamodel-based languages.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Semantic (meta-)hooking, Weaving behaviour, Formal methods, Metamodelling, Model driven engineering, Abstract state machines, Model-based development, Language semantics
1	Kevin Lano	A compositional semantics of UML-RSDS.	Software and System Modeling	2009	DBLP DOI BibTeX RDF	UML semantics, UML-RSDS, Model transformations
1	Arash Shaban-Nejad, Volker Haarslev	Bio-medical Ontologies Maintenance and Change Management.	Biomedical Data and Applications	2009	DBLP DOI BibTeX RDF