% This file was created with JabRef 2.7.
% Encoding: Cp1252

@ARTICLE{Boucaron:2008:CSS:1346344.1346380,
  author = {Boucaron, Julien and Millo, Jean-Vivien},
  title = {Compositionality of Statically Scheduled IP},
  journal = {Electron. Notes Theor. Comput. Sci.},
  year = {2008},
  volume = {200},
  pages = {71--87},
  month = {February},
  acmid = {1346380},
  address = {Amsterdam, The Netherlands, The Netherlands},
  doi = {10.1016/j.entcs.2008.02.007},
  issn = {1571-0661},
  issue = {1},
  keywords = {Asynchronous logic circuits, Delay effects, Delay estimation, Digital
	integrated circuits, Equalization, Globally Asynchronous Locally
	Synchronous (GALS), Interconnected circuits, Interconnected systems,
	Latency Insensitive Design, Multiport circuits, N-Synchronous, SoC,
	Static Scheduling, Synchronization, Synchronous, Timing Closure,
	Very-large-scale integration},
  numpages = {17},
  publisher = {Elsevier Science Publishers B. V.},
  url = {http://dl.acm.org/citation.cfm?id=1346344.1346380}
}

@ARTICLE{Boucaron:2006:GRS:1706632.1706845,
  author = {Boucaron, Julien and Millo, Jean-Vivien and De Simone, Robert},
  title = {Another Glance at Relay Stations in Latency-Insensitive Design},
  journal = {Electron. Notes Theor. Comput. Sci.},
  year = {2006},
  volume = {146},
  pages = {41--59},
  month = {January},
  acmid = {1706845},
  address = {Amsterdam, The Netherlands, The Netherlands},
  doi = {http://dx.doi.org/10.1016/j.entcs.2005.05.035},
  issn = {1571-0661},
  issue = {2},
  keywords = {Esterel, Formal Verification, GALS, Latency Insensitive, Marked Graph,
	Relay Station, Shell, SyncCharts, Synchronous},
  numpages = {19},
  publisher = {Elsevier Science Publishers B. V.},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.05.035}
}

@INPROCEEDINGS{MEMOCODE06,
  author = {Julien Boucaron and Jean-Vivien Millo and Robert de Simone},
  title = {Latency-Insensitive Design and Central Repetitive Scheduling },
  booktitle = {MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference
	on Formal Methods and Models for Co-Design, 2006.},
  year = {2006},
  pages = {175- 183},
  address = {Piscataway, NJ, USA},
  publisher = {IEEE Press},
  isbn = {10.1109/MEMCOD.2006.1695923 },
  location = {Napa valley, California, United States},
  owner = {jvmillo},
  timestamp = {2011.12.12}
}

@ARTICLE{Boucaron:2007:FMS:1317032.1317040,
  author = {Boucaron, Julien and de Simone, Robert and Millo, Jean-Vivien},
  title = {Formal methods for scheduling of latency-insensitive designs},
  journal = {EURASIP J. Embedded Syst.},
  year = {2007},
  volume = {2007},
  pages = {8--8},
  number = {1},
  month = jan,
  acmid = {1317040},
  address = {New York, NY, United States},
  doi = {10.1155/2007/39161},
  issn = {1687-3955},
  issue_date = {January 2007},
  numpages = {1},
  publisher = {Hindawi Publishing Corp.},
  url = {http://dx.doi.org/10.1155/2007/39161}
}

@ARTICLE{ccslarrayol2011,
  author = {Glitia, Calin and DeAntoni, Julien and Mallet, Fr\'ed\'eric and Millo,
	Jean-Vivien and Boulet, Pierre and Gamati\'e, Abdoulaye},
  title = {Progressive and explicit refinement of scheduling for multidimensional
	data-flow applications using UML MARTE},
  journal = {Design Automation for Embedded Systems},
  year = {2012},
  volume = {16},
  pages = {137-169},
  note = {10.1007/s10617-012-9093-y},
  affiliation = {INRIA Sophia Antipolis M\'editerran\'ee, 06903 Sophia Antipolis, France},
  issn = {0929-5585},
  issue = {2},
  keyword = {Engineering},
  publisher = {Springer Netherlands},
  url = {http://dx.doi.org/10.1007/s10617-012-9093-y}
}

@INPROCEEDINGS{GKM2013,
  author = {Arda Goknil and Ivan Kurtev and Jean-Vivien Millo},
  title = {A Metamodeling Approach for Reasoning on Multiple Requirements Models},
  booktitle = {IEEE International EDOC Conference},
  year = {2013},
  address = {Vancouver, Canada},
  month = {September},
  owner = {jvmillo},
  timestamp = {2013.05.27}
}

@INCOLLECTION{MM2013a,
  author = {Mallet, Frédéric and Millo, Jean-Viven},
  title = {Boundness Issues in CCSL Specifications},
  booktitle = {Formal Methods and Software Engineering},
  publisher = {Springer Berlin Heidelberg},
  year = {2013},
  editor = {Groves, Lindsay and Sun, Jing},
  volume = {8144},
  series = {Lecture Notes in Computer Science},
  pages = {20-35},
  doi = {10.1007/978-3-642-41202-8_3},
  isbn = {978-3-642-41201-1},
  keywords = {Logical Time; Architecture-driven analysis; UML MARTE; Reachability
	analysis},
  url = {http://dx.doi.org/10.1007/978-3-642-41202-8_3}
}

@INPROCEEDINGS{MM2013b,
  author = {Mallet, Frederic and Millo, Jean-Vivien and de Simone, Robert},
  title = {Safe CCSL specifications and marked graphs},
  booktitle = {Formal Methods and Models for Codesign (MEMOCODE), 2013 Eleventh
	IEEE/ACM International Conference on},
  year = {2013},
  pages = {157-166},
  keywords = {Clocks;Delays;Safety;Schedules;Semantics;Synchronization;Unified modeling
	language}
}

@PHDTHESIS{JVMilloThesis,
  author = {Jean-Vivien Millo},
  title = {Ordonnancements p\'eriodique dans les r\'eseaux de processus: application
	\`a la conception insensible aux latences},
  school = {AOSTE Project, INRIA Sophia-Antipolis and University of Nice Sophia-Antipolis,
	Nice, France},
  year = {2008},
  owner = {jvmillo},
  timestamp = {2011.12.12}
}

@INPROCEEDINGS{SAME06,
  author = {Jean-Vivien Millo and Julien Boucaron and Robert De Simone},
  title = {Latency Insensitive Design : Dynamic and static scheduling with proper
	formal devices},
  booktitle = {SAME'06},
  year = {2006},
  address = {Sophia-Antipolis, France},
  publisher = {SAME},
  isbn = {2-9524014-1-1},
  location = {Sophia-Antipolis, France},
  owner = {jvmillo},
  timestamp = {2011.12.12}
}

@ARTICLE{MMCR2013,
  author = {Millo, Jean-Vivien and Mallet, Frédéric and Coadou, Anthony and Ramesh,
	S.},
  title = {Scenario-based verification in presence of variability using a synchronous
	approach},
  journal = {Frontiers of Computer Science},
  year = {2013},
  volume = {7},
  pages = {650-672},
  number = {5},
  doi = {10.1007/s11704-013-3094-6},
  issn = {2095-2228},
  keywords = {Esterel; UML MARTE; scenario; verification; feature interaction; variability},
  language = {English},
  publisher = {Springer Berlin Heidelberg},
  url = {http://dx.doi.org/10.1007/s11704-013-3094-6}
}

@INPROCEEDINGS{Millo:2011:IAS:1953355.1953361,
  author = {Millo, Jean-Vivien and Mohalik, Swarup K. and Ramesh, S.},
  title = {Integrated analysis of software product lines: a constraint based
	framework for consistency, liveness, and commonness checking},
  booktitle = {Proceedings of the 4th India Software Engineering Conference},
  year = {2011},
  series = {ISEC '11},
  pages = {41--50},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {1953361},
  doi = {http://doi.acm.org/10.1145/1953355.1953361},
  isbn = {978-1-4503-0559-4},
  keywords = {commonness, consistency, liveness, traceability, variability},
  location = {Thiruvananthapuram, Kerala, India},
  numpages = {10},
  url = {http://doi.acm.org/10.1145/1953355.1953361}
}

@INPROCEEDINGS{MRKG2013,
  author = {Jean-Vivien Millo and S Ramesh and S Krishna and Ganesh Narwane},
  title = {Compositional Verification of Software Product Lines},
  booktitle = {Integrated Formal Methods, (iFM), Turku, Finland},
  year = {2013},
  owner = {jvmillo},
  timestamp = {2013.04.19}
}

@INPROCEEDINGS{MRsqam2012,
  author = {Jean-Vivien Millo and Ramesh S.},
  title = {Relating Requirement and Design Variabilities},
  booktitle = {Proceedings of the international workshop on Software Quality and
	Management (SQAM'12)},
  year = {2012},
  month = {December},
  owner = {jvmillo},
  timestamp = {2012.09.25}
}

@INPROCEEDINGS{mdsCA2012,
  author = {Jean-Vivien Millo and Robert de Simone},
  title = {Refining cellular automata with routing constraints},
  booktitle = {Automata \& JAC (Exploratory track)},
  year = {2012},
  editor = {Enrico Formenti},
  volume = {2},
  month = {September},
  owner = {jvmillo},
  timestamp = {2012.09.13}
}

@ARTICLE{MS2013,
  author = {Millo, Jean-Vivien and Simone, Robert},
  title = {Explicit routing schemes for implementation of cellular automata
	on processor arrays},
  journal = {Natural Computing},
  year = {2013},
  volume = {12},
  pages = {353-368},
  number = {3},
  doi = {10.1007/s11047-013-9378-5},
  issn = {1567-7818},
  keywords = {Adequation algorithm architecture; Cellular automata; Data-flow process
	network; Massively parallel processor array; Network-on-chip; Routing},
  language = {English},
  publisher = {Springer Netherlands},
  url = {http://dx.doi.org/10.1007/s11047-013-9378-5}
}

@ARTICLE{MStcs2012,
  author = {Millo, Jean-Vivien and de Simone, Robert},
  title = {Periodic scheduling of marked graphs using balanced binary words},
  journal = {Theoretical Computer Science},
  year = {2012},
  volume = {458},
  pages = {113–130},
  month = {November},
  doi = {10.1016/j.tcs.2012.08.012},
  owner = {jvmillo},
  timestamp = {2012.09.13}
}

@INPROCEEDINGS{Mohalik:2012:TSP:2362536.2362562,
  author = {Mohalik, Swarup and Ramesh, S. and Millo, Jean-Vivien and Krishna,
	Shankara Narayanan and Narwane, Ganesh Khandu},
  title = {Tracing SPLs precisely and efficiently},
  booktitle = {Proceedings of the 16th International Software Product Line Conference
	- Volume 1},
  year = {2012},
  series = {SPLC '12},
  pages = {186--195},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {2362562},
  doi = {10.1145/2362536.2362562},
  isbn = {978-1-4503-1094-9},
  keywords = {QSAT, feature model, formal methods, software product line},
  location = {Salvador, Brazil},
  numpages = {10},
  url = {http://doi.acm.org/10.1145/2362536.2362562}
}