Keqin Li

SAP Research, France / LSR-IMAG, France

other persons with the same name:

• Keqin Li - State University of New York at New Paltz

	2011
16		Stephan Braune, Achim D. Brucker, Gerald Kleser, Keqin Li, Theo Dirk Meijler, Heiko Paulheim, Florian Probst: A Service-oriented Architecture for Emergency Management Systems. Software Engineering (Workshops) 2011: 225-232
15		Yudistira Asnar, Fabio Massacci, Ayda Saïdane, Carlo Riccucci, Massimo Felici, Alessandra Tedeschi, Paul El Khoury, Keqin Li, Magali Seguran, Nicola Zannone: Organizational Patterns for Security and Dependability: From Design to Application. IJSSE 2(3): 1-22 (2011)
	2010
14		Alessandro Armando, Roberto Carbone, Luca Compagna, Keqin Li, Giancarlo Pellegrino: Model-Checking Driven Security Testing of Web-Based Applications. ICST Workshops 2010: 361-370
13		Keqin Li: Towards Security Vulnerability Detection by Source Code Model Checking. ICST Workshops 2010: 381-387
	2009
12		Daniel Serrano, Antonio Maña, Rafael Llarena, Beatriz Gallego-Nicasio Crespo, Keqin Li: SERENITY Aware Development of Security and Dependability Solutions. Security and Dependability for Ambient Intelligence 2009: 127-141
11		Daniel Serrano, Antonio Maña, Rafael Llarena, Beatriz Gallego-Nicasio Crespo, Keqin Li: SERENITY Aware System Development Process. Security and Dependability for Ambient Intelligence 2009: 165-179
10		Pierre Busnel, Paul El Khoury, Keqin Li, Ayda Saïdane, Nicola Zannone: S&D Pattern Deployment at Organizational Level: A Prototype for Remote Healthcare System. Electr. Notes Theor. Comput. Sci. 244: 27-39 (2009)
	2008
9		Pierre Busnel, Paul El Khoury, Sylvain Giroux, Keqin Li: Achieving Socio-technical Confidentiality Using Security Pattern in Smart Homes. FGCN (2) 2008: 447-452
8		Roland Groz, Keqin Li, Alexandre Petrenko, Muzammil Shahbaz: Modular System Verification by Inference, Testing and Reachability Analysis. TestCom/FATES 2008: 216-233
	2007
7		Keqin Li, Laurent Mounier, Roland Groz: Test Generation from Security Policies Specified in Or-BAC. COMPSAC (2) 2007: 255-260
6		Muzammil Shahbaz, Keqin Li, Roland Groz: Learning Parameterized State Machine Model for Integration Testing. COMPSAC (2) 2007: 755-760
5		Muzammil Shahbaz, Keqin Li, Roland Groz: Learning and Integration of Parameterized Components Through Testing. TestCom/FATES 2007: 319-334
	2006
4		Keqin Li, Roland Groz, Muzammil Shahbaz: Integration Testing of Distributed Components Based on Learning Parameterized I/O Models. FORTE 2006: 436-450
3		Keqin Li, Roland Groz, Muzammil Shahbaz: Integration Testing of Components Guided by Incremental State Machine Learning. TAIC PART 2006: 59-70
	2005
2		Keqin Li, David Lee: Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms. TestCom 2005: 258-274
	1997
1		Keqin Li, Lifeng Guo, Hong Mei, Fuqing Yang: An Overview of JB (Jade Bird) Component Library System JBCL. TOOLS (24) 1997: 206-213

Coauthor Index

1	Alessandro Armando	[14]
2	Yudistira Asnar	[15]
3	Stephan Braune	[16]
4	Achim D. Brucker	[16]
5	Pierre Busnel	[9] [10]
6	Roberto Carbone	[14]
7	Luca Compagna	[14]
8	Massimo Felici	[15]
9	Beatriz Gallego-Nicasio (Beatriz Gallego-Nicasio Crespo)	[11] [12]
10	Sylvain Giroux	[9]
11	Roland Groz	[3] [4] [5] [6] [7] [8]
12	Lifeng Guo	[1]
13	Paul El Khoury	[9] [10] [15]
14	Gerald Kleser	[16]
15	David Lee	[2]
16	Rafael Llarena	[11] [12]
17	Antonio Maña (Antonio Maña Gómez, Antonio Mana)	[11] [12]
18	Fabio Massacci	[15]
19	Hong Mei	[1]
20	Theo Dirk Meijler	[16]
21	Laurent Mounier	[7]
22	Heiko Paulheim	[16]
23	Giancarlo Pellegrino	[14]
24	Alexandre Petrenko	[8]
25	Florian Probst	[16]
26	Carlo Riccucci	[15]
27	Ayda Saïdane	[10] [15]
28	Magali Seguran	[15]
29	Daniel Serrano	[11] [12]
30	Muzammil Shahbaz	[3] [4] [5] [6] [8]
31	Alessandra Tedeschi	[15]
32	Fuqing Yang	[1]
33	Nicola Zannone	[10] [15]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page